Por lo general, los libros de texto de cálculo lo hacen utilizando argumentos geométricos seguidos de un apretón.
Esta es una forma de verlo al estilo de Euler, que no es una "prueba" tal y como se entiende hoy en día, pero que merece la pena conocer.
Dejemos que $\theta$ sea la longitud de un arco a lo largo del círculo de radio unitario centrado en $(0,0)$ desde el punto $(1,0)$ en sentido contrario a las agujas del reloj hasta algún punto $(\cos\theta,\sin\theta)$ en el círculo. Entonces, por supuesto $\sin\theta$ es la altura de este último punto sobre el $x$ -eje. Ahora imagina lo que ocurre si $\theta$ es un número positivo infinitamente pequeño. Entonces el arco es sólo una línea vertical infinitamente corta, y la altura del punto final sobre el $x$ -El eje es sólo la longitud del arco. Es decir, cuando $\theta$ es un número infinitamente pequeño, entonces $\sin\theta$ es lo mismo que $\theta$ . De ello se desprende que cuando $\theta$ es un número infinitamente pequeño no nulo, entonces $\dfrac{\sin\theta}{\theta}=1$ .
Así es como Euler veía el asunto. Véase su libro sobre el cálculo diferencial.
80 votos
La regla de l'Hôpital es la más fácil: $\lim\limits_{x\to0}\sin x = 0$ y $\lim\limits_{x\to0}x = 0$ Así que $\lim\limits_{x\to 0}\frac{\sin x}x = \lim\limits_{x\to 0}\frac{\cos x}1 = 1 $
269 votos
@Joren: Tengo mucha curiosidad por saber cómo vas a demostrar entonces que $\sin ' x = \cos x$
1 votos
@Gortaur: Bueno, no es tan difícil. Sólo tienes que encontrar una interpretación geométrica del seno y el coseno.
4 votos
@FUZx44xl: claro, pero para que te den la razón primero demuestras que $\sin x\sim x$ con $x\to 0$ . Geométricamente
12 votos
¿Cambios recientes en qué? La definición de $\lim$ de $\sin$ o de $0$ ?
4 votos
@FUZxxl:¿Exactamente cuál era su definición de "medios geométricos"?
2 votos
En un triángulo $ABC$ con ángulo recto en $ACB$ definimos $\sin BAC=BC/AC$ . Esta es la definición "geométrica" para $\sin$ que usamos.
2 votos
"En mi clase de matemáticas, vamos a demostrar que el pecado es continuo". Las principales formas de definir $\sin$ implican su continuidad de forma automática. Mi favorito es definir que $\sin$ es la única función dos veces diferenciable $\mathbb{R} \rightarrow \mathbb{R}$ satisfaciendo $\sin''(x) = -\sin x, \sin(0) = 0$ . Utilice Picard-Lindelof para garantizar la existencia y la singularidad.
3 votos
@goblin El objetivo es pasar de una comprensión intuitiva de $\sin$ como una relación geométrica con una función. Utilizar una definición tan implícita sería bastante insatisfactorio para un estudiante.
0 votos
No sé todo esto. Pero tampoco estoy tratando de sonar como un sabelotodo. Simplemente lo he metido en mi calculadora gráfica y he mirado x=0. ¿Podría ser esta una forma de hacerlo?
1 votos
@Asker123 No, porque ${\sin 0 \over 0} = {0\over 0}$ y no se puede dividir por $0.$ Una calculadora gráfica tiene una precisión finita, lo que nos dice que la $0$ que muestra no es realmente un $0.000000000000000000012445823?$
0 votos
¿Cómo aborda su definición geométrica los ángulos inferiores a 0 o superiores a 180 grados?
0 votos
@R R Los aborda en el sentido intuitivo: imagina que reduces un ángulo hasta que se convierte en cero y luego continúas moviendo la línea que moviste, así es la construcción para los ángulos negativos. Para esta aplicación particular, basta con demostrar que $\lim_{x\to0^+}{\sin x\over x}=0$ aunque (si no recuerdo mal, ha pasado algún tiempo).
0 votos
@asker - Que el gráfico de $\dfrac{\sin x}{x}$ parece que su intersección Y es $1$ es una evidencia convincente, pero no es una prueba.
4 votos
Se puede aplicar el teorema del sándwich para demostrarlo.
3 votos
Es un hermoso límite que puede aplicarse sucesivamente a una composición: $$\lim_{f(x)\to 0}\frac{\sin(f(x))}{f(x)}$$