Wie kann man die Aussage beweisen
Das ist Hausaufgabe . In meinem Matheunterricht werden wir das gleich beweisen ist kontinuierlich. Wir haben herausgefunden, dass der Beweis der obigen Aussage ausreicht, um die Stetigkeit von zu beweisen , aber ich kann nicht herausfinden, wie. Jede Hilfe ist willkommen.
Das Gebiet von Ist . Die Fläche des farbigen Keils ist , und der Bereich von Ist . Durch Einbeziehung erhalten wir
Das solltest du erstmal beweisen klein das . Dann dividieren durch du erhältst
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 , von diesem Punkt bis zu einem gewissen Punkt gegen den Uhrzeigersinn auf dem Kreis. Dann natürlich ist die Höhe des letzteren Punktes über der -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 -Achse ist nur die Länge des Bogens. Dh wann ist dann eine unendlich kleine Zahl ist das gleiche wie . Daraus folgt, wann ist dann eine unendlich kleine Zahl ungleich Null .
So sah Euler die Sache. Siehe sein Buch über Differentialrechnung.
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:
Ich bin mir nicht sicher, ob es als Beweis gilt, aber ich habe gesehen, wie dies von einem Highschooler gemacht wurde.
Auf dem obigen Bild, .
und lass .
Ich behaupte das für dass folgendes gilt
Also haben wir
Weil , nach dem Squeeze-Theorem, das wir haben
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 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 von x.
Der Beweis ist vollständig.
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 . Denn die übliche Definition von 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 die den ersteren entsprechen, werden Sie es einfacher finden. Zum Beispiel,
und daher
was offensichtlich dazu neigt als nähert sich 0.
Hier ist noch einer:
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, , als Umkehrfunktion der Funktion gegeben von
für .
HINWEIS: Es kann gezeigt werden, dass die Sinusfunktion als Umkehrung von definiert ist hineingegeben hat alle bekannten Eigenschaften, die die Kreisfunktion charakterisieren .
Es ist einfach, das seitdem zu zeigen ist positiv und kontinuierlich für , ist kontinuierlich und streng ansteigend für mit .
Daher seit stetig und streng steigend ist, ihre Umkehrfunktion, , existiert und ist ebenfalls stetig und streng steigend mit .
Aus , wir haben die Grenzen ( SIEHE HIER )
für , woraufhin das Squeeze-Theorem angewendet wird Erträge
Letztlich lassen so dass . Als , und wir können schreiben als
von denen wir haben
wie sich zeigen sollte!
NOTIZ:
Daraus können wir den folgenden Satz nützlicher Ungleichungen ableiten . Wir lassen und einschränken so dass . Darüber hinaus definieren wir neue Funktionen, Und .
Dann haben wir von
Dies sind die bekannten Ungleichungen, die oft in einem Einführungskurs in Geometrie oder Trigonometrie eingeführt werden.
Finden ist die Strategie Erste. Das geht ganz einfach mit dem Bild unten.
Aus dem obigen Bild, ist die doppelte Fläche des orangefarbenen Bits. Der Bereich des roten Bits ist . Der Bereich des roten Bits plus des orangefarbenen Bits ist . So
(Ähnliches kann mit der Bogenlängendefinition von gemacht werden .)
Ü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 wie im folgenden Diagramm:
Wir können zeigen, dass:
: Das Viereck und der Kreissektor begrenzt durch sind zwei konvexe Mengen. Da der Kreissektor eine Teilmenge des Vierecks ist, ist der Umfang des Kreissektors kleiner als der Umfang des Vierecks.
: Die Segment ist der kürzeste Weg dazwischen Und .
ist also ein rechtwinkliges Dreieck nach dem Satz des Pythagoras.
Bezüglich wir bekommen:
Ein etwas anderer Ansatz könnte der folgende sein: Nehmen wir an
.
Von
Und
wir haben
Um es kurz zu machen: 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 . Die Konvexität der Scheibe folgt aus der Dreiecksungleichung: Eine Scheibe ist eine geschlossene Kugel für den euklidischen Abstand.
stützt sich auf dieses mächtige Lemma:
Lemma . Wenn sind konvex beschränkte Mengen in Und , der Umfang von ist kleiner als der Umfang von .
Beweis : durch Beschränktheit und Konvexität, Und sind korrigierbar, mit Längen . Immer durch Konvexität, da ist ein Akkord drin das trifft das Innere nicht (eine Tangente an an einem glatten Punkt funktioniert zum Beispiel). Angenommen, ein solcher Akkord hat Endpunkte und führen Sie einen Schnitt entlang : sowohl die Fläche als auch den Umfang von abnehmen, aber bleibt eine umschließende beschränkte konvexe Menge . Seit kann durch eine Folge aufeinanderfolgender Schnitte angenähert werden, folgt.
Lassen eine durch definierte Funktion sein für alle .
Wir haben wenn und nur wenn für alle , es existiert ein so dass wann immer .
Lassen eine beliebige reelle Zahl sein.
Beachten Sie, dass .
Wenn , wir haben .
Wir haben also
Deshalb haben wir
Wenn , Dann , und die unendliche Reihe konvergiert zu .
Wählen . Dann impliziert, dass , und daher . Aber impliziert, dass .
Wir haben daher wann immer . Aber seit , wir haben wann immer .
Seit war willkürlich, wir haben .
Lassen ist als Lösung von definiert mit Anfangsbedingungen, also exakte Lösung ist . Definiere die zweite Ableitung als
Einfacher ist die Verwendung des Sandwich-Theorems, das zuvor demonstriert wurde. In dieser Methode müssen Sie das zeigen liegt zwischen zwei anderen Funktionen. Als 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) wird zu EINS gehen.
Sie können Geogebra verwenden, um die Visualisierung dieses Phänomens mit Geogebra zu sehen. Zuerst geben Sie ein Und und beobachte das in der Nähe Werte von Und sind gleich.
Zweitens Eingang dann beobachten Funktion nähert sich als neigt dazu
Ursprünglich auf den Beweisen ohne Worte gepostet , hier ist ein einfaches Bild, das die Ableitung von erklärt , die, wie wir alle wissen, in direktem Zusammenhang mit der vorliegenden Grenze steht.
Wenn man nicht so überzeugt ist, werfen Sie einen Blick auf das obige Bild und bemerken Sie, dass wenn liegt also im ersten Quadranten
Beachte das
Die Antwort hängt letztendlich davon ab, wie Sie definieren an erster Stelle.
Hier ist ein lustiger! ist die einzigartige Funktion befriedigend
Dies ist eine Variante von Robjohns Antwort. Das Gebiet des Sektors Ist ; die Fläche des Dreiecks Ist ; und das Gebiet des Sektors Ist . Durch Einbeziehung finden wir das z ,
Seit ist stetig bei , Und ist stetig bei , die Funktion ist stetig bei , dh
Hier ist ein anderer Ansatz.
Im großen Dreieck
Als nächstes ist die Sektorfläche als Bruchteil des gesamten Kreises, der Sektor (siehe rechte Seite von Bild (1))
unter Verwendung der Gleichungen, die wir oben ausgearbeitet haben, wird dies
so nach dem Sandwich-Theorem
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 , sollte ein Winkel sein, der geometrisch der ist -Abschnitt des Winkels in kongruente kleinere Winkel, die sich zum Vollwinkel addieren.
Doch schon hier sehen wir, dass dies nicht trivial ist: Überlegen Sie . 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
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 ). "Grad", sind dann nur ein seltsames Vielfaches von tatsächlicher Länge, gleich (oder besser, ) 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 -Achse:
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,
so dass wir jetzt mit der guten alten Algebra lösen können Und mindestens im Halbkreis:
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 -Koordinate, für eine mit gegebene Kurve als Funktion von , Ist
Daher jetzt für den Kreis , So
was vereinfacht zu
Nun verwenden wir den Fundamentalsatz der Analysis, um den inversen Sinus zu definieren als
Das ist die Bogenlänge in Bezug auf die Koordinate , und jetzt ist der Sinus seine inverse Koordinate in Bezug auf die Bogenlänge :
.
Endlich, an dieser Stelle, mit einer vollständigen, wasserdichten Definition von jetzt in der Hand, sind wir bereit, das Limit auszuwerten:
Da die "echte" oder Basisfunktion hier wirklich die Umkehrfunktion ist , dh , gehen wir zunächst vor, indem wir eine Änderung der Variablen vornehmen: Wir betrachten stattdessen die Grenze in Bezug auf Wo . Beachten Sie, dass trivialerweise aus der integralen Definition erhalten wir also
Nun brauchen wir für die rechte Grenze nur das Verhalten von zu betrachten Wenn ist klein. Da der Integrand , ist bei differenzierbar , 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
also die Ableitung bei Null ist und die Tangente horizontal ist: da auch bewertet bei Ist , die Tangente ist
somit
Wenn , und dann ist das rechte Integral ungefähr , somit Wenn Und
somit
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 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 ). 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 was nicht allzu viel schwieriger erscheint, aber stattdessen antworten wir einfach darauf
"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.
Wie wäre es mit diesem Beweis?
Wir können diese Funktion überprüfen, die als definiert ist
Genauso ist es mit
Abschließend,
Sie können sich anpassen wie du willst.
Lassen Sie mich der Vollständigkeit halber einen axiomatischen Ansatz vorschlagen Und . 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 wofür erfüllen
Wir können auch die Euler-Formel verwenden, um den Grenzwert zu beweisen:
seit:
Hier ist ein Beweis für diejenigen, die mit Potenzreihen vertraut sind.
Die Definition von Ist
Deshalb bekommen wir
wobei wir die Tatsache ausgenutzt haben, dass die Potenzreihe Konvergenzradius hat und ist daher kontinuierlich an . Dies ermöglicht es uns, die Grenze nach innen zu nehmen und wir bekommen
Dies ist kein rigoroser Beweis, sondern ein intuitives Argument. Betrachten Sie den Graphen der Sinusfunktion und berücksichtigen Sie insbesondere den Ursprung und irgendein willkürlicher Punkt etwas rechts davon. Verbinden Sie eine Sekanslinie zwischen den beiden Punkten wie folgt: Betrachten Sie nun die durchschnittliche Änderungsrate der Sinusfunktion in diesem Intervall , oder alternativ die Steigung dieser Sekantenlinie, nämlich:
Hier ist ein raffinierter Trick mit elementaren Integrationsmethoden. Beachten Sie, dass
Diese geometrische Lösung ergibt sich aus dieser Frage gemäß der folgenden Skizze
wir haben
das ist
und dividieren durch
und da für wir erhalten
schließlich durch Squeeze Theorem da
Wir schließen daraus
Joren
Ilja
FUZxxl
Ilja
Asaf Karagila
Platonix
FUZxxl
Kobold GEGANGEN
FUZxxl
Asker123
FUZxxl
RR
FUZxxl
Steven Alexis Gregory
Sufaid Saleel
Unsichtbar