¿Cómo derivamos ‘derivada de sinx = cosx’?

Complementario a la respuesta dada a mi Sr. Farrugia es la tarifa estándar de análisis inicial de la definición de una derivada de una función en un punto dado [math] x_0 [/ math]:

[matemáticas] \ displaystyle f_x ‘(x_0) = \ lim _ {\ Delta x \ a 0} \ dfrac {\ Delta f} {\ Delta x} = \ tag * {} [/ matemáticas]

[matemáticas] \ displaystyle \ lim _ {\ Delta x \ to 0} \ dfrac {f (x_0 + \ Delta x) – f (x_0)} {\ Delta x} \ tag * {} [/ math]

En nuestro caso:

[matemáticas] f (x) = \ sin (x) \ etiqueta * {} [/ matemáticas]

donde el ángulo [matemática] x [/ matemática] se mide en radianes (no en grados *). Por lo tanto:

[matemáticas] \ displaystyle \ sin_x ‘(x) = \ lim _ {\ Delta x \ to 0} \ dfrac {\ sin (x + \ Delta x) – \ sin (x)} {\ Delta x} \ tag * {} [/matemáticas]

Sucede que recientemente hemos usado la diferencia para identificar la identidad trigonométrica:

[matemáticas] \ sin (\ alpha) – \ sin (\ beta) = 2 \ cdot \ cos \ dfrac {\ alpha + \ beta} {2} \ cdot \ sin \ dfrac {\ alpha- \ beta} {2} \ etiqueta * {} [/ math]

en esta respuesta de Quora. Aquí:

[matemáticas] \ alpha = x + \ Delta x, \; \ beta = x \ tag * {} [/ math]

y:

[matemáticas] \ sin (x + \ Delta x) – \ sin (x) = 2 \ cdot \ cos \ Big (x + \ dfrac {\ Delta x} {2} \ Big) \ cdot \ sin \ Big (\ dfrac { \ Delta x} {2} \ Big) \ tag * {} [/ math]

Por lo tanto:

[matemáticas] \ displaystyle \ sin_x ‘(x) = \ lim _ {\ Delta x \ to 0} \ dfrac {2 \ cdot \ cos \ Big (x + \ dfrac {\ Delta x} {2} \ Big) \ cdot \ sin \ Big (\ dfrac {\ Delta x} {2} \ Big)} {\ Delta x} \ tag * {} [/ math]

Divida el numerador y el denominador de la fracción anterior por [math] 2 [/ math] y reorganícelo de la siguiente manera:

[matemáticas] \ displaystyle \ sin_x ‘(x) = \ lim _ {\ Delta x \ to 0} \ dfrac {\ sin \ Big (\ dfrac {\ Delta x} {2} \ Big)} {\ dfrac {\ Delta x} {2}} \ cdot \ cos \ Big (x + \ dfrac {\ Delta x} {2} \ Big) \ tag * {} [/ math]

Ahora usamos el teorema que establece que el límite de un producto es el producto de límites siempre que los límites existan .

El primer límite:

[matemáticas] \ displaystyle \ lim _ {\ Delta x \ to 0} \ dfrac {\ sin \ Big (\ dfrac {\ Delta x} {2} \ Big)} {\ dfrac {\ Delta x} {2}} = 1 \ etiqueta * {} [/ matemáticas]

existe ya que con la sustitución [math] \ dfrac {\ Delta x} {2} = \ alpha [/ math] se reduce a:

[matemáticas] \ displaystyle \ lim _ {\ alpha \ a 0} \ dfrac {\ sin (\ alpha)} {\ alpha} = 1 \ tag {1} [/ math]

que, por cierto, demuestra por qué ( 1 ) no se puede calcular a través de la regla de L’Hopital ya que introduce un razonamiento circular: para usar la regla de L’Hopital debemos saber cuál es la derivada de [matemáticas] f (x) = \ sin (x) [/ math] es! La forma correcta de calcular el límite ( 1 ) se muestra en esta respuesta de Quora.

A continuación, confiamos en el hecho de que se demostró previamente que [math] f (x) = \ cos (x) [/ math] es una función continua (sin atajos aquí) y, por lo tanto, el límite:

[matemáticas] \ displaystyle \ lim _ {\ Delta x \ a 0} \ cos \ Big (x + \ dfrac {\ Delta x} {2} \ Big) = \ cos (x) \ tag * {} [/ math]

existe y es igual a [math] \ cos (x) [/ math]. Combina las dos observaciones anteriores:

[matemáticas] \ displaystyle \ sin_x ‘(x) = \ lim _ {\ Delta x \ to 0} \ dfrac {\ sin \ Big (\ dfrac {\ Delta x} {2} \ Big)} {\ dfrac {\ Delta x} {2}} \ cdot \ lim _ {\ Delta x \ to 0} \ cos \ Big (x + \ dfrac {\ Delta x} {2} \ Big) = \ tag * {} [/ math]

[matemáticas] 1 \ cdot \ cos (x) = \ cos (x) \ tag * {} [/ matemáticas]

o:

[matemáticas] \ sin_x ‘(x) = \ cos (x) \ tag * {} [/ matemáticas]

Para verificar que lo anterior tiene sentido, calcule las derivadas de [math] \ cos (x) [/ math] y [math] \ tan (x) [/ math] por su cuenta.

(* observe que si el ángulo se midiera en grados, entonces el límite ( 1 ) no sería [matemática] 1 [/ matemática] sino [matemática] \ dfrac {\ pi} {180 ^ {\ circ}} [/ matemática] y luego la derivada en cuestión habría sido:

[matemáticas] \ sin_x ‘(x) = \ dfrac {\ pi} {180 ^ {\ circ}} \ cdot \ cos (x) \ tag * {} [/ matemáticas]

que es bastante feo)

Depende de cómo defina [math] \ sin x [/ math] y [math] \ cos x [/ math].

En esta prueba, voy a usar las siguientes definiciones de [math] \ sin x [/ math] y [math] \ cos x [/ math]:

[matemática] \ sen x [/ matemática] es la solución particular de la ecuación diferencial [matemática] \ sin ^ {\ prime \ prime} (x) + \ sin (x) = 0 [/ matemática], [matemática] \ sin (0) = 0 [/ matemática], [matemática] \ sin ^ \ prime (0) = 1 [/ matemática].

[math] \ cos x [/ math] es la solución particular de la ecuación diferencial [math] \ cos ^ {\ prime \ prime} (x) + \ cos (x) = 0, \ cos (0) = 1, \ cos ^ \ prime (0) = 0. [/ math]

Suponiendo que sabemos a priori que [math] \ sen x [/ math] y [math] \ cos x [/ math] son ​​analíticas, podemos proceder con una prueba de la siguiente manera.

Considerando primero [math] \ sin x [/ math], [math] \ sin ^ {\ prime \ prime} (0) + \ sin (0) = 0 [/ math], o [math] \ sin ^ {\ prime \ prime} (0) = 0. [/ math]

Al diferenciar con respecto a [matemáticas] x [/ matemáticas], [matemáticas] \ sin ^ {\ prime \ prime \ prime} (x) + \ sin ^ \ prime (x) = 0 [/ matemáticas]. Por lo tanto, [matemática] \ sin ^ {\ prime \ prime \ prime} (0) = – \ sin ^ \ prime (0) = – 1. [/ Matemática]

Continuando esto más allá (podemos hacer esto porque todas las funciones analíticas son suaves), obtenemos

[matemáticas] \ sin ^ {(4)} (0) = 0, \ sin ^ {(5)} (0) = 1, \ sin ^ {(6)} (0) = 0, \ sin ^ {( 7)} (0) = – 1 [/ matemáticas], y así sucesivamente.

Usando la serie Maclaurin (que siempre converge a la función si es analítica), obtenemos así:

[matemáticas] \ sin x = \ sin (0) + \ sin ^ \ prime (0) x + \ dfrac {\ sin ^ {\ prime \ prime} (0)} {2!} x ^ 2 + \ dfrac {\ sin ^ {\ prime \ prime \ prime} (0)} {3!} x ^ 3 + \ cdots [/ math]

[matemáticas] \ sin x = x- \ dfrac {x ^ 3} {3!} + \ dfrac {x ^ 5} {5!} – \ dfrac {x ^ 7} {7!} + \ cdots. [/ matemáticas]

Se puede demostrar que esta serie para [math] \ sen x [/ math] converge para todos los valores reales de [math] x [/ math].

Si hacemos lo mismo para [math] \ cos x [/ math], obtenemos:

[matemáticas] \ cos ^ {\ prime \ prime} (0) = – 1, \ cos ^ {\ prime \ prime \ prime} (0) = 0, \ cos ^ {(4)} (x) = 1, \ cos ^ {(5)} (0) = 0, \ cos ^ {(6)} (0) = – 1, \ cos ^ {(7)} (0) = 0 [/ matemáticas], y así sucesivamente .

La serie Maclaurin para [math] \ cos x [/ math] es así:

[matemáticas] \ cos x = 1- \ dfrac {x ^ 2} {2!} + \ dfrac {x ^ 4} {4!} – \ dfrac {x ^ 6} {6!} + \ cdots. [/ matemáticas]

Del mismo modo, esta serie converge para todos los valores reales de [math] x [/ math].

Ahora es una cuestión simple mostrar que [math] \ dfrac {d} {dx} \ sin x = \ cos x [/ math]; esencialmente, aplica la regla [math] \ dfrac {d} {dx} x ^ n = nx ^ {n-1} [/ math] a cada término de [math] \ sin x [/ math] para obtener exactamente cada término de [matemáticas] \ cos x [/ matemáticas].

Emocionante forma especial de diferenciar y = sen x

En lugar de usar la forma habitual de “derivación derecha ” de la derivada:

El gradiente del acorde QR es una aproximación al gradiente de la tangente en P.

Mediante el uso de la definición.

Entonces, si usamos [math] \ sin (x) [/ math] como nuestra función en la definición de límite, entonces obtenemos la expresión

[matemáticas] \ displaystyle \ lim_ {h \ a 0} \ dfrac {\ sin (x + h) – \ sin (x)} {h} [/ matemáticas]

Ahora, usando la identidad de suma [math] \ sin [/ math], obtenemos

[matemáticas] \ displaystyle \ lim_ {h \ a 0} \ dfrac {\ sin (x) \ cos (h) + \ cos (x) \ sin (h) – \ sin (x)} {h} [/ matemáticas ]

Al reorganizar y factorizar obtenemos

[matemáticas] \ displaystyle \ lim_ {h \ a 0} \ dfrac {\ cos (x) \ sin (h) + \ sin (x) (\ cos (h) – 1)} {h} [/ matemáticas]

Un poco más de simplificación, factorización y ruptura de fracciones rinde

[matemáticas] \ displaystyle \ cos (x) \ lim_ {h \ to 0} \ dfrac {\ sin (h)} {h} + \ sin (x) \ lim_ {h \ to 0} \ dfrac {\ cos ( h) – 1} {h} [/ matemáticas]

El primer límite es bien conocido y se evalúa como [matemática] 1 [/ matemática]. El segundo límite se evalúa como [matemática] 0 [/ matemática], que se encuentra al analizar la gráfica de la función en el límite.

Conectando estos valores nuevamente y simplificando, obtenemos

[matemáticas] \ displaystyle \ cos (x) – 0 = \ cos (x) [/ matemáticas]

Y así, su derivada está probada.

Espero que esto ayude.

De la definición de una derivada, que es un límite. Aquí está la derivación – Derivada del pecado (x) | Recursos de Wyzant

Además, antes de ir a Quora, búscalo en Internet una vez. Obtienes las respuestas fácilmente.