Wie kann man beweisen, dass limx→0sinxx=1limx→0sin⁡xx=1\lim\limits_{x\to0}\frac{\sin x}x=1?

Wie kann man die Aussage beweisen

lim X 0 Sünde X X = 1
ohne die Taylor-Reihe von zu verwenden Sünde , cos Und bräunen ? Am besten wäre eine geometrische Lösung.

Das ist Hausaufgabe . In meinem Matheunterricht werden wir das gleich beweisen Sünde ist kontinuierlich. Wir haben herausgefunden, dass der Beweis der obigen Aussage ausreicht, um die Stetigkeit von zu beweisen Sünde , aber ich kann nicht herausfinden, wie. Jede Hilfe ist willkommen.

Die Regel von l'Hôpital ist am einfachsten: lim X 0 Sünde X = 0 Und lim X 0 X = 0 , So lim X 0 Sünde X X = lim X 0 cos X 1 = 1
@Joren: Ich bin sehr gespannt, wie du das dann beweisen wirst Sünde ' X = cos X
@Gortaur: Nun, das ist nicht so schwierig. Sie müssen nur eine geometrische Interpretation von Sinus und Cosinus finden.
@FUZx44xl: sicher, aber das beweisen Sie erst einmal Sünde X X mit X 0 . Geometrisch
Letzte Änderungen in was? Die Definition von lim , von Sünde Oder von 0 ?
@FUZxxl: Was genau war deine Definition von "geometrischen Mitteln"?
Im Dreieck A B C mit rechtem Winkel hinein A C B wir definieren Sünde B A C = B C / A C . Dies ist die „geometrische“ Definition für Sünde wir verwendeten.
"In meinem Matheunterricht sind wir dabei zu beweisen, dass die Sünde kontinuierlich ist." Die wichtigsten Arten der Definition Sünde implizieren ihre Kontinuität automatisch. Mein Favorit ist, das zu definieren Sünde ist die eindeutige zweimal differenzierbare Funktion R R befriedigend Sünde ( X ) = Sünde X , Sünde ( 0 ) = 0 . Verwenden Sie Picard-Lidelof, um Existenz und Einzigartigkeit zu garantieren.
@goblin Das Ziel ist es, von einem intuitiven Verständnis auszugehen Sünde als geometrische Beziehung zu einer Funktion. Die Verwendung einer solchen impliziten Definition wäre für einen Studenten ziemlich unbefriedigend.
Ich weiß das alles nicht. Aber ich versuche auch nicht, wie ein Klugscheißer zu klingen. Ich habe es einfach in meinen Grafikrechner gesteckt und auf x = 0 geschaut. Könnte dies eine Möglichkeit sein, dies zu tun?
@ Asker123 Nein, weil Sünde 0 0 = 0 0 und du kannst nicht durch teilen 0. Ein Grafikrechner hat endliche Genauigkeit, was uns das sagt 0 es zeigt nicht wirklich a 0,000000000000000000012445823 ?
Wie behandelt Ihre geometrische Definition Winkel unter 0 oder über 180 Grad?
@RR Es spricht sie im intuitiven Sinne an: Stellen Sie sich vor, Sie reduzieren einen Winkel, bis er Null wird, und bewegen dann die von Ihnen verschobene Linie weiter. So sieht die Konstruktion für negative Winkel aus. Für diese spezielle Anwendung reicht es aus, dies zu zeigen lim X 0 + Sünde X X = 0 obwohl (wenn ich mich recht erinnere, ist es einige Zeit her).
@asker - Dass der Graph von Sünde X X sieht aus wie es y-Achsenabschnitt ist 1 ist ein zwingender Beweis, aber kein Beweis.
Der Sandwichsatz kann angewendet werden, um dies zu beweisen.
Es ist eine schöne Grenze, die nacheinander auf eine Komposition angewendet werden kann:
lim F ( X ) 0 Sünde ( F ( X ) ) F ( X )

Antworten (28)

sinc und tanc auf 0

Das Gebiet von A B C Ist 1 2 Sünde ( X ) . Die Fläche des farbigen Keils ist 1 2 X , und der Bereich von A B D Ist 1 2 bräunen ( X ) . Durch Einbeziehung erhalten wir

(1) 1 2 bräunen ( X ) 1 2 X 1 2 Sünde ( X )
Teilen ( 1 ) von 1 2 Sünde ( X ) und reziproke nehmen, erhalten wir
(2) cos ( X ) Sünde ( X ) X 1
Seit Sünde ( X ) X Und cos ( X ) sind sogar Funktionen, ( 2 ) gilt für alle Nicht-Null-Werte X zwischen π 2 Und π 2 . Außerdem seit cos ( X ) ist durchgehend in der Nähe 0 Und cos ( 0 ) = 1 , das verstehen wir
(3) lim X 0 Sünde ( X ) X = 1
Auch teilen ( 2 ) von cos ( X ) , das verstehen wir
(4) 1 bräunen ( X ) X Sek ( X )
Seit Sek ( X ) ist durchgehend in der Nähe 0 Und Sek ( 0 ) = 1 , das verstehen wir
(5) lim X 0 bräunen ( X ) X = 1

Hm... Aber jetzt, wie man das beweist cos ist kontinuierlich? (Lies die Frage!)
Mach meine Hausaufgaben! Beachten Sie, dass ( 1 ) sagt das für 0 X π 2 wir haben 0 Sünde ( X ) X ; Deshalb, lim X 0 + Sünde ( X ) = 0 . Dann cos ( X ) = 1 2 Sünde 2 ( X / 2 ) sollte die Arbeit beenden.
Vielen Dank. Ich kenne dieses Sprichwort, aber ich konnte es wirklich nicht alleine herausfinden.
Von Ihrem Kommentar hatte ich nicht erwartet, dass Sie es selbst finden könnten, aber "Lesen Sie die Frage!" schien an den Rändern etwas rau zu sein.
Das tut mir leid.
Ich denke, dass Ihre Begründung leicht zirkulär ist :). In einem Einführungskurs in Analysis ( Sünde X , cos X ) wird wahrscheinlich als der Punkt definiert, den wir nach der Reise erreichen X Einheiten gegen den Uhrzeigersinn entlang des Einheitskreises ab ( 1 , 0 ) .
Mit dieser Definition ist nur klar, dass der farbige Keil in Ihrem Diagramm Fläche hat A X C Wo A Und C sind jeweils der Umfang und die Fläche des Einheitskreises. Das wissen wir natürlich alle A = π Und C = 2 π so ist die Fläche des Keils X / 2 wie Sie behaupten, aber woher wissen wir das C = 2 A zunächst? Indem man den Kreis in kleine Keile schneidet und wieder zusammensetzt? Uh oh, das klingt für mich nach einem Kalkül-Argument ...
@Mike: Normalerweise verstehe ich Sünde ( X ) Und cos ( X ) definiert als die Seitenverhältnisse eines rechtwinkligen Dreiecks mit dem gegebenen Winkel. Die Tatsache, dass Bogenlänge und Fläche proportional zu diesem Winkel sind, wird normalerweise als "verstanden, später zu beweisen" belassen. In jeder Definition wird es Dinge geben, die so belassen werden, wie sie verstanden werden. Am Ende steht es Ihnen frei, meine Antwort nicht positiv zu bewerten, wenn Sie der Meinung sind, dass sie nicht dem beabsichtigten Zweck dient.
@robjohn: OK, fair genug, ich habe nicht wirklich versucht, Sinus und Cosinus zu definieren, sondern darauf hinzuweisen, dass das Bogenmaß normalerweise über die Bogenlänge eines Keils eingeführt wird, nicht über die Fläche eines Keils (geteilt durch 2). . Außerdem hatte ich kein Problem damit, dass Bogenlänge und Fläche proportional zum Winkel sind. Ich denke eher, dass die Lücke dort ist, wo wir verwenden, dass das Verhältnis (Keilfläche) / (Bogenlänge des Keils) genau 1/2 ist.
@Mike: Ich stimme zu, dass in einigen frühen Stadien ein bisschen Vertrauen in die Mischung einfließt, aber ich denke, dies ist eines, das ein bisschen Handwinken glaubwürdig machen kann.
@robjohn: Darf ich dich fragen, wie du diese geometrische Figur gezeichnet hast?
@Américo: Ich habe Intaglio verwendet . Ich glaube nicht, dass es (noch?) Eine Windows-Portierung davon gibt.
Ich denke, der Teil, der "durch Einbeziehung" beginnt, sollte gerechtfertigt sein.
@Adam: A B C Fläche hat 1 2 Sünde ( X ) und ist eine Teilmenge des blauen Keils, der eine Fläche hat 1 2 X das ist eine Teilmenge von A B D das hat Fläche 1 2 bräunen ( X ) . Welcher Teil muss begründet werden?
@robjohn: Der Teil, der besagt, dass das Dreieck ABC eine kleinere Fläche hat als der blaue Keil. Können Sie diese Tatsache ohne Bezugnahme auf das Bild zeigen? "Wie Sie auf diesem Bild, das ich gezeichnet habe, deutlich sehen können" überzeugt mich nicht wirklich.
@Adam: Der Keil ist konvex und A B C ist die konvexe Hülle aus drei Punkten innerhalb des Keils.
@robjohn: Ich mag diesen Ansatz. Ich will nicht pingelig sein, aber lassen die beiden Ihrer Räumlichkeiten nicht die Möglichkeit offen, dass die Flächen gleich sind? Zum Beispiel können wir ein Rechteck ABCD nehmen und feststellen, dass das Rechteck konvex ist und die konvexe Hülle von 4 Punkten innerhalb des Dreiecks (nämlich A, B, C, D) eine Fläche definiert, die gleich der Fläche des Rechtecks ​​ist. Übersehe ich etwas?
@Adam: da die Ungleichheiten in ( 1 ) Sind " ", sehe ich kein Problem, wenn die Flächen gleich sind.
würde einer der Downvoter etwas dazu sagen?
Aber das scheint vorauszusetzen, dass wir das bereits wissen cos ist kontinuierlich.
@kobold: tut es. So heißt es sogar: „Außerdem seit cos ( X ) ist durchgehend in der Nähe 0 Und cos ( 0 ) = 1 , wir bekommen das ..." Ist das ein Problem? Diese Grenze ist nicht erforderlich, um die Stetigkeit von zu zeigen cos ( X ) . Dafür brauchen wir nur
lim X 0 Sünde ( X ) = 0
seit
cos ( X ) cos ( j ) = 2 Sünde ( X + j 2 ) Sünde ( X j + 2 )
Was war das Motiv hinter einer solchen Lösung?!
@RanojoyDutta: Es ist sehr einfach, Bereiche durch Einbeziehung zu vergleichen; es gibt jedoch einige Schwierigkeiten, Bogenlängen zu vergleichen. Es ist nicht allzu schwer, das zu zeigen Sünde ( X ) X für 0 X π 2 wenn wir davon ausgehen, dass eine gerade Linie die kürzeste Entfernung zwischen zwei Punkten ist (eine Schlüsselannahme). Dies zeigt, dass lim sup X 0 Sünde ( X ) X 1 . Allerdings ist es schwieriger, das zu zeigen lim inf X 0 Sünde ( X ) X 1 .
Ich habe nach der Zeichnung gefragt. Das ist wirklich ein schöner Beweis!
Woher wissen Sie, ohne Kalkül zu verwenden, dass die Fläche des Segments mit Bogenlänge ist X Fläche hat X / 2 ? Oder äquivalent, wie beweisen Sie, dass die Fläche des Einheitskreises ist π , Wo π ist der halbe Umfang des Einheitskreises definiert?
Die Verhältnismäßigkeit wird in diesem Kommentar und in diesem Kommentar erörtert . Verwenden wir, dass die Fläche des Einheitskreises ist π ?
Warum muss cos x stetig nahe 0 sein?
@AbdelrhmanFawzy: Damit wir das wissen lim X 0 cos ( X ) = cos ( 0 ) = 1 .
Was einige Kommentatoren sagen, ist, dass Sie beweisen müssen, dass ein Kreis radialsymmetrisch ist. Zeigen Sie mit anderen Worten, dass ein Kreis kreisförmig ist. :D
Gibt es einen Grund, warum die Ungleichungen nicht streng sind? Liegt es daran, wann X = 0 , alle Bereiche sind 0 also müssen wir das berücksichtigen, um besonders streng zu sein? Ich frage nur, weil ich Beweise für dieselbe Grenze gesehen habe, bei denen nur strenge Ungleichungen verwendet wurden. Diese Beweise erwähnen normalerweise nicht einmal die Bereiche, nur das S ich N ( X ) < X < T A N ( X ) .
@ShootinLemons: Ich verwende einfach die Tatsache, dass if A B , Dann | A | | B | . Ein zusätzliches Argument ist erforderlich, um eine strikte Ungleichheit zu erhalten, wenn X 0 , und es wird nicht benötigt, um die Grenze zu zeigen, also habe ich das Argument damit nicht komplizierter gemacht.
@robjohn Könntest du das bitte näher erläutern? Ich bin nicht wirklich erfahren in der Mengenlehre, also verstehe ich diese Implikation nicht. Mir ist klar, dass es bedeutet " A ist eine Teilmenge von B “, aber wie verhält sich das zu einer Diskussion über verschiedene Bereiche? Basiert es auf der Beobachtung, dass A existiert darin B ? Lässt sich die Beziehung zwischen Mengen und Teilmengen aber wirklich auf Bereiche übertragen? Wenn ich ein Dreieck in einem Quadrat hätte, könnte ich dann richtig sagen, dass die Fläche des Dreiecks eine Teilmenge der Fläche des Quadrats ist? Wenn ja warum? Sind außerdem die absoluten Werte wichtig? Danke schön.
A B | A | | B | bedeutet einfach, dass wenn A ist eine Teilmenge von B , dann der Bereich von A kleiner oder gleich der Fläche von ist B .
@ShootinLemons - Wenn Sie mit "Fläche" "den Satz von Punkten innerhalb einer Figur" meinen (normalerweise einschließlich der Figur selbst) im Gegensatz zum zweidimensionalen Maß - das eine Zahl ist, keine Menge - dann ja. " A existiert darin B ", bedeutet A ist drinnen B , und die Punkte darin A also auch drinnen B . Damit ist der Bereich von A ist eine Teilmenge des Bereichs von B . Und für das Flächenmaß A B | A | | B | ist eine grundlegende Eigenschaft, die wir für die Mengenmessung haben wollen. Wenn es nicht so funktionieren würde, müssten wir die Definition so ändern, dass es funktioniert.

Das solltest du erstmal beweisen X > 0 klein das Sünde X < X < bräunen X . Dann dividieren durch X du erhältst

Sünde X X < 1
und neu ordnen 1 < bräunen X X = Sünde X X cos X
cos X < Sünde X X .
Nehmen X 0 + Sie wenden den Squeeze-Theorem an. Für X < 0 und kleine nutze das Sünde ( X ) = Sünde X so dass
Sünde ( X ) X = Sünde X X .
Was die erste Ungleichung betrifft, die ich gesagt habe, können Sie dies vollständig aus Dreiecken machen, aber ich weiß nicht, wie ich die Bilder hier zeichnen soll.

Diagramm

Aber wie soll man das beweisen Sünde X < X < bräunen X ?
Es ist auf dem Bild. Die Definition von Radianten macht das obige Bild wahr. Vielleicht ist das erwähnenswert: Diese Grenze hängt explizit von " X " wird in Radiant gemessen.
Okay. Ich habe mir den von Yuval bereitgestellten Link angesehen. Dieser Beweis funktioniert. Trotzdem danke für die Mühe.
Das ist ein seltsames Bild! Normalerweise will man das T A N ( θ ) Seite parallel zu sein S ich N ( θ ) Seite.
Wenn du machst bräunen ( θ ) parallel musst du dann die punkte machen S Und Q das gleiche. Aus irgendeinem Grund ist dies der Beweis, der mir am besten gefällt, weil er die Tangentenlinie am Punkt des Kreises mit dem Wert in Beziehung setzt, den wir "Tangente" nennen. Jedem das Seine...
Selbst bei diesem Bild könnte man das Prinzip der Flächeneinbeziehung anwenden und argumentieren, dass die Fläche des Dreiecks OPQ < Fläche des Sektors OPQ < Fläche des Dreiecks OPS ist. Dies übersetzt sich in Sünde θ < θ < bräunen θ Das ist die erste Zeile dieser Antwort und daher nichts Seltsames daran.
@tkr Vielleicht hast du nicht bemerkt, dass es nichts anderes ist, eine Linie \tan \theta parallel zu \sin \theta zu machen und S mit Q zusammenfallen zu lassen, als eine Tangente an den Kreis am Punkt Q zu ziehen. Tatsächlich sind die beiden Dreiecke kongruent und können es sein erhalten, indem sie einfach aneinander an der Winkelhalbierenden von θ mit Ursprung in O gespiegelt werden
Sir, mit welcher Software/Website haben Sie dieses Diagramm erstellt?
@sgrmshrsm7 Wahrscheinlich Geogebra
@sgrmshrsm7 Ich bin mir ziemlich sicher, dass ich es mit TikZ in einem LaTeX-Dokument gemacht habe. Aber wer weiß :\
@DeepakGupta Ich verstehe die Tangente an diesem Punkt Q ist auch eine Option, außer dass die Tangente (wie in der am häufigsten bewerteten Antwort) nicht davon abhängt θ nicht mehr (eher seine Höhe, die irgendwann abgeschnitten wird). Das ist eine klarere Beschreibung von "Aus welchem ​​Grund auch immer..."
@sgrmshrsm7 Es ist möglich, TikZ-Code von Geogebra zu generieren. Meine Blog-Seite hat beschrieben, wie: vincenttam.gitlab.io/page/tikz-templates/…

Normalerweise tun dies Lehrbücher für Analysis mit geometrischen Argumenten, gefolgt von Squeeze.

Hier ist eine Euler-ähnliche Sichtweise – kein „Beweis“, wie dieser Begriff heute normalerweise verstanden wird, aber dennoch wissenswert.

Lassen θ sei die Länge eines Bogens entlang des Kreises mit dem Einheitsradius mit dem Mittelpunkt ( 0 , 0 ) , von diesem Punkt ( 1 , 0 ) bis zu einem gewissen Punkt gegen den Uhrzeigersinn ( cos θ , Sünde θ ) auf dem Kreis. Dann natürlich Sünde θ ist die Höhe des letzteren Punktes über der X -Achse. Stellen Sie sich nun vor, was passiert, wenn θ ist eine unendlich kleine positive Zahl. Dann ist der Bogen nur eine unendlich kurze vertikale Linie und die Höhe des Endpunkts über der X -Achse ist nur die Länge des Bogens. Dh wann θ ist dann eine unendlich kleine Zahl Sünde θ ist das gleiche wie θ . Daraus folgt, wann θ ist dann eine unendlich kleine Zahl ungleich Null Sünde θ θ = 1 .

So sah Euler die Sache. Siehe sein Buch über Differentialrechnung.

Ich bin mit der kürzlichen Bearbeitung meiner Antwort nicht einverstanden und bin zur vorherigen Version zurückgekehrt. „Infinitesmal“ bedeutet „unendlich klein“.
Sie haben Eulers Buch gelesen? War es aufgrund der Notation und Sprache der Zeit sehr schwer zu lesen?
@ user230452 : Nur einige Teile davon. Ich würde nicht sagen, dass die Unterschiede in Sprache und Notation der herausfordernde Teil waren.
Würde man das nicht lieber sagen S ich N θ θ unendlich nahe bei 1 ist, wenn θ ist eine unendlich kleine Zahl ungleich Null?
@Sven: So wird es tatsächlich in Robinsons "Nichtstandardanalyse" gemacht. Es gibt einen anderen Ansatz für rigorose Infinitesimalzahlen, bei dem es so gemacht würde, wie Euler es getan hat, nämlich wenn θ ist dann unendlich klein Sünde θ θ = 1. Es heißt "glatte Infinitesimalanalyse". Bei diesem Ansatz ist das Quadrat eines Infinitesimal 0 , also haben wir
Sünde θ θ = θ θ 3 6 + θ 5 120 θ = 1.
en.wikipedia.org/wiki/Smooth_infinitesimal_analysis
Ich habe die Beziehung zwischen den Maclaurin-Erweiterungen beider untersucht Sünde X X Und Sünde X X in den letzten Tagen selbstständig. Ich bemerkte, dass die Erweiterung des letzteren dieses Verhalten zeigte, und dann wandte ich es auf ersteres an. Und siehe da, Euler hat es als Erster herausgefunden! Allerdings habe ich mich gefragt: was ist der Unterschied zwischen 0 X 2 N ( 2 N + 1 ) ! Und 0 | ( 1 ) N X 2 N | ( 2 N + 1 ) ! ? Fand ich erwähnenswert, sorry für den langen Kommentar!

Schau dir diesen Link an:

http://fatosmatematicos.blogspot.com/2010/08/provas-sem-palavras-parte-20.html

Hier ist das Bild, das ich aus diesem Blog kopiert habe:

Kopie des Bildes aus dem Blog Fatos Matematicos

+1, schöne Seite - Was ist die Länge BC?
Was ist das Argument dafür, das zu zeigen θ cos θ Sünde θ ? Das Bild überzeugt nicht sofort.
@DR. MV: Wenn Sie den Kreis neu skalieren cos θ Einheiten, dann das Original Sünde θ ist ein skaliert bräunen θ die immer länger als ihr Bogen ist.
@Mattsteel Warum ist das so? Warum ist es länger als sein Bogen?
Dieser Beweis ist so elegant 👍.

Ich bin mir nicht sicher, ob es als Beweis gilt, aber ich habe gesehen, wie dies von einem Highschooler gemacht wurde.Geben Sie hier die Bildbeschreibung ein

Auf dem obigen Bild, 2 N  EJ = 2 N R Sünde ( π N ) =  Umfang des Polygons  .

lim N 2 N R Sünde ( π N ) = lim N (  Umfang des Polygons  ) = 2 π R lim N Sünde ( π N ) ( π N ) = 1 und lass π N = X .

Diese Methode wird normalerweise verwendet, um zu beweisen, dass der Umfang eines Kreises ist 2 π R mit der Tatsache lim X 0 Sünde X X = 1
Santosh, wie beweist man, dass der Umfang des Polygons gegen den konvergiert 2 π ?

Ich behaupte das für 0 < X < π / 2 dass folgendes gilt

Sünde X < X < bräunen X
Abbildung 1
Im Diagramm lassen wir Ö C = Ö A = 1 . Mit anderen Worten, A R C C A = X ist ein Bogen eines Einheitskreises. Die kürzeste Entfernung vom Punkt C zu Linie A Ö ist Linie C E = Sünde X (Weil C E Ö A ). Ein anderer Weg von Punkt C zu Linie Ö A ist Bogen C A (was länger als CE ist, weil es nicht der kürzeste Weg ist). Also haben wir zumindest
Sünde X < X
Jetzt müssen wir diese Linie zeigen B A = bräunen X > X .
Linien A D Und C D sind beide tangential zum Bogen C A . C D + D A ist länger als Bogen C A weil die Menge der Punkte durch Sektoren gebunden ist Ö C A ist eine Teilmenge der Menge von Punkten, die durch ein Viereck begrenzt sind Ö C D A , die beide konvexe Mengen sind. Dies bedeutet, dass der Umfang des Vierecks Ö C D A muss länger sein als der Umfang des Sektors Ö C A (nach Archimedes, On the Sphere and Cylinder Book I ). Aber sowohl der Sektor als auch das Viereck haben Seiten Ö C Und Ö A , also haben wir
C A = X < D C + D A
Aber B D > C D weil es die Hypotenuse in ist B C D wir haben
bräunen X = B A = B D + D A > C D + D A > C A = X > Sünde X

Also haben wir

Sünde X < X < bräunen X
Sünde X X < 1 < bräunen X X = Sünde X X Sek X
Daraus können wir extrahieren
Sünde X X < 1
Und
1 < Sünde X X Sek X
cos X < Sünde X X
Wenn wir diese Ungleichheiten wieder zusammensetzen, haben wir
cos X < Sünde X X < 1

Weil lim X 0 cos X = 1 , nach dem Squeeze-Theorem, das wir haben

lim X 0 Sünde X X = 1

Der Grund, warum ich einen Bogenlängenbeweis gewählt habe, liegt darin, dass die meisten Ableitungen, die ich von der Fläche eines Kreises gesehen habe (siehe mathopenref.com/circleareaderive.html ), davon ausgehen lim X 0 Sünde X X = 1 . Die Verwendung eines flächenbasierten Beweises scheint mir, als würde man den Karren vor das Pferd spannen.
Wie hat Archimedes es vermieden, anzunehmen C H Ö R D A R C 1 als A R C neigt dazu, in seinem Argument über Perimeter, auf das Sie sich bezogen haben, auf Null zu gehen? Ich habe die folgende Frage gestellt , weil mich dieses Problem schon seit einiger Zeit verfolgt.
Tatsächlich ging Archimedes davon aus, dass, wenn 2 Kurven (beide konkav in die gleiche Richtung) dieselben Endpunkte haben und eine der Kurven genau zwischen einem Liniensegment mit denselben Endpunkten und der anderen Kurve liegt, die Länge der eingeschlossenen Kurve kürzer ist als die Länge der umschließenden Kurve. Siehe Axiom #2 archive.org/stream/worksofarchimede00arch#page/4/mode/2up
OK, er axiomatisiert also im Wesentlichen die Idee, dass unter allen Kurven Endpunkte verbunden sind A Und B Wenn wir eine Art Regelmäßigkeitsbedingung erfüllen - Konkavität in die gleiche Richtung, haben wir diese Ungleichung auf der Grundlage der Umschließung. Das macht A R C ( C A ) < C D + D A in Ihrer Figur nur äquivalent zur Annahme selbst, aber es macht Sinn und ist von Archimedes sehr schön formuliert! Danke, dass du mich darauf hingewiesen hast!
Wenn Sie keine Kopie des Buches von Archimedes haben, können Sie den Sektor OCA mit einem Polygon in OCDA approximieren und cut-the-knot.org/m/Geometry/PerimetersOfTwoConvexPolygons.shtml verwenden
Ich liebe diesen Beweis!

Hier sehen Sie möglicherweise einen elementaren Ansatz, der von einem sehr interessanten Ergebnis ausgeht, siehe dieses Problem . Alles, was Sie brauchen, ist ein bisschen Fantasie. Wenn wir nehmen lim N N Sünde ( π N ) 1 + Sünde ( π N ) Wir können feststellen, dass wir unendlich viele Kreise haben, die den Einheitskreis mit unendlich kleinen Durchmessern umgeben, die schließlich die Länge des Einheitskreises perfekt annähern, wenn er unendlich oft dort ist. Wenn wir also n mit dem Radius unter der Grenze zur Unendlichkeit multiplizieren, erhalten wir π. Lassen Sie uns bezeichnen π N von x.

lim X 0 π Sünde ( X ) X ( 1 + Sünde ( X ) ) = π lim X 0 Sünde ( X ) X ( 1 + Sünde ( X ) ) = 1 lim X 0 Sünde ( X ) X = 1

Der Beweis ist vollständig.

dies setzt die apriorische Kenntnis der Existenz der Grenze voraus lim X 0 Sünde ( X ) X , wie würdest du es vorher beweisen? (+1) übrigens für den Original- und Alternativbeweis

Kommt es Ihnen nicht seltsam vor, warum die meisten Beweise mit einer Figur gemacht werden? Ich hatte dieses Problem am Anfang und stellte später fest, dass dies an der Definition liegt, die wir für die Funktion verwenden Sünde X . Denn die übliche Definition von Sünde X Wir alle lernen zuerst in den High Schools, hängt von der „klassischen Geometrie“ ab und normalerweise mit einer Figur, Sie sollten die Figur darstellen und deutlich machen.

Wenn Sie jedoch andere Definitionen von verwenden Sünde X die den ersteren entsprechen, werden Sie es einfacher finden. Zum Beispiel,

Sünde X = X 1 1 ! X 3 3 ! + X 5 5 ! +

und daher

Sünde X X = X 0 1 ! X 2 3 ! + X 4 5 !

was offensichtlich dazu neigt 1 als X nähert sich 0.

Es ist zwar leicht einzusehen, dass dies gilt, wenn man eine Reihe verwendet, aber diese Frage beginnt mit der Voraussetzung, dass man keine Reihe verwendet.
Und woher wissen Sie, dass die Ableitung einer unendlichen Reihe gleich der Summe der Ableitungen jedes Terms ist?
@StevenGregory: Wo benutzt er das? Er dividiert nur durch X . Was er verwendet, ist das 1 X lim N k = 0 N A k = lim N k = 0 N A k X
@celschk, beginnend mit der unendlichen Reihe als "Definition", verursacht mehr Probleme als es löst. Jetzt müssen wir beweisen, dass sich dieser Sinus wie der Sinus verhält, den wir in der High School gelernt haben. Dieser Beweis ist überzeugend, aber es ist nicht wirklich ein Beweis.

Hier ist noch einer:

lim X 0 Sünde X X = lim X 0 lim v 0 Sünde ( X + v ) Sünde v X = lim v 0 lim X 0 Sünde ( X + v ) Sünde v X = lim v 0 Sünde ' v = lim v   0 cos v = 1

Normalerweise wird diese Grenze verwendet, um die Ableitung von zu berechnen Sünde ( X ) .
Dies ist eine interessante Alternative, wirft jedoch die Frage auf, warum die Begrenzungsoperationen vertauscht werden können.

Es hängt von Ihrer Definition der Sinusfunktion ab. Ich würde vorschlagen, den geometrischen Beweis in ProofWiki zu lesen .

Hier ist ein anderer Ansatz, der die integrale Definition der Arkussinusfunktion verwendet. Wir werden die interessierende Grenze ohne Rückgriff auf Geometrie oder Differentialrechnung herleiten.

Stattdessen verlassen wir uns nur auf die Elementaranalyse stetiger Funktionen und ihrer Inversen zusammen mit einfachen Eigenschaften des Riemann-Integrals. Dazu gehen wir jetzt vor.


Wir definieren die Sinusfunktion, Sünde ( X ) , als Umkehrfunktion der Funktion F ( X ) gegeben von

(1) F ( X ) = 0 X 1 1 T 2 D T

für | X | < 1 .

HINWEIS: Es kann gezeigt werden, dass die Sinusfunktion als Umkehrung von definiert ist F ( X ) hineingegeben ( 1 ) hat alle bekannten Eigenschaften, die die Kreisfunktion charakterisieren Sünde ( X ) .

Es ist einfach, das seitdem zu zeigen 1 1 T 2 ist positiv und kontinuierlich für T ( 1 , 1 ) , F ( X ) ist kontinuierlich und streng ansteigend für X ( 1 , 1 ) mit lim X 0 F ( X ) = F ( 0 ) = 0 .

Daher seit F stetig und streng steigend ist, ihre Umkehrfunktion, Sünde ( X ) , existiert und ist ebenfalls stetig und streng steigend mit lim X 0 Sünde ( X ) = Sünde ( 0 ) = 0 .


Aus ( 1 ) , wir haben die Grenzen ( SIEHE HIER )

(2) 1 F ( X ) X 1 1 X 2

für X ( 1 , 1 ) , woraufhin das Squeeze-Theorem angewendet wird ( 2 ) Erträge

(3) lim X 0 F ( X ) X = 1


Letztlich lassen j = F ( X ) so dass X = Sünde ( j ) . Als X 0 , j 0 und wir können schreiben ( 3 ) als

lim j 0 j Sünde ( j ) = 1

von denen wir haben

lim j 0 Sünde ( j ) j = 1

wie sich zeigen sollte!


NOTIZ:

Daraus können wir den folgenden Satz nützlicher Ungleichungen ableiten ( 2 ) . Wir lassen X = Sünde ( θ ) und einschränken X so dass X [ 0 , 1 ) . Darüber hinaus definieren wir neue Funktionen, cos ( θ ) = 1 Sünde 2 ( θ ) Und bräunen ( θ ) = Sünde ( θ ) / cos ( θ ) .

Dann haben wir von ( 2 )

j cos ( j ) Sünde ( j ) j bräunen ( j )

Dies sind die bekannten Ungleichungen, die oft in einem Einführungskurs in Geometrie oder Trigonometrie eingeführt werden.

Das ist meiner Antwort ähnlich. Sie formalisieren die Definition der Bogenlänge von Sünde in den folgenden drei Schritten. 1) Definieren arcsin geometrisch 2) Ausdrücken dieser informellen Definition durch Integration 3) Definieren Sünde als Umkehrung von arcsin . Wo Sie den Sqeeuze-Satz verwendet haben, hätten Sie auch den Fundamentalsatz der Analysis und den Umkehrfunktionssatz verwenden können. Dann würdest du meine Antwort bekommen
Ein weiterer Unterschied besteht darin, dass Sie die Bogenlängendefinition und ich die Flächendefinition verwendet haben
@ogogmad Ich verwende kein geometrisches Argument. Eine Funktion F wird ohne Bezugnahme auf die Bogenlängeninterpretation definiert. Beide F und seine Umkehrung hat Eigenschaften. Es lässt sich zeigen, dass die Umkehrfunktion die bekannte Sinusfunktion ist. Und obwohl man die FOC anstelle des Squeeze-Theorems anwenden kann, hat dies keinen Vorteil. Also, warum um alles in der Welt hinterlässt du diese Kommentare?
Denn ich weise darauf hin, dass Ihre abstrakten Definitionen geometrisch sinnvoll sind, ob Sie sich dessen bewusst sind oder nicht. Ich weise auch darauf hin, dass Ihr Squeeze-Argument nur ein Sonderfall von FOC ist
Tatsächlich sind alle oben genannten Argumente moralisch gleich, AFAICT. Die Squeeze-Argumente packen nur den FOC-Beweis auf einen Spezialfall aus. Das FOC selbst wird mit einem sehr ähnlichen Squeeze-Argument bewiesen, wie es die Leute verwenden. Die Bereiche der Sektoren sind einfach die Integrale, die differenziert werden. In tkrs Argument differenziert er stattdessen ein Bogenlängenintegral, was sowieso das gleiche Ergebnis liefert. Es gibt die verbleibende Funktion, die unsere beiden Antworten verwenden arcsin während alle anderen verwenden Sünde ; sie entpacken möglicherweise implizit den Beweis des Umkehrfunktionssatzes.
Ich werde die obige Beobachtung irgendwann zu meiner Antwort hinzufügen
@ogogmad "Abstrakte Definitionen?" Definiere diesen Begriff. Dies sind „rigorose Definitionen“. Und das Squeeze-Theorem ist völlig unabhängig von der FOC. Es ist daher in dieser Anwendung allgemeiner. Es steht Ihnen natürlich frei, Ihre Antwort nach Belieben zu ändern.

Finden ist die Strategie D arcsin j D j Erste. Das geht ganz einfach mit dem Bild unten.

arcsin als Fläche

Aus dem obigen Bild, arcsin j ist die doppelte Fläche des orangefarbenen Bits. Der Bereich des roten Bits ist 1 2 j 1 j 2 . Der Bereich des roten Bits plus des orangefarbenen Bits ist 0 j 1 Y 2 D Y . So

arcsin j = 2 0 j 1 Y 2 D Y j 1 j 2 .
Differenzierung bzgl j gibt D arcsin j D j = 1 1 j 2 . Die Verwendung des Theorems zur Ableitung von Umkehrfunktionen ergibt Sünde ' θ = 1 Sünde 2 θ = cos θ .

(Ähnliches kann mit der Bogenlängendefinition von gemacht werden arcsin .)

Obwohl dies in der Tat ein interessanter Ansatz ist, wurden Integrale an dem Punkt, an dem diese Grenze bewiesen ist, nicht gelehrt. Danke aber für deine Antwort.

Übliche Beweise können zirkulär sein, aber es gibt einen einfachen Weg, eine solche Ungleichheit zu beweisen.

Lassen θ ein spitzer Winkel sein und lassen Ö , A , B , C , D , C ' wie im folgenden Diagramm:Geben Sie hier die Bildbeschreibung ein

Wir können zeigen, dass:

C D ( 1 ) C B ( 2 ) C B ( 3 ) A B

( 1 ) : Das Viereck Ö C D C ' und der Kreissektor begrenzt durch Ö , C , C ' sind zwei konvexe Mengen. Da der Kreissektor eine Teilmenge des Vierecks ist, ist der Umfang des Kreissektors kleiner als der Umfang des Vierecks.

( 2 ) : Die C B Segment ist der kürzeste Weg dazwischen B Und C .

( 3 ) C A B ist also ein rechtwinkliges Dreieck C B A B nach dem Satz des Pythagoras.

Bezüglich θ wir bekommen:

bräunen θ θ 2 Sünde θ 2 Sünde θ
für alle θ [ 0 , π 2 ) . Da die beteiligten Funktionen ungerade Funktionen sind, gilt die umgekehrte Ungleichung ( π 2 , 0 ] , Und lim θ 0 Sünde θ θ = 1 folgt durch Drücken.


Ein etwas anderer Ansatz könnte der folgende sein: Nehmen wir an θ ( 0 , π 2 ) .
Von ( 2 ) Und ( 3 ) wir haben

θ 2 Sünde θ 2 Sünde θ
daher die Reihenfolge { A N } N 0 definiert von A N = 2 N Sünde θ 2 N ist zunehmend und begrenzt durch θ . Jede wachsende und beschränkte Folge ist konvergent, und das haben wir tatsächlich lim N + A N = θ seit B C ist eine korrigierbare Kurve und für jeden N 1 Die A N term ist die Länge einer polygonalen Näherung von B C durch 2 N 1 gleiche Segmente. Insbesondere

θ ( 0 , π 2 ) , lim N + Sünde ( θ 2 N ) θ 2 N = 1
und dies gewährt das, wenn die Grenze lim X 0 Sünde X X existiert, es ist 1 . Von Sünde X X wir bekommen lim sup X 0 Sünde X X 1 , also genügt es, das zu zeigen lim inf X 0 Sünde X X 1 . Das wissen wir bereits für alle X nahe genug am Ursprung der Sequenz Sünde X X , Sünde ( X / 2 ) X / 2 , Sünde ( X / 4 ) X / 4 , konvergiert zu 1 , also sind wir fertig.

Um es kurz zu machen: lim X 0 Sünde X X = 1 folgt aus der Tatsache, dass ein Kreis eine korrigierbare Kurve ist, und ein Kreis eine korrigierbare Kurve ist, weil er die Grenze einer konvexen, begrenzten Teilmenge von ist R 2 . Die Konvexität der Scheibe folgt aus der Dreiecksungleichung: Eine Scheibe ist eine geschlossene Kugel für den euklidischen Abstand.


( 1 ) stützt sich auf dieses mächtige Lemma:

Lemma . Wenn A , B sind konvex beschränkte Mengen in R 2 Und A B , der Umfang von A ist kleiner als der Umfang von B .

Beweis : durch Beschränktheit und Konvexität, A Und B sind korrigierbar, mit Längen L ( A ) = μ ( A ) , L ( B ) = μ ( B ) . Immer durch Konvexität, da ist ein Akkord drin B das trifft das Innere nicht A (eine Tangente an A an einem glatten Punkt funktioniert zum Beispiel). Angenommen, ein solcher Akkord hat Endpunkte B 1 , B 2 B und führen Sie einen Schnitt entlang B 1 B 2 : sowohl die Fläche als auch den Umfang von B abnehmen, aber B bleibt eine umschließende beschränkte konvexe Menge A . Seit A kann durch eine Folge aufeinanderfolgender Schnitte angenähert werden, L ( A ) < L ( B ) folgt.

Spät zur Party, aber ich denke, das ist die nicht-zirkuläre (keine Wortspiele beabsichtigt) Denkweise, die bisher gefehlt hat. Gut gemacht!
Abstimmen! Ich denke, Archimedes hat eine schwächere Form Ihres Lemmas verwendet, um den Umfang eines Kreises zu erhalten.
Tolle Antwort (+1)

Lassen F : { j R : j 0 } R eine durch definierte Funktion sein F ( X ) := Sünde X X für alle X { j R : j 0 } .

Wir haben lim X 0 Sünde X X = 1 wenn und nur wenn für alle ε > 0 , es existiert ein δ > 0 so dass | F ( X ) 1 | < ε wann immer 0 < | X 0 | < δ .

Lassen ε > 0 eine beliebige reelle Zahl sein.

Beachten Sie, dass Sünde X = N = 0 ( 1 ) N X 2 N + 1 ( 2 N + 1 ) ! .

Wenn X 0 , wir haben Sünde X X = N = 0 ( 1 ) N X 2 N ( 2 N + 1 ) ! = 1 + N = 1 ( 1 ) N X 2 N ( 2 N + 1 ) ! .

Wir haben also

| F ( X ) 1 | = | Sünde X X 1 | = | N = 1 ( 1 ) N X 2 N ( 2 N + 1 ) ! | | N = 1 X 2 N ( 2 N + 1 ) ! | N = 1 | X 2 N ( 2 N + 1 ) ! |

Deshalb haben wir

| F ( X ) 1 | N = 1 | X 2 N ( 2 N + 1 ) ! | N = 1 | X 2 N | = N = 1 | X 2 | N

Wenn 0 < | X | < 1 , Dann 0 < | X 2 | < 1 , und die unendliche Reihe N = 1 | X 2 | N konvergiert zu X 2 1 X 2 .

Wählen δ := ε 1 + ε . Dann 0 < | X 0 | < δ impliziert, dass 0 < | X | < ε 1 + ε < 1 , und daher X 2 < ε ε X 2 . Aber X 2 < ε ε X 2 impliziert, dass X 2 1 X 2 < ε .

Wir haben daher N = 1 | X 2 | N < ε wann immer 0 < | X 0 | < δ . Aber seit | F ( X ) 1 | N = 1 | X 2 | N , wir haben | F ( X ) 1 | < ε wann immer 0 < | X 0 | < δ .

Seit ε war willkürlich, wir haben lim X 0 Sünde X X = 1 .

Die Prämisse der Frage war, keine Potenzreihen zu verwenden.

Lassen Sünde ( X ) ist als Lösung von definiert D 2 D X 2 F ( X ) = F ( X ) mit F ( 0 ) = 0 , D D X F ( 0 ) = C Anfangsbedingungen, also exakte Lösung ist F ( X ) = C Sünde ( X ) . Definiere die zweite Ableitung als

D 2 D X 2 F ( X ) = lim Δ X 0 F ( X ) F ( X Δ X ) Δ X F ( X Δ X ) F ( X 2 Δ X ) Δ X Δ X = = lim Δ X 0 F ( X ) 2 F ( X Δ X ) + F ( X 2 Δ X ) Δ X 2
Wir können dieses Limit leicht auf beliebige (?) Funktionen überprüfen. In ähnlicher Weise können wir die erste Ableitung für rechte, mittlere und linke Punkte definieren:
D D X F ( X ) { = lim Δ X 0 F ( X ) F ( X Δ X ) Δ X = lim Δ X 0 F ( X Δ X ) F ( X 2 Δ X ) Δ X = lim Δ X 0 F ( X ) F ( X 2 Δ X ) 2 Δ X
Verwenden wir die Finite-Elemente-Methode unter der Annahme T D = Δ X , j N = F ( X ) , j N 1 = F ( X Δ X ) , j N 2 = F ( X 2 Δ X ) Differentialgleichung überschreiben als
j N 2 j N 1 + j N 2 T D 2 = j N
Löse nun diese implizite Gleichung nach j N um eine explizite Wiederholungsbeziehung zu erhalten:
j N = 2 j N 1 j N 2 1 + T D 2
Unter Verwendung einer beliebig kleinen, aber von Null verschiedenen Größe Td können wir eine exponentiell abfallende, abgetastete Sinusfunktion darstellen (da die Pole innerhalb des Einheitskreises der Übertragungsfunktion liegen, die der gegebenen Wiederholungsbeziehung entspricht). Analog schreiben wir drei Systeme für die Anfangsbedingungen:

{ j N = 2 j N 1 j N 2 1 + T D 2 C = j N j N 1 T D
{ j N = 2 j N 1 j N 2 1 + T D 2 C = j N 1 j N 2 T D
{ j N = 2 j N 1 j N 2 1 + T D 2 C = j N j N 2 2 T D
Lösen Sie diese Folge von Gleichungen nach j N 1 Und j N 2 :
{ j N 1 = C T D + j N j N 2 = 2 C T D + j N ( 1 T D 2 )  
{ j N 1 = C T D + j N ( 1 + T D 2 ) j N 2 = 2 C T D + j N ( 1 + T D 2 )  
{ j N 1 = C T D + j N ( 1 + T D 2 2 ) j N 2 = 2 C T D + j N  
Am Nullpunkt j N = F ( 0 ) = 0 und wir können eine lineare Abhängigkeit sehen:
j N 1 = C T D j N 2 = 2 C T D
für alle drei Lösungen. Zurück ersetzen:
F ( 0 ) = 0 F ( 0 Δ X ) = C Δ X F ( 0 2 Δ X ) = 2 C Δ X
Also alle drei D D X F ( 0 ) Grenzen gleich ist C bei X = 0 und gem F ( X ) = C Sünde ( X ) Per Definition können wir schreiben
lim Δ X 0 F ( 0 ) F ( 0 Δ X ) Δ X = lim Δ X 0 0 ( C Δ X ) Δ X = C
Daher
lim Δ X 0 Sünde ( 0 ) C Sünde ( 0 Δ X ) Δ X = lim Δ X 0 C Sünde ( Δ X ) Δ X = C lim Δ X 0 Sünde ( Δ X ) Δ X = C
Und lim Δ X 0 Sünde ( Δ X ) Δ X = 1

Dies ist zwar eine außergewöhnlich gute Antwort, aber für das Niveau (High School), auf dem ich die Frage gestellt habe, nicht wirklich geeignet, da die Berechnung dieser Grenze eine Einführungsübung in Differentiale ist. Außerdem haben wir definiert Sünde geometrisch (dh durch die Beziehung zwischen Winkeln und Seiten in einem rechtwinkligen Dreieck), also müssen Ihre Voraussetzungen zuerst geschaffen werden.
@FUZxxl ist dir klar, dass Benutzer mit unterschiedlichem Niveau und mathematischem Hintergrund diese Frage überprüfen können? Die oben gegebene Antwort könnte für sie hilfreich sein.

Einfacher ist die Verwendung des Sandwich-Theorems, das zuvor demonstriert wurde. In dieser Methode müssen Sie das zeigen Sünde X X liegt zwischen zwei anderen Funktionen. Als X 0 beide tendieren zu EINS.

Dann wie im Fall von Sandwich (wenn beide Brotteile in einen Magen gehen, geht auch der mittlere Teil in denselben Magen) Sünde X X wird zu EINS gehen.

Sie können Geogebra verwenden, um die Visualisierung dieses Phänomens mit Geogebra zu sehen. Zuerst geben Sie ein Sünde X Und X und beobachte das in der Nähe 0 Werte von Sünde X Und X sind gleich.

Zweitens Eingang Sünde X X dann beobachten Funktion nähert sich 1 als X neigt dazu 0

Dies beschreibt das Sandwich-Theorem, beantwortet aber nicht die Frage. Dies sollte bestenfalls ein Kommentar zu der Frage sein,

Ursprünglich auf den Beweisen ohne Worte gepostet , hier ist ein einfaches Bild, das die Ableitung von erklärt Sünde ( X ) , die, wie wir alle wissen, in direktem Zusammenhang mit der vorliegenden Grenze steht.

Geben Sie hier die Bildbeschreibung ein

Wenn man nicht so überzeugt ist, werfen Sie einen Blick auf das obige Bild und bemerken Sie, dass wenn u ± H liegt also im ersten Quadranten

Sünde ( X + H ) Sünde ( X ) H < cos ( X ) < Sünde ( X H ) Sünde ( X ) H


Beachte das

D D X Sünde ( X ) = lim H 0 Sünde ( X + H ) Sünde ( X ) H Bild oben = lim H 0 Sünde ( X ) cos ( H ) + cos ( X ) Sünde ( H ) Sünde ( X ) H cos ( X ) = lim H 0 Sünde ( X ) cos ( H ) 1 H + cos ( X ) Sünde ( H ) H cos ( 0 ) = lim H 0 Sünde ( H ) H

Beachten Sie, dass Ihre Begründung zirkulär ist: Um die Ableitung von zu beweisen Sünde , müssen wir die Grenze von kennen Sünde H H . Der Versuch, die Grenze umgekehrt zu beweisen, ist kontraproduktiv.
@FUZxxl nein eigentlich, der springende Punkt war ein geometrischer Beweis der Tatsache.
@FUZxxl Falls du damit immer noch unzufrieden bist, gibt es einen ganzen Beitrag zum Thema .
@FUZxxl Da Sie immer noch unglücklich zu sein scheinen, habe ich eine bessere Sache vom Typ "Squeeze Theorem" für die Ableitung von hinzugefügt Sünde ( X ) .

Die Antwort hängt letztendlich davon ab, wie Sie definieren Sünde X an erster Stelle.

Hier ist ein lustiger! Sünde X ist die einzigartige Funktion befriedigend

j = j ; j ( 0 ) = 0 , j ' ( 0 ) = 1
Durch die Theorie der gewöhnlichen Differentialgleichungen eine eindeutige Funktion, die auf einem bestimmten Intervall definiert ist 0 existiert. Jetzt, wo wir angerufen haben Sünde X , wir sehen das
Sünde X X = Sünde X Sünde 0 X 0 j ' ( 0 ) = 1   ,
per Definition von Derivat at X = 0 und die Anfangsbedingungen definieren j ( X ) = Sünde X   .

Ich mag diese Antwort, obwohl sie damals für mich nicht sehr nützlich gewesen wäre.

Bereiche

Dies ist eine Variante von Robjohns Antwort. Das Gebiet des Sektors A D E Ist 1 2 X cos 2 ( X ) ; die Fläche des Dreiecks A B C Ist 1 2 Sünde ( X ) ; und das Gebiet des Sektors A B C Ist 1 2 X . Durch Einbeziehung finden wir das z 0 < X < π 2 ,

1 2 X cos 2 ( X ) 1 2 Sünde ( X ) 1 2 X .
Wenn wir jeden Term in dieser Ungleichung mit multiplizieren 2 X erhalten wir die notwendigen Schranken, um den Squeeze-Theorem anzuwenden:
cos 2 ( X ) Sünde ( X ) X 1 .
Diese Ungleichung gilt auch für π 2 < X < 0 , da alle drei Funktionen in der Ungleichung gerade sind.

Seit cos ist stetig bei 0 , Und ( ) 2 ist stetig bei cos ( 0 ) , die Funktion X cos 2 ( X ) ist stetig bei 0 , dh

lim X 0 cos 2 ( X ) = 1 .
Daher gilt nach dem Squeeze-Theorem
lim X 0 Sünde ( X ) X = 1 .

Auch diese Herangehensweise gefällt mir. Das ist vergleichbar mit Sünde X < X < bräunen X .
Dies ist eine späte Antwort, aber es ist ein guter Ansatz.

Hier ist ein anderer Ansatz.

Geben Sie hier die Bildbeschreibung ein(1) Bild 2(2)

Im großen Dreieck

bräunen ( θ ) = Ö P P A D G = z 1 = z
Das Dreieck hat also Höhe
z = bräunen ( θ )
und Basis 1 so ist seine Fläche
A R e A ( B ich G T R ich A N G l e ) = 1 2 z = 1 2 bräunen ( θ )

Als nächstes ist die Sektorfläche als Bruchteil des gesamten Kreises, der Sektor (siehe rechte Seite von Bild (1))

θ 2 π
des gesamten Kreises, so dass seine Fläche ist

A R e A ( S e C T Ö R ) = θ 2 π ( π ) ( 1 ) 2 = θ 2
Das Dreieck innerhalb des Sektors hat Höhe j . Aber j = j 1 = Ö P P H j P = Sünde ( θ ) Das kleine Dreieck hat also Höhe j = Sünde ( θ ) und Basis 1 so ist seine Fläche
A R e A ( S M A l l T R ich A N G l e ) = 1 2 j = 1 2 Sünde ( θ )
Jetzt können wir das Sandwich-Theorem als verwenden
A R e A ( B ich G T R ich A N G l e ) A R e A ( S e C T Ö R ) A R e A ( S M A l l T R ich A N G l e )

unter Verwendung der Gleichungen, die wir oben ausgearbeitet haben, wird dies

bräunen ( θ ) 2 θ 2 Sünde ( θ ) 2
jetzt mit zwei multiplizieren und die Tatsache verwenden, dass
bräunen ( θ ) = Sünde ( θ ) cos ( θ )
wir bekommen das
Sünde ( θ ) cos ( θ ) θ Sünde ( θ )
Das Nehmen von Reziprokwerten ändert die Ungleichungen, also haben wir das
cos ( θ ) Sünde ( θ ) 1 θ 1 Sünde ( θ )
nun endlich durch multiplizieren mit Sünde ( θ ) wir bekommen
cos ( θ ) Sünde ( θ ) θ 1
Jetzt
lim θ 0 cos ( θ ) = 1
Und
lim θ 0 1 = 1

so nach dem Sandwich-Theorem

lim θ 0 Sünde ( θ ) θ = 1
Auch. QED

Dies ist ein neuer Beitrag auf einer alten Säge, weil dies eines der Dinge ist, bei denen ich sehe, dass die Art und Weise, wie wir den aktuellen Mathe-Lehrplan strukturiert haben, dies leider nur allzu traurig macht Dinge die Gerechtigkeit, die sie verdienen, und ich denke, das ist letzten Endes ein Bärendienst für viele Lernende.

Die Wahrheit ist, dass diese Grenze ohne eine ehrliche Definition der Sinusfunktion nicht wirklich ehrlich bewiesen werden kann. Und das ist nicht so einfach, wie es scheint. Selbst wenn wir die einfache Vorstellung vieler trigonometrischer Behandlungen berücksichtigen, dass der Sinus gleich der "Länge der gegenüberliegenden Seite des rechtwinkligen Dreiecks dividiert durch die Länge seiner Hypotenuse" ist, löst dies das Problem nicht wirklich, da es tatsächlich a gibt subtiles fehlendes Element, und das heißt, der Sinus ist keine Funktion eines "rechtwinkligen Dreiecks" (obwohl Sie das definieren könnten, wenn Sie wollten, und es wäre einfach!), sondern eines Winkelmaßes. Und tatsächlich herauszufinden, was "Winkelmaß" bedeutet, stellt sich heraus, ist im Wesentlichen gleichbedeutend damit, die Sinusfunktion überhaupt zu definieren, also ist dieser Ansatz kreisförmig! (Wortspiel nach dem Schreiben beachtet, obwohl es ursprünglich nicht beabsichtigt war!)

Wie definieren wir also Sinus oder Winkelmaß? Leider ist jeder Ansatz dazu so, dass er Kalkül beinhalten muss . Dies liegt daran, dass das von uns verwendete Winkelmaß "glatt und stetig" ist, was bedeutet, dass wir im Grunde, wenn wir einen Winkel haben, dieses Winkelmaß fraktionieren möchten, um den Winkel auf die gleiche Weise zu fraktionieren wie Stücke eines Kuchens zu zerschneiden: wenn ich einen Winkel mit dem angegebenen Winkelmaß habe θ , damit das Maßsystem funktioniert, sollte ich dann in der Lage sein, einen Winkel mit Maß zu erzeugen θ N , sollte ein Winkel sein, der geometrisch der ist N -Abschnitt des Winkels in N kongruente kleinere Winkel, die sich zum Vollwinkel addieren.

Doch schon hier sehen wir, dass dies nicht trivial ist: Überlegen Sie N = 3 . Dann haben wir das berühmte "unmögliche" Problem der "Dreiteilung des Winkels", das sogar die alten Griechen ärgerte und für das die Leute immer wieder zu hämmern versuchten, bis Pierre Wantzel über zweitausend Jahre später endlich bewies, dass es unlösbar ist . Wir fragen nach einem mathematischen Widget, das nicht nur dreiteilen kann, sondern auch 5-, 629-, usw. Winkel und das auf systematische Weise !

In der Tat ist die Sinusfunktion nicht nur nicht trivial, wir könnten argumentieren, dass sogar die Exponentialfunktion erheblich einfacher zu behandeln ist als der Sinus, obwohl ich eine solche Behandlung hier nicht geben werde.

Also, wie machen wir es? Nun, die wichtigste Beobachtung ist, dass unser "stetiges" Winkelmaß eines ist, das effektiv durch die Bogenlänge eines Kreissegments definiert ist, das durch den Winkel geschnitten wird, wenn es in der Mitte des Kreises gezeichnet und nach außen projiziert wird. Insbesondere sollte dies aus der (zirkulär eingeführten) geometrischen Formel "offensichtlich" sein

Länge des Kreisbogens = R θ

Da dies nur eine triviale Multiplikation ist, muss die gesamte Nichttrivialität in beiden Definitionen enthalten sein θ in Bezug auf geometrische Winkel, die durch Linien gebildet werden, oder in Bezug auf die Definition der "Länge eines Kreisbogens", und außerdem müssen diese beiden Probleme gleich schwer sein. Daher werden wir zuerst mit der Bogenfrage beginnen, und man wird sehen, dass diese Antwort am Ende ziemlich viel Calculus II-Material verwenden wird, um diese Calculus I-Level-Frage über ein angeblich vor-Calculus mathematisches Objekt zu beantworten . In der Tat ist dies das ganze „Bogenmaß“: Es ist ein Maß für Winkel in Bezug auf die Bogenlänge des Stücks, das sie von einem Einheitskreis schneiden (dh R = 1 ). "Grad", sind dann nur ein seltsames Vielfaches von tatsächlicher Länge, gleich 2 π 360 (oder besser, τ 360 ) einer anderen Einheitslänge.

Wenn Sie ein etwas ehrlicheres Trigonometrie-Buch verwenden, werden Sie feststellen, dass Sinus und Cosinus im Wesentlichen als Koordinaten auf einem Einheitskreis definiert sind, wenn ein Winkel gemessen wird θ wurde von der eingelagert X -Achse:

C ( θ ) := ( cos ( θ ) , Sünde ( θ ) )

Nun wie oben gesagt, θ Bogenlänge ist . Was wir also oben haben, ist eine sogenannte Bogenlängenparametrisierung des Kreises - und das sagt uns, wie wir vorgehen müssen. Zunächst benötigen wir eine separate Definition der Bogenlänge eines Kreises.

Wie bekommen wir das hin? Nun, wir werden natürlich zuerst eine elementarere Kreisgleichung brauchen als die, die wir gerade gegeben haben, und das bedeutet, zur einfachen algebraischen Definition überzugehen,

X 2 + j 2 = 1

so dass wir jetzt mit der guten alten Algebra lösen können X Und j mindestens im Halbkreis:

X ( j ) = 1 j 2
j ( X ) = 1 X 2

Und hier müssen wir dann das Konzept auf Calculus II-Niveau einführen – nämlich die Integration für die Bogenlänge. Die Bogenlänge, die zwischen zwei Werten von überstrichen wird X -Koordinate, für eine mit gegebene Kurve j als Funktion von X , Ist

Bogenlänge ( X 1 , X 2 ) := X 1 X 2 1 + ( D j D X ) 2 D X

Daher jetzt für den Kreis D j D X = 1 2 ( 1 X 2 ) 1 / 2 ( 2 X ) = X 1 X 2 , So

Bogenlänge ( X 1 , X 2 ) = X 1 X 2 1 + X 2 1 X 2 D X

was vereinfacht zu

Bogenlänge ( X 1 , X 2 ) = X 1 X 2 1 1 X 2 D X

Nun verwenden wir den Fundamentalsatz der Analysis, um den inversen Sinus zu definieren als

arcsin ( X ) := 0 X 1 1 ξ 2 D ξ

Das ist die Bogenlänge in Bezug auf die Koordinate , und jetzt ist der Sinus seine inverse Koordinate in Bezug auf die Bogenlänge :

Sünde ( θ ) := arcsin 1 ( θ )

.

Endlich, an dieser Stelle, mit einer vollständigen, wasserdichten Definition von Sünde ( X ) jetzt in der Hand, sind wir bereit, das Limit auszuwerten:

lim X 0 Sünde ( X ) X

Da die "echte" oder Basisfunktion hier wirklich die Umkehrfunktion ist , dh arcsin , gehen wir zunächst vor, indem wir eine Änderung der Variablen vornehmen: Wir betrachten stattdessen die Grenze in Bezug auf j Wo j ( X ) := arcsin ( X ) . Beachten Sie, dass trivialerweise arcsin ( 0 ) = 0 aus der integralen Definition erhalten wir also

lim X 0 Sünde ( X ) X = lim j 0 j arcsin ( j )

Nun brauchen wir für die rechte Grenze nur das Verhalten von zu betrachten arcsin ( j ) Wenn j ist klein. Da der Integrand 1 1 X 2 , ist bei differenzierbar X = 0 , es kann mit seiner Tangentenlinie angenähert werden (was eigentlich auch so sein sollte, wie wir Tangentenlinien überhaupt definieren , als "beste Annäherung", ein Begriff, der auf luftdichte , intuitive Weise durch die Verwendung von a durchgeführt werden kann "Zoom-in") und so auch das Integral über einen winzigen Splitter für Integral derselben Tangentenlinie. Nach der Potenzregel und der Kettenregel

D D X 1 1 X 2 = D D X ( 1 X 2 ) 1 / 2 = ( 1 2 ) ( 1 X 2 ) 3 / 2 ( 2 X ) = X ( 1 X 2 ) 3 / 2

also die Ableitung bei X = 0 Null ist und die Tangente horizontal ist: da auch 1 1 X 2 bewertet bei X = 0 Ist 1 , die Tangente ist

T ( X ) := 1

somit

0 j 1 1 ξ 2   D ξ 0 j 1   D ξ

Wenn j 0 , und dann ist das rechte Integral ungefähr j , somit arcsin ( j ) j Wenn j 0 Und

lim j 0 j arcsin ( j ) = lim j 0 j j = lim j 0 1 = 1

somit

lim X 0 Sünde ( X ) X = 1

QED.

Nichtsdestotrotz löst dies, wie ich bereits erwähnt habe, nicht die Anforderungen der Frage, die, obwohl ich sicher bin, dass ihr ursprünglicher Fragesteller schon lange weitergezogen ist, dennoch für jeden Kalkülstudenten bis heute relevant ist: beweise die Grenze nur unter Verwendung von Calculus I/Pre-Calculus-Methoden. Was ich sagen will, ist, dass dies ehrlich gesagt nicht wirklich möglich ist und eine Schwäche des Lehrplans offenbart, da er nicht wirklich dem richtigen logischen Aufbau des mathematischen Gebäudes folgt.

Was wirklich getan werden sollte, ist, trig für später aufzuheben , d. h. trig zu überspringen und zuerst mit Calculus zu beginnen. Als ich alleine Mathematik studiert habe, habe ich genau das getan. Tatsächlich würde ich sagen, wie viele Pädagogen vorgeschlagen haben, dass die meisten Menschen beides nicht brauchen, sondern stattdessen mehr Statistiken brauchen. Dann haben wir für diejenigen, die höhere Mathematik betreiben , wenn wir Algebra und Statistik gemacht haben, bereits eine Menge interessantes Material, auf dem wir für die Analysis aufbauen können, einschließlich der Exponentialfunktion. Es besteht keine Notwendigkeit, trigonometrische Funktionen hinzuzufügen, um "die Mischung zu versüßen", wenn sie bereits mit Integralen algebraischer Funktionen wie süß ist X 1 X 2 Dies ist ein sehr schönes Beispiel für die Bereichsintegrationsbeziehung, und dies kann, wenn es stärker betont wird, möglicherweise zu einem differenzierteren Nachdenken über Integrale einladen, als nur "Integrationsregeln einstecken und tuckern". Insbesondere mit einem begrenzteren Satz von Funktionen können wir über andere Möglichkeiten nachdenken, wie wir sie so angehen könnten, und / oder eine Vielzahl von Möglichkeiten, das Integral zu interpretieren, was meiner Meinung nach nur gut sein kann, um kreativer zu werden Nachdenken über Probleme und weniger Bohren in Methoden mit wenig wirklichem Verständnis (und das Auswendiglernen von Integralen ist jetzt mit Computeralgebra-Software noch weniger relevant; wichtiger ist es, ein Problem wirklich zu verstehen und wie seine Teile zusammenpassen und zu einer Lösung führen. Das gesagt,Entweder, aber ich schlage vor, dass Ideen, Konzepte und Kreativität zuerst kommen sollten, dann kommen Sie in diese Techniken, weil sie sehr oft auch noch nützlich für die Analyse sind und wenn Sie sie fließend beherrschen, können Sie auch Probleme schneller lösen, z Sie möchten in der Grundschule nicht ständig Ihren Taschenrechner für 2 + 3 aufschlagen und Sie möchten nicht ständig Ihren CAS aufschlagen, um sich zu integrieren X X 2 ). Darüber hinaus haben wir jetzt effektiv zwei verschiedene Funktionen – Logarithmus und Trigonometrie – die wir durch Integrale definieren, was auch bedeutet, dass wir davon ausgehen können, dass wir hier nicht aufhören müssen, und dies entlarvt die Künstlichkeit der Heiligkeit von so -genannt "elementare Funktionen" und erlaubt uns, vielleicht noch ein paar weitere Kunstgriffe dieser Art zu betrachten e R F ( X ) was nicht allzu viel schwieriger erscheint, aber stattdessen antworten wir einfach darauf

e X 2   D X

"geht nicht", was sich angesichts der Tatsache, dass man solche Dinge schon früh gesehen hat, wie ein weiterer elender Schwindel / Schönheitsfehler im Lehrplan anfühlt.

Und um das Ganze abzurunden - wenn Sie sagen, dass Calc nicht vor dem Triggern durchgeführt werden kann, würde ich sagen, dass Archimedes zu schade ist, dass er nicht hier ist, da er Ihre Meinung wahrscheinlich nicht geteilt hätte, da er tatsächlich einer der frühesten war sogar einen partiellen Integrationsbegriff zu entwickeln , und nicht nur das, sondern eine seiner Anwendungen davon war gerade die Darstellung der Bogenlänge eines Kreises: deshalb π heißt Archimedes-Konstante.

Wenn die (reelle) Exponentialfunktion einfacher zu definieren ist als die trigonometrischen Funktionen, warum dann nicht über die imaginäre Exponentialfunktion gehen? Und übrigens, θ ist keine Bogenlänge, außer für den Einheitskreis. Sie ist nur proportional zur Bogenlänge. Eine intuitive Art, über Theta nachzudenken, besteht darin, Rotationen zu denken.
Es gibt viele andere kleine „Fehler“ – sagen wir – auf die hier reagiert werden muss, aber nun ja, um einige Kalküle richtig gut zu machen, braucht man einige nichtalgebraische Funktionen – die Exponentialfunktion, sowohl reell als auch imaginär, genügt mit ihrer Umkehrung. Warum wir diese elementar nennen. Nun, ähnlich wie Sie bemerkt haben – es ist ziemlich einfach, die Exponentialfunktion analog zu Addition und Multiplikation einzuführen – zumindest am Anfang. Daher kann man viele dieser Funktionen ohne Kalkül lernen. Beachten Sie jedoch, dass selbst alle algebraischen Funktionen ohne Analysis noch nicht vollständig verstanden sind -- in ...
...insbesondere die Annahmen, die wir über die Kontinuität und Glätte von Polynomen vor der Berechnung treffen, sind genau das - eine Annahme. Wenn wir also Ihrem Vorschlag perfekt folgen wollten, sollten wir überhaupt keine Funktionen studieren, bis wir die Analysis gelernt haben – ich weiß nicht, ob das möglich ist. Die nicht-elementaren Funktionen entstehen nicht analog zu dem Versuch, die elementaren Operationen fortzusetzen (das gute Verhalten hört mit der Potenzierung auf), also werden wir durch fortgeschrittenere Streifzüge in sie eingeführt – wie der Versuch, elementare Funktionen zu integrieren. Im Allgemeinen kann Lernen nie gemacht werden ...
... ausreichend linear logisch, um unseren Geschmack zu treffen. Wir müssen die Realität annehmen, wie sie manchmal ist, wenn wir keine Wahl haben. Es ist unmöglich, alle Gründe und Beweise der Dinge im Laufe der Zeit zu lernen – oft muss man einige Dinge vertrauensvoll annehmen und erst später (wenn überhaupt) zurückkommen, um zu verstehen, warum sie so waren. So ist es immer, ob in der Mathematik oder im Leben allgemein. Angesichts all der Einschränkungen, die uns das Universum auferlegt, können wir es uns einfach nicht leisten, der linearen Methode zu folgen.
@Allawonder: Ich habe erwähnt, dass das Bogenmaß speziell mit einem Einheitskreis definiert ist. Mein Punkt war, dass das Messen von Winkeln, wie wir es tun, dem Messen der Bogenlänge eines Kreises entspricht . Nachdem ich dies geschrieben hatte, wurde mir jedoch auch klar, dass eine einfachere Methode darin bestehen könnte, die wiederholte Halbierung eines Winkels zu betrachten, aber Sie benötigen immer noch einen Grenzwertprozess, um alle nicht-dyadischen Punkte auszufüllen, und dies kann beginnend mit der Definition Gradmaße einführen dass ein rechter Winkel mit 90 Grad zu messen ist.
Und das gilt in jedem Fall, denn das Winkelmaß und die Bogenlänge in passender Einheit sind ein und dasselbe . Daher müssen sie gleich "hart" sein.
Auch in Bezug auf die reale Linie - ja, es stimmt, dass technisch sogar elementare Algebra auf R erfordert "Kalkül" in diesem Sinne, weil der reelle Zahlenstrahl selbst als die Essenz des Kalküls angesehen werden könnte , und tatsächlich motiviert das seine Definition. Ich denke jedoch, dass das intuitive Bild der Linie als "Linie" für elementar-algebraische Anforderungen eigentlich ausreichend ist, ohne auf das Wesentliche der Mikrostruktur einzugehen. Der größte Schwachpunkt für mich ist die Verwendung von unendlichen Dezimalstellen - was viele Leute dazu bringt
hartnäckiges Missverständnis bzgl 0,9999... 1 , etwas, das ohne näheres Hinsehen nicht wirklich eines Besseren belehrt werden kann. Meine Lösung dafür ist, sich einfach nicht um unendliche Dezimalstellen zu kümmern. Bleiben Sie bei endlichen Dezimalzahlen und sagen Sie, dass die meisten reellen Zahlen nur angenähert werden können.
Sie müssen die Bogenlänge nicht verwenden, um den Winkel zu definieren. Sie können beweisen, dass der Grenzwert von sin(x) / x gleich 1 ist, direkt aus den Winkelpostulaten der euklidischen Geometrie, ohne jemals die Bogenlänge heranzuziehen. Siehe diesen Zeitschriftenartikel: jstor.org/stable/2689051

Wie wäre es mit diesem Beweis?

Wir können diese Funktion überprüfen, die als definiert ist

M M e 2 π ich k X D k
stetig ist und einen Wert hat 2 M bei X = 0 .

Genauso ist es mit

M M e 2 π ich k X D k = e 2 π ich M X e 2 π ich M X 2 π ich X = Sünde 2 π M X π X

Abschließend,

lim X 0 Sünde 2 π M X π X = lim X 0 M M e 2 π ich k X D k = 2 M

Sie können sich anpassen M wie du willst.

Lassen Sie mich der Vollständigkeit halber einen axiomatischen Ansatz vorschlagen Sünde Und cos . Eine mögliche Definition ist hier . Ich finde eine andere (Ilyin, Poznyak: Fundamentals of Mathematical Analysis, 2005, vol.1, pages 146-155, Russian lang.), die behauptet, dass es nur ein Paar stetiger Funktionen gibt R wofür erfüllen

S ( X + j ) = S ( X ) C ( j ) + S ( j ) C ( X )
C ( X + j ) = C ( X ) C ( j ) S ( j ) C ( X )
S 2 ( X ) + C 2 ( X ) = 1
S ( 0 ) = 0 , S ( π 2 ) = 1 , C ( 0 ) = 1 , C ( π 2 ) = 0
Aus diesen Axiomen lassen sich monotone Eigenschaften ableiten und insbesondere beweisen, dass z X ( 0 , π 2 ) hält 0 < S ( X ) < X < S ( X ) C ( X ) . Die Verwendung von Last ist einfach zu erhalten
lim X 0 S ( X ) X = 1

Wo wird die Definition von Pi verwendet? Ich frage, weil anscheinend der gesamte Beweis auf den letzten Satz mit den Ungleichungen 0<S(x)<x<S(x)/C(x) verwiesen wird, die nur gelten, wenn Sie Radiant verwenden
Quelle zur Antwort hinzugefügt. Aus dem Beweis ist ersichtlich, dass anstelle von π 2 , es kann jede genommen werden D > 0 . Verbindung mit Kreis, ergibt sich dann aus der Definition von π basierend auf Kreis en.wikipedia.org/wiki/Pi#Definition
Ich frage nicht wörtlich nach der Definition von Pi. Ich frage Sie, wie Sie die Ungleichung herleiten, da sie nicht ohne weiteres aus den angegebenen formalen Eigenschaften folgt
Woher weiß ich, ob Sie wörtlich fragen oder nicht? Du hast eine Frage gestellt, ich habe geantwortet. Je genauer Ihre Fragen sind, desto genauer werden meine Antworten sein. Sie haben gefragt, wo Pi verwendet wird - Sie können es in der vierten Zeile sehen. Sie stellen fest, dass "es nicht einfach folgt", aber das Wort einfach ist subjektiv und hängt von der Person ab. In meinem Kommentar habe ich vor Ihrer Frage auf 9 Seiten in die Antwort einen Hinweis auf die Quelle des Nachweises aufgenommen, wo die erforderlichen Eigenschaften erhalten werden. Ich überlasse es dem Leser zu entscheiden, was leicht und was schwierig ist.

Wir können auch die Euler-Formel verwenden, um den Grenzwert zu beweisen:

e ich X = cos X + ich Sünde X

lim X 0 Sünde X X = lim X 0 e ich X e ich X 2 ich X

= lim X 0 e 2 ich X 1 2 ich X × 1 e ich X = 1 × 1 = 1

seit:

lim F ( X ) 0 e F ( X ) 1 F ( X ) = 1

Wenn Sie am Ende ein "bekanntes" Limit verwenden, warum tun Sie das nicht am Anfang?

Hier ist ein Beweis für diejenigen, die mit Potenzreihen vertraut sind.

Die Definition von Sünde ( X ) Ist

Sünde ( X ) = k = 0 ( 1 ) k ( 2 k + 1 ) ! H 2 k + 1

Deshalb bekommen wir

lim X 0 Sünde ( X ) X = lim X 0 k = 0 ( 1 ) k ( 2 k + 1 ) ! X 2 k + 1 X = lim X 0 k = 0 ( 1 ) k ( 2 k + 1 ) ! X 2 k = 1 + lim X 0 k = 1 ( 1 ) k ( 2 k + 1 ) ! X 2 k = 1

wobei wir die Tatsache ausgenutzt haben, dass die Potenzreihe k = 1 ( 1 ) k ( 2 k + 1 ) ! X 2 k Konvergenzradius hat R = und ist daher kontinuierlich an R . Dies ermöglicht es uns, die Grenze nach innen zu nehmen und wir bekommen

lim X 0 k = 1 ( 1 ) k ( 2 k + 1 ) ! X 2 k = k = 1 ( 1 ) k ( 2 k + 1 ) ! 0 2 k = 0

Vergleichen Sie mit this answer und this answer , die beide Potenzreihen verwenden.
Die Prämisse der Frage ist, keine Potenzreihen zu verwenden.
@FuZxxl Das hängt davon ab, wie Sie "Sinus" definieren. Die Definition, dass Sinus das Verhältnis der gegenüberliegenden Seite zur Hypotenuse ist, ist sehr vage, wenn sie als Beweis verwendet wird. Daher können Sie wählen, Sinus als das zu definieren, was Philmcole vorgeschlagen hat, wobei dies veranschaulicht, dass sin x das Verhältnis ist, dann können Sie die Grenze mit der Potenzregel finden.
@KelvinChan Sie können, aber wie ich bereits in einer Reihe anderer Kommentare erklärt habe, ist die Definition, die auf dem Verhältnis zwischen gegnerischer Kathete und Hypothenuse basiert, zu verwenden.

Dies ist kein rigoroser Beweis, sondern ein intuitives Argument. Betrachten Sie den Graphen der Sinusfunktion und berücksichtigen Sie insbesondere den Ursprung ( 0 , 0 ) und irgendein willkürlicher Punkt ( X , Sünde ( X ) ) etwas rechts davon. Verbinden Sie eine Sekanslinie zwischen den beiden Punkten wie folgt: Geben Sie hier die Bildbeschreibung einBetrachten Sie nun die durchschnittliche Änderungsrate der Sinusfunktion in diesem Intervall [ 0 , X ] , oder alternativ die Steigung M dieser Sekantenlinie, nämlich:

M ( X ) = Sünde ( X ) Sünde ( 0 ) X 0
Aber klar, das ist gerecht
M ( X ) = Sünde ( X ) X
Aber dann "eindeutig" (wieder, dies ist nur für intuitive Zwecke), als X 0 nähert sich die Steigung dieser Sekanten der Steigung der Tangente an den Graphen an X = 0 (dh es nähert sich was auch immer Sünde ' ( 0 ) sollte sein). Wenn man sich dann die Grafik ansieht, sollte es nicht allzu unvernünftig erscheinen, dass dieses Begrenzungsverfahren zu a führt 45 -Grad Diagonaltangente, also eine Steigung von 1 .

Dies wurde bereits vorher gesagt.

Hier ist ein raffinierter Trick mit elementaren Integrationsmethoden. Beachten Sie, dass

0 1   cos ( X T )   D T = [ 1 X Sünde ( X T ) ] 0 1 = Sünde ( X ) X Sünde ( 0 ) X = Sünde ( X ) X .
Somit,
lim X 0 Sünde ( X ) X = lim X 0 0 1   cos ( X T )   D T = 0 1 cos ( 0 )   D T = 1.

Gibt es eine Möglichkeit, die Stammfunktion von zu kennen? cos ohne die fragliche Grenze zu kennen? Ich meine, die fragliche Grenze wird normalerweise verwendet, um das zu beweisen Sünde ' = cos .

Diese geometrische Lösung ergibt sich aus dieser Frage gemäß der folgenden Skizze

Geben Sie hier die Bildbeschreibung ein

wir haben

A R e A ( Ö B P ) A R e A ( Ö A P ) A R e A ( Ö B P ) + A R e A ( A B P Q )

das ist

1 2 cos X | Sünde X | 1 2 1 | X | 1 2 cos X | Sünde X | + ( 1 cos X ) | Sünde X | = | Sünde X | 1 2 cos X | Sünde X |

und dividieren durch 1 2 | Sünde X | > 0

cos X | X | | Sünde X | 2 cos X

und da | X | | Sünde X | = X Sünde X > 0 für X 0 wir erhalten

cos X X Sünde X 2 cos X

schließlich durch Squeeze Theorem da

  • cos X 1
  • 2 cos X 2 1 = 1

Wir schließen daraus

lim X 0 X Sünde X = 1