Comprensión intuitiva de las derivadas de sinxsin⁡x\sin x y cosxcos⁡x\cos x

Una de las primeras cosas que se enseñan en una clase de cálculo diferencial:

  • el derivado de pecado X es porque X .
  • el derivado de porque X es pecado X .

Esto conduce a una cadena de derivados bastante ordenada (¿y conveniente?):

pecado(x)
porque(x)
-sin(x)
-cos(x)
pecado(x)
...

Un análisis de la forma de sus gráficos confirma algunos puntos; por ejemplo, cuando pecado X está al máximo, porque X es cero y se mueve hacia abajo; cuando porque X está al máximo, pecado X es cero y se mueve hacia arriba. Pero estos "puntos coincidentes" solo funcionan para múltiplos de π / 4 .

Volvamos a la(s) definición(es) original(es) de seno y coseno:

En el nivel más básico, pecado X se define como -- para un triángulo rectángulo con ángulo interno X -- la longitud del lado opuesto al ángulo dividido por la hipotenusa del triángulo.

Para generalizar esto al dominio de todos los números reales, pecado X se definió entonces como la coordenada Y de un punto en el círculo unitario que es un ángulo X del eje X positivo.

La definición de porque X luego se hizo de la misma manera, pero con adj/hyp y la coordenada X, como todos sabemos.

¿Hay algo en esta definición básica que le permita a alguien ver estas definiciones, solo, y pensar: "Oye, la derivada de la función seno con respecto al ángulo es la función coseno!"

Es decir, solo a partir de la definición del círculo unitario . O, aún más sorprendente, la definición del triángulo rectángulo por sí sola . Ignorando el análisis gráfico de su trama.

En esencia, estoy preguntando, esencialmente, "Intuitivamente, ¿ por qué la derivada del seno es el coseno?"

Siento que tal vez esta debería ser una pregunta sobre si alguien conoce una explicación intuitiva y debería escribir la segunda parte de su respuesta como respuesta. (Consulte meta.stackexchange.com/questions/17463 ).
Consulte www.maa.org/pubs/Calc_articles/ma007.pdf para obtener alguna explicación.
no es una respuesta - por eso lo publico como comentario - pero creo que el hecho de que en los solsticios el cambio de dia sea nulo y en los equinoccios sea maximo deberia estar relacionado con esto.
@Akhil: Deberías dar eso como respuesta.
Casebash: Por lo general, soy reacio a publicar enlaces sin explicación como algo más que comentarios.
@Akhil: Luego escribe una o dos oraciones para presentarlo. Una explicación completa es mejor, pero no necesaria.
@Ben Alpert: no estoy seguro de qué parte de mi pregunta sugiere que es una respuesta =/
No veo por qué está rechazando las tramas por una comprensión intuitiva del diferencial. Los diferenciales se entienden mejor en términos de las gráficas de sus funciones, por lo que eliminarlos de la consideración dificulta seriamente cualquier explicación intuitiva.
Creo que las gráficas son una herramienta extremadamente útil para observar la naturaleza de las funciones; sin embargo, son una herramienta y una "sombra" o "reflejo" de la función misma. Creo que usar la trama para probar esto es bastante trivial. Sería aún más intuitivo entenderlo independientemente de la trama.
En realidad, en los últimos segundos, cambié de opinión para permitir tramas como respuestas si son lo suficientemente intuitivas, más que cualquier respuesta sin trama.
@Justin L.: Vaya, definitivamente leí mal su pregunta y pensé que se estaba respondiendo a sí misma de alguna manera. ¡Lo siento!
@Akhil, si un enlace apunta a una respuesta correcta y útil, no sé por qué no lo publicarías como respuesta. Si te hace sentir mejor, que sea una respuesta de CW. ¡La gente debería ser reacia a hacer preguntas a las que se pueda responder mediante un enlace!
@Akhil, lamentablemente su enlace ahora parece estar muerto. ¿Cuál era su objetivo?

Respuestas (17)

Tal vez el siguiente diagrama le proporcione una idea:

(No) Prueba sin Palabras: Derivadas de Seno y Coseno

La idea es ver las curvas de seno y coseno como proyecciones de una hélice dibujada en un cilindro. Si miras el cilindro mismo como un cuadrado plano curvado de longitud 2 π , entonces helix es una versión curvada de la diagonal del cuadrado. Un vector tangente a lo largo de la diagonal del cuadrado plano siempre se encuentra a 45 grados de los lados del cuadrado, digamos con sombras de longitud "1" en cada dirección; después de enrollar suavemente el cuadrado en el cilindro, el vector tangente se encuentra a 45 grados del cilindro ( z -)eje y la perpendicular ( X y -)avión.

Proyectar la hélice en el z y - y z X -planes da gráficos de seno y coseno. Proyectar el vector tangente de la hélice da vectores tangentes a esos gráficos. El " d z "s para estas tangentes proyectadas son siempre 1 (la sombra "vertical" del vector tangente de la hélice). Para llegar a " d y " y " d X " (" v X " y " v y " en el diagrama) proyectamos hacia abajo en el X y -plano donde vemos un círculo, y otro vector tangente proyectado.

La geometría básica nos dice que una tangente a un círculo es perpendicular al radio en el punto de tangencia. En nuestro círculo, el punto de tangencia --y el radio vector-- está parametrizado como " < porque , pecado , 0 > ". Por lo tanto, la recta tangente perpendicular debe tener un vector de dirección "negativo-recíproco": " < pecado , porque , 0 > ", que nos da nuestro" d X " y " d y " para la tangente de la hélice ... y las tangentes del gráfico proyectado también, de modo que podemos llegar a las siguientes conclusiones:

La derivada del coseno --por su definición conceptual como "pendiente de la recta tangente"-- es cambio en X -sobre-cambio-en- z = d X / d z = pecado / 1 = pecado .

Asimismo, la derivada del seno es d y / d z = porque / 1 = porque .

Me gusta este enfoque porque la definición conceptual de "pendiente de la línea tangente" de la derivada se usa en todo momento; no hay apelaciones (obvias) a trucos computacionales digresivos que involucren identidades trigonométricas y límites de cocientes de diferencias. También me gusta que el curioso signo negativo en la derivada del coseno se remonte a una propiedad elemental de la geometría circular.

Por supuesto, este enfoque no constituye una prueba de las fórmulas. El proceso de enrollar el cuadrado plano en un cilindro y afirmar que el vector tangente se comporta como se afirma en realidad asume la maquinaria computacional cubierta por los argumentos de límite tradicionales. Sin embargo, en un nivel intuitivo , creo que este argumento explica muy bien el "por qué" de las derivadas. Luego, saber cuáles son las fórmulas (o "deberían ser") ayuda a motivar la investigación de los trucos computacionales necesarios para proporcionar una prueba rigurosa.

Aquí hay un PDF con una variante de la discusión anterior (pero la misma imagen). Aquí hay una demostración de Mathematica que anima los diversos elementos, incluido el cuadrado que se enrosca en el cilindro.

Para su información, puede hacer algo similar a "explicar" la regla de la cadena: defina una curva espacial por < f(t), h(t), t > donde h(t) = g(f(t)), y ( asumiendo tiene sentido) sea su vector tangente < a, b, 1 > (con a != 0). El gráfico zx es x = f(z), con la pendiente de la recta tangente dx/dz = a/1 = a; el gráfico zy es y = h(z), con pendiente tangente dy/dz = b/1 = b; el gráfico xy puente es y = g(x), con pendiente tangente dy/dx = b/a. Ahora, interpreta la ecuación b = a*(b/a) apropiadamente: la derivada de h (en t) es igual al producto de la derivada de g (¡en f(t)!) y la derivada de f (en t).
No me gusta el cilindro ni las proyecciones, pero considerar las coordenadas del vector tangente y simplemente aplicar la regla del "recíproco negativo" fue un rayo para mí. Especialmente cuando piensas en el vector tangente como el vector de velocidad de un punto que se mueve alrededor del círculo.
Malditamente hermoso. No tengo palabras.

Estoy de acuerdo con David (+1), este es el gráfico pertinente y me funciona:

Seno y coseno en el círculo unitario

Desde aquí _


Actualizado (se agregó una breve explicación para que sea independiente) :

El triángulo rectángulo principal (en azul) da porque θ (lado horizontal) y pecado θ (vertical). el pequeño cambio Δ θ produce un nuevo triángulo con el correspondiente porque ( θ + Δ θ ) y pecado ( θ + Δ θ )

Ahora, mirando el pequeño triángulo (en rojo) vemos que sus catetos corresponden a los incrementos Δ ( pecado θ ) y Δ ( porque θ ) ; además, para pequeños incrementos, la hipotenusa h tiende al arco Δ θ , y el triángulo pequeño es similar al principal (por lo tanto ϕ θ ).

Pero porque ϕ = Δ ( pecado θ ) / h d ( pecado θ ) / d θ . Por eso d ( pecado θ ) = porque θ d θ

Haciendo lo mismo con la otra pierna, obtenemos d ( porque θ ) = pecado θ d θ

En detalle: d ( pecado θ ) d θ = r ( O 2 O 1 ) L = r L porque ϕ L = porque ϕ = porque θ dónde r es el radio, O es lo opuesto, L es la pequeña hipotenusa, d θ = L r y ϕ = 90 ° ( 90 ° θ ) = θ . Cualquier aproximación se vuelve verdadera como d θ 0 .

Esto está relacionado con la respuesta de Justin L. , porque básicamente tengo la misma interpretación, pero mientras que esa respuesta (tal como la interpreto) brinda una gran verificación intuitiva de que las derivadas son correctas, tengo la intención de presentar cómo uno podría realmente (algo intuitivamente) llegan a las derivadas.

Por definición, s ( X ) = ( porque ( X ) , pecado ( X ) ) da el punto en el círculo unitario después de recorrer una longitud de arco X desde el punto ( 1 , 0 ) , orientado en sentido antihorario. La parametrización con respecto a la longitud del arco es precisamente la condición que garantiza que la curva tenga velocidad unitaria, es decir, | s ( X ) | 1 . Porque s también tiene longitud constante, la regla del producto se puede usar para mostrar que s ( X ) es perpendicular a s ( X ) para todos X :

s s 1 s s + s s 0 s s 0.

Así para cada X , s ( X ) es un vector de longitud unitaria perpendicular a s ( X ) . Esto deja 2 posibilidades: ya sea una rotación en sentido contrario a las agujas del reloj o en el sentido de las agujas del reloj π 2 de s ( X ) . Pero ahora, porque s nos dice como s está cambiando, debe apuntar en la dirección del movimiento de s , es decir, en sentido contrario a las agujas del reloj. De este modo s ( X ) es una rotación en sentido antihorario por π 2 de s ( X ) , lo que significa

s ( X ) = s ( X + π 2 ) = ( porque ( X + π 2 ) , pecado ( X + π 2 ) ) = ( pecado ( X ) , porque ( X ) ) .

Pero también tenemos s ( X ) = ( porque ( X ) , pecado ( X ) ) , por lo que las coordenadas coincidentes producen porque = pecado y pecado = porque .

+1; esta sería mi interpretación preferida. Tenga en cuenta que la declaración básicamente se reduce al hecho de que las tangentes a los círculos son perpendiculares a los radios.
Buen punto, y aunque elegí hacer esa parte "rigurosa" usando la regla del producto, supongo que esto cae bajo "intuitivamente cierto". El hecho de que las curvas de longitud constante (es decir, curvas en círculos o esferas) sean perpendiculares a sus tangentes es parte de lo que hace que las fórmulas de Frenet-Serret funcionen tan bien: en.wikipedia.org/wiki/Frenet%E2%80%93Serret_formulas

Un hecho importante que debe mencionarse explícitamente es que

d pecado X d X = porque X
sólo cuando X se mide en radianes.

Para una medida de ángulo general, la derivada de pecado X es un múltiplo escalar de porque X . De hecho, se podría argumentar que esta es la razón principal de la utilidad de los radianes : el radián es la medida del ángulo que hace que ese múltiplo escalar sea igual a 1.

Esto es algo de lo que no mucha gente se da cuenta. Por ejemplo, aquí hay una cita de una respuesta de Math Overflow a la pregunta "¿Por qué enseñamos a los estudiantes de cálculo la derivada como límite?"

Me gustaría señalar una pregunta simple que muy pocos estudiantes de cálculo e incluso profesores pueden responder correctamente: ¿Es la derivada de la función seno, donde el ángulo se mide en grados, lo mismo que la derivada de la función seno, donde el ángulo se mide en radianes. En mi departamento audicionamos a todos los candidatos para enseñar cálculo y, a menudo, hacemos esta pregunta. Tantas personas, incluidas algunas con doctorados de buenas escuelas, no pudieron responder esto correctamente que incluso lo probé con algunos matemáticos realmente famosos. Una vez más, la dificultad que todos tenemos con esta pregunta es para mí una señal de lo mal que aprendemos cálculo.

Para ver por qué los radianes son cruciales, observa las pendientes de las gráficas de pecado X en X = 0 cuando X se mide en radianes y cuando X se mide en grados.

Primero, cuando X está en radianes:

texto alternativo

La pendiente parece estar cerca de 1. (Y, por supuesto, sabemos que es 1).

Segundo, cuando X esta en grados:

texto alternativo

La pendiente es mucho, mucho más pequeña que 1. Así que la derivada de pecado X en X = 0 cuando X está en grados no puede ser porque ( 0 ) = 1 . La respuesta correcta, si X está en grados, es que la derivada de pecado X es π 180 porque X (a través de la regla de la cadena).

Por supuesto, todas las respuestas a la pregunta del OP dadas aquí asumen implícitamente que X se mide en radianes. (Puede ser un ejercicio interesante para los estudiantes que lean esto revisar cada uno de los otros argumentos para ver exactamente dónde se está haciendo esa suposición). Sin embargo, como señala la cita de Math Overflow, esto es algo que mucha gente no sabe. no me doy cuenta

No estoy de acuerdo con el análisis cínico de la educación en cálculo de las personas. Creo que la razón por la que muchas personas responden mal a esta pregunta es porque los estudiantes de matemáticas simplemente no están familiarizados con los títulos, ya que los abandonan inmediatamente al ingresar a un curso de cálculo. Y con razón. Razonar que la incapacidad para responder preguntas sobre títulos es evidencia de una mala educación en cálculo es como pedirles a los niños europeos que conviertan entre tazas y galones, o sobre la escala Fahrenheit, y luego concluir cuando te miran desconcertados que es "una señal de lo mal que aprenden los franceses la aritmética".
@MarcelBesixdouze, estoy de acuerdo en que no es una prueba justa para una persona al azar, pero creo que un maestro que no puede responder a esta pregunta (para sus estudiantes de cálculo, lo garantizo, querrá ocasionalmente saber por qué no pueden medir en grados, y "porque rompe las reglas familiares de derivadas" es una respuesta mucho mejor que "porque el libro usa radianes") es muy parecido a un cocinero que no puede convertir entre tazas y galones: no indica en absoluto incompetencia, pero probablemente debería hacer una pausa sobre la pasión del entrevistado por su profesión elegida.

Como estudiante de Física, me gustaría proponer una respuesta que proviene de mi comprensión de ver el seno y el coseno en el mundo real.

Al hacer esto, examinaré el movimiento circular uniforme.

Debido a la definición de punto en un círculo unitario de seno y coseno, podemos decir que:

r(t) = < cos(t), sin(t) >

Es una función paramétrica adecuada para describir un punto que se mueve a lo largo del círculo unitario.

Consideremos cuál debería ser la primera derivada, en un contexto físico. La primera derivada de posición debería representar, idealmente, la velocidad del punto.

En un contexto físico, esperaríamos que la velocidad sea la línea tangente a la dirección del movimiento en un momento dado t. A partir de esto, sería tangente al círculo en el ángulo t. Además, debido a que la velocidad angular es constante, la magnitud de la velocidad también debe ser constante.

r'(t)     = < -sin(t), cos(t) >
|r'(t)|^2 = (-sin(t))^2 + cos(t)^2
|r'(t)|^2 = sin(t)^2 + cos(t)^2
|r'(t)|^2 = 1
|r'(t)|   = 1

Como era de esperar, la velocidad es constante, por lo que las derivadas del seno y el coseno se comportan como deberían.

También podemos pensar en cuál sería la dirección de la velocidad, en comparación con el vector de posición.

No estoy seguro si esto es "hacer trampa" por los límites de la pregunta, pero al visualizar el gráfico podemos ver que la velocidad, por la naturaleza de ser tangente al círculo, debe ser perpendicular al vector de posición.

Si esto es cierto, entonces posición * velocidad = 0 (producto escalar).

                              r(t) * r'(t) = 0
  < cos(t), sin(t) > * < -sin(t), cos(t) > = 0
( cos(t) * -sin(t) ) + ( sin(t) * cos(t) ) = 0
              -sin(t)cos(t) + sin(t)cos(t) = 0
                                         0 = 0

La vida es buena. Si asumimos que la definición de cos(t) es -sin(t) y que la definición de sin(t) es cos(t), encontramos un comportamiento físico exactamente como se esperaba: una velocidad constante que siempre es perpendicular a la posición vector.

Podemos llevar esto más lejos y observar la aceleración. En Física, llamaríamos a esto la fuerza restauradora. En un círculo, ¿qué aceleración tendría que existir para mantener un punto moviéndose en un círculo?

Más específicamente, ¿en qué dirección tendría que ser esta aceleración?

Se necesita pensar poco para llegar a la idea de que la aceleración tendría que buscar el centro y apuntar hacia el centro. Entonces, si podemos encontrar que la aceleración está en la dirección opuesta al vector de posición, podemos estar casi seguros acerca de las derivadas del seno y el coseno. Es decir, su ángulo interno debe ser pi.

                            r(t) * r''(t) = |r(t)| * |r''(t)| * cos(pi)
                            r(t) * r''(t) = |r(t)| * |r''(t)| * -1
< cos(t), sin(t) > * < -cos(t), -sin(t) > = |<cos(t),sin(t)>| * |<-cos(t),-sin(t)>| * -1
                    -cos(t)^2 + -sin(t)^2 = 1 * 1 * -1
               -1 * (cos(t)^2 + sin(t)^2) = -1
                                   -1 * 1 = -1
                                       -1 = -1
"Si asumimos que la definición de cos (t) es -sin (t) y que la definición de sin (t) es cos (t)": por supuesto, quiere decir 'derivada' en lugar de 'definición' cada vez, ¿verdad? ? Si bien sus comprobaciones post hoc son bastante correctas, también funcionarían perfectamente bien si pensáramos que la derivada de la función coseno es la función seno y que la de la función seno es opuesta a la función coseno.

Si miras cuidadosa y geométricamente el límite del cociente que define sen'(x) en el círculo unitario, y tomas la cuerda y la tangente como aproximaciones al arco (eso es el ángulo; esta es la esencia de sen(x)/x se acerca a 1), verás que el límite del cociente de derivadas tiende exactamente a cos(x), es decir, es adyacente/hipotenusa. En otras palabras, está integrado en la geometría del triángulo rectángulo, como tantos fenómenos matemáticos.

Además, en esa geometría, verá al acecho la demostración de la fórmula sen(x+y), que, junto con el límite de sen(x)/x, es la prueba estándar de que sen'(x) = cos (x) va. Pero saltarse ese álgebra e ir directamente a la geometría es la forma más sencilla que conozco de responder la pregunta.

Lo siento, no tengo tiempo ni herramientas para hacer los dibujos.

Sospecho que esto dice lo mismo que la respuesta de física anterior, pero quizás más directamente. Creo que todas las respuestas que se refieren a expansiones de series pierden el punto.

Sí. Siento que esta habría sido la prueba de Newton.
Esta es la respuesta más acorde con el espíritu de la pregunta; Creo que debería ser el aceptado (con la imagen añadida por leonboy).

Este interesante patrón de derivadas que involucran seno y coseno está relacionado con el hecho de que e^x es su propia derivada y que e^(ix) = cos(x) + i*sin(x) (Fórmula de Euler ) .

Estos dos hechos son, en cierto sentido, las matemáticas que se esconden detrás de la explicación más física de Justin L, que bien podría encontrar más intuitiva.

¿No proviene la Fórmula de Euler de la Serie de Taylor, que en primer lugar proviene de las derivadas? Pero me gusta esta respuesta. Vincular el seno y el coseno a la e es una forma bastante elegante de hacer esto.
@Justin: No necesariamente. Uno puede definir el exponencial complejo como la solución al problema de valor inicial F ( z ) = F ( z ) , F ( 0 ) = 1 . (La solución incluso se puede encontrar como una serie de potencias si lo desea). Luego se define porque z = ( mi i z + mi i z ) / 2 y pecado z = ( mi i z mi i z ) / ( 2 i ) . La fórmula de Euler se sigue entonces de las definiciones de seno y coseno que di. De hecho, uno puede diferenciar directamente esas expresiones y derivar las identidades sobre las que pregunta la pregunta original.
@Zach Me gusta la idea de definir el seno y el coseno en términos de la fórmula de Euler. Supongo que me estoy tomando un tiempo para acostumbrarme a esas definiciones como las definiciones "intuitivas".
s i norte θ + i C o s θ = i mi i θ = d mi i θ d θ = d d θ ( C o s θ + i s i norte θ ) = d C o s θ d θ + i d s i norte θ d θ

Una de las principales formas en que el seno y el coseno surgen es como soluciones fundamentales de la ecuación diferencial. y = y , conocida como la ecuación de onda. ¿Por qué es esta una ecuación diferencial importante? Bueno, interpretándolo usando la segunda ley de Newton dice que "la fuerza es proporcional y opuesta a la posición". Por ejemplo, ¡esto es lo que sucede con un resorte!

Esa es una ecuación de segundo grado, por lo que tiene un espacio bidimensional de soluciones. ¿Cómo elegir una buena base para ese espacio? Bueno, una forma sería elegir F y gramo tal que F = i F y gramo = i gramo . Sin embargo, eso implica demasiados números imaginarios, por lo que otra opción es F = gramo , y gramo = F .

Por lo tanto, si está tratando de encontrar dos funciones que expliquen el movimiento oscilatorio, naturalmente lo llevará a elegir funciones que tienen F = gramo , gramo = F , etc.

(Por otro lado, no está del todo claro desde este punto de vista por qué el seno y el coseno deberían tener algo que ver con los triángulos...)

Lo del triángulo es realmente solo un caso especial de la definición de círculo unitario, y no es intuitivamente difícil ver por qué el movimiento alrededor de un círculo podría estar relacionado con el movimiento oscilatorio; después de todo, es una forma de oscilación. Así que todavía puedes entender los triángulos puramente desde el punto de vista de las ecuaciones diferenciales.
@JackM, de hecho, continuando con la interpretación newtoniana, cualquiera que haya sentido la fuerza centrífuga ficticia tiene una comprensión literalmente visceral de por qué el movimiento alrededor de un círculo está relacionado con la ecuación diferencial y = y .

Hablemos de la primera,

d d X pecado ( X ) = porque ( X )

Echa un vistazo a la trama:

pecado es rojo, porque es azul.

La tasa de cambio de la curva roja ( pecado ) es exactamente el valor y actual de la curva azul ( porque ) en cada punto .

Señalando algunos puntos destacados:

  • @x= π 2 , pecado ( π 2 ) = 1 y porque ( π 2 ) = 0 . Esto significa que la tasa de la curva del seno @ x= π 2 es NADA, que se puede ver claramente en el gráfico - un máximo local.

  • @x=0, pecado ( 0 ) = 0 y porque ( 0 ) = 1 , lo que significa que sin(x) debería parecer viajar a lo largo de la línea recta y=x en el origen, lo cual sucede. De hecho, cerca de x=0 tenemos la aproximación sin(x)=x.

  • @x= π 2 + , puedes ver pecado ( π 2 + ) comienza a descender. En este punto, porque ( π 2 + ) TAMBIÉN cae por debajo del eje x, es decir, por primera vez la tasa de cambio de sin(x) se vuelve negativa.

No creo que mirar el gráfico sea suficiente para confirmar la exactitud numérica de la tasa de cambio de la curva roja y la tasa de cambio de la curva azul. Podría mostrar que están algo correlacionados, pero que tienen una equivalencia numérica exacta en cada punto en el tiempo no es algo que se pueda obtener mirando un gráfico como ese, creo.

Como anexo, puede descargar el cuaderno Mathematica de Graphing Derivatives , que le permite jugar un poco con pecado ( X ) , porque ( X ) y otra función. Creo que muestra una construcción muy obvia pero interesante de esas funciones trigonométricas. En caso de que no quieras descargar o instalar nada, publiqué un screencast amateur , para que puedas ver la demostración. Básicamente, dibujas el pecado ( X ) función, y en cada punto ( X , y ) usted calcula/dibuja la pendiente. El valor de la pendiente corresponde al valor de la y coordenada de la derivada de la función (en este ejemplo, porque ( X ) ), manteniendo el mismo X coordinar.

Es un ejercicio maravilloso trazar una función aleatoria y dibujar la derivada de esa función en base a este procedimiento, luego echar un vistazo a la derivada 'verdadera' y ver cuánto se parece su dibujo a la derivada.

A partir de los primeros principios, utilizando identidades trigonométricas y aproximaciones de ángulo pequeño:


pecado ( X ) = límite h 0 pecado ( X + h ) pecado ( X ) h

pecado ( X + h ) = pecado ( X ) porque ( h ) + porque ( X ) pecado ( h )

pecado ( X ) = límite h 0 ( pecado ( X ) ( porque ( h ) 1 ) + porque ( X ) pecado ( h ) ) h

Para X pequeño, pecado ( X ) X , entonces

límite h 0 pecado h h = 1
y
porque ( X ) 1 X 2 2
entonces
límite h 0 porque h 1 h = 0

pecado ( X ) = porque ( X )

porque ( X ) = límite h 0 porque ( X + h ) porque ( X ) h

porque ( X + h ) = porque ( X ) porque ( h ) pecado ( X ) pecado ( h )

porque ( X ) = límite h 0 porque ( X ) ( porque ( h ) 1 ) pecado ( X ) pecado ( h ) h

= pecado ( X )
por el mismo razonamiento anterior.

esto es genial
no creo que pecado ( X ) X , y ciertamente no es eso porque ( X ) 1 X 2 / 2 , es un "primer principio". De hecho, su argumento muestra que, una vez que se comprende la geometría de la trigonometría ( a través de las fórmulas de adición), su hecho sobre el seno es casi equivalente al cálculo de su derivada, y su hecho sobre el coseno dice más .

Esto no es exactamente lo que preguntaste, pero mira la serie de Taylor para los polinomios:

pecado X = norte = 0 ( 1 ) norte ( 2 norte + 1 ) ! X 2 norte + 1 = X X 3 3 ! + X 5 5 !  para todos  X

porque X = norte = 0 ( 1 ) norte ( 2 norte ) ! X 2 norte = 1 X 2 2 ! + X 4 4 !  para todos  X

Las relaciones entre las derivadas quedan claras a partir de esto.

¿Cómo puedes derivar estas series de Taylor sin conocer las derivadas en primer lugar?
@Eric: La pregunta era para una comprensión intuitiva, no para una prueba intuitiva.
En ese caso, ¿cómo es intuitiva la serie de Taylor?
@:Eric: Sí, solo es intuitivo si piensas en ellos como series de Taylor, en lugar de proporciones de lados de triángulos. Como dije, no es exactamente lo que se solicitó, pero creo que le da una mejor comprensión de cómo ocurre la cadena.
@Eric: Las expansiones de la serie de potencias en realidad se pueden derivar de la expansión de la serie de potencias del exponencial, que se puede encontrar a partir de la ecuación diferencial que satisface, y las relaciones porque z = ( mi i z + mi i z ) / 2 y pecado z = ( mi i z mi i z ) / ( 2 i ) . Para que este enfoque realmente tenga sentido, es posible que deba definir coseno y seno usando esas dos expresiones, pero eso es completamente legítimo e incluso agradable en cierto modo. En cuanto a la intuición... :D
Puede obtener la serie de potencias para el seno y el coseno geométricamente (al borde de "intuitivamente", si tiene intuición para las involutas), siempre que acepte el límite ( pecado X ) / X > 1 como X > 0 . Vea mi respuesta a otra pregunta aquí: math.stackexchange.com/questions/1048/… De acuerdo, aceptar el límite es equivalente a "conocer las derivadas en primer lugar", pero el desarrollo geométrico de la serie de potencias no requiere que usted pensar en términos de derivadas o series de Taylor; el límite simplemente limpia la fórmula final.
@Peter, ¿también quieres enviar a TeX la respuesta anterior de James ?

No creo que puedas tener una idea intuitiva de los derivados sin mirar las tramas personalmente. Cuando considera que una derivada es una tasa de cambio, debe observar una función que varía, lo que implica que está observando el diagrama/gráfico de la función. Cuando considera además que una derivada (por definición, es una tasa de cambio) es una función de gradiente, la respuesta intuitiva es que cos es la función de gradiente de sin, y -sin es la función de gradiente de cos (y así sucesivamente) . Entonces, si calcula el gradiente de la curva del seno en cualquier punto, el valor que obtenga será el valor del coseno para ese punto.

En el espíritu de la pregunta, esta respuesta aborda la observación: "O, aún más sorprendente, solo la definición del triángulo rectángulo". En esencia, la misma respuesta que la de David Lewis .

Geométricamente d(sinθ)/dθse puede derivar en un triángulo rectángulo agrandando el triángulo rectángulo θ->θ+dθmientras se mantiene a:=adjfijo el ángulo recto. En primer orden d(sinθ)=(o+do)/(h+dh)-o/h≈do/h, donde o:=opp, h:=hyp. La pequeña parte del círculo con radio hque define es, de nuevo en primer orden, igual al lado opuesto de un triángulo con la proyección perpendicular de h sobre h+dh, de modo que dθ=do┴/h.

Entonces vemos que la derivada de sinθes igual a la proporción entre doy do┴. Inmediatamente se puede ver que esta proporción es igual sin(π/2-θ)=cos(θ)en el pequeño triángulo en la esquina superior derecha.

Entonces, "la proporción entre doy do┴es igual a la proporción de los dos lados adyacentes del ángulo θ" sería el significado geométrico intuitivo de sin'(θ)=cos(θ).

La siguiente prueba muy clara se encuentra en el clásico Cours d'Analyse de Camille Jordan (sin diagrama; ¡un ejercicio de visualización clara!):

Sean x y x+h dos puntos del círculo unitario. Al principio, observamos que | sin(x+h)-senx| < h , por lo tanto senx es continua.

Vemos fácilmente que 2sin(h/2) = cuerda h < h < 2tan(h/2).

Por lo tanto cos(h/2) < (2sin(h/2))/h < 1.

Si h tiende a 0, cos(h/2) tiende a 1. Por lo tanto

lím (2sen(h/2))/h = 1.

Habiendo establecido lo anterior, tenemos

(senx)' = lim(sen(x+h)-senx)/h) = lim((2sen(h/2))/h)cos(x+h/2)) = cosx.

Considere la gráfica de y = pecado θ : gráfico de senoEn un nivel intuitivo, lo que significa 'la derivada de seno es coseno' es que si aumentamos el valor de θ ligeramente, entonces el cambio correspondiente en pecado θ es aproximadamente proporcional a este aumento, con porque θ siendo la proporcionalidad constante. Esto se puede visualizar de la siguiente manera: Representación visual de la derivadaEn otras palabras, la declaración

d pecado θ d θ = porque θ
se traduce a
pecado ( θ + ε ) pecado θ ε porque θ (como  ε 0 )
Si expandimos el LHS, obtenemos
pecado θ porque ε + porque θ pecado ε pecado θ
Cerca ε = 0 , las aproximaciones lineales de pecado ε y porque ε son ε y 1 respectivamente.* Por supuesto, los gráficos de seno y coseno en realidad nunca se vuelven lineales, pero podemos imaginarnos 'acercando' lo suficiente como para que para pequeños ε , pecado ε = ε y porque ε = 1 . El LHS se convierte
ε porque θ
según sea necesario. Este enfoque también se puede utilizar para encontrar la derivada de porque θ :
porque ( θ + ε ) porque θ = porque θ porque ε pecado θ pecado ε porque θ ε pecado θ
En realidad, no es demasiado difícil hacer que estos argumentos sean rigurosos. Sin embargo, esto equivale a demostrar que
límite θ 0 pecado θ θ = 1
lo que significa que es similar al enfoque convencional que utiliza la diferenciación de los primeros principios. También podría ser posible utilizar un análisis no estándar.


*Tenga en cuenta que hay muchos argumentos geométricos que se pueden usar para justificar las aproximaciones lineales, lo que significa que podemos evitar el uso de series de Maclaurin.

Considere eso

pecado ( X + h ) = pecado ( X ) porque ( h ) + porque ( X ) pecado ( h ) pecado ( X ) + h porque ( X ) .
Este razonamiento puede hacerse riguroso si podemos demostrar que pecado ( 0 ) = 1 y porque ( 0 ) = 0 . Esto generalmente se hace usando un argumento geométrico . Entonces, desde F ( X ) es el número único para el cual F ( X + h ) = F ( X ) + F ( X ) h + o ( h ) como h 0 ,
pecado ( h ) = h + o ( h ) porque ( h ) = 1 + o ( h ) .
Por eso,
pecado ( X + h ) = pecado ( X ) ( 1 + o ( h ) ) + porque ( X ) ( h + o ( h ) ) = pecado ( X ) + h porque ( X ) + pecado ( X ) o ( h ) + porque ( X ) o ( h ) = pecado ( X ) + h porque ( X ) + o ( h ) .
Podemos hacer un argumento similar para probar que porque ( X ) = pecado ( X ) .