Intuitives Verständnis der Ableitungen von sinxsin⁡x\sin x und cosxcos⁡x\cos x

Eines der ersten Dinge, die jemals in einem Differentialrechnungskurs gelehrt wurden:

  • Die Ableitung von Sünde X Ist cos X .
  • Die Ableitung von cos X Ist Sünde X .

Dies führt zu einer ziemlich ordentlichen (und bequemen?) Kette von Derivaten:

Sünde (x)
cos(x)
-sünde(x)
-cos(x)
Sünde (x)
...

Eine Analyse der Form ihrer Graphen bestätigt einige Punkte; zum Beispiel wann Sünde X ist maximal, cos X ist null und bewegt sich nach unten; Wenn cos X ist maximal, Sünde X ist null und bewegt sich nach oben. Aber diese "Anpassungspunkte" funktionieren nur für Vielfache von π / 4 .

Gehen wir zurück zu den ursprünglichen Definitionen von Sinus und Cosinus:

Auf der grundlegendsten Ebene Sünde X ist definiert als -- für ein rechtwinkliges Dreieck mit Innenwinkel X -- die Länge der dem Winkel gegenüberliegenden Seite geteilt durch die Hypotenuse des Dreiecks.

Um dies auf den Definitionsbereich aller reellen Zahlen zu verallgemeinern, Sünde X wurde dann als die Y-Koordinate eines Punktes auf dem Einheitskreis definiert, der ein Winkel ist X von der positiven X-Achse.

Die Definition von cos X wurde dann genauso gemacht, aber mit adj/hyp und der X-Koordinate, wie wir alle wissen.

Gibt es irgendetwas an dieser grundlegenden Definition, das es jemandem erlaubt, diese Definitionen allein zu betrachten und zu denken: "Hey, die Ableitung der Sinusfunktion in Bezug auf den Winkel ist die Kosinusfunktion!"

Das heißt, allein aus der Definition des Einheitskreises . Oder, noch erstaunlicher, allein die Definition des rechten Dreiecks . Ignorieren der grafischen Analyse ihrer Handlung.

Im Wesentlichen frage ich im Wesentlichen: " Warum ist die Ableitung des Sinus intuitiv der Kosinus?"

Ich denke, dies sollte vielleicht eine Frage sein, in der gefragt wird, ob jemand eine intuitive Erklärung kennt, und Sie sollten den zweiten Teil Ihrer Antwort als Antwort schreiben. (Siehe meta.stackexchange.com/questions/17463 ).
Siehe www.maa.org/pubs/Calc_articles/ma007.pdf für einige Erklärungen.
Es ist keine Antwort - deshalb poste ich es als Kommentar -, aber ich denke, die Tatsache, dass bei Sonnenwenden die Änderung der Tageslänge null ist und bei Tagundnachtgleichen maximal ist, sollte damit zusammenhängen.
@Akhil: Das solltest du als Antwort geben
Casebash: Normalerweise zögere ich, Links ohne Erklärung als etwas anderes als Kommentare zu posten.
@Akhil: Dann schreibe ein oder zwei Sätze, die es einleiten. Eine vollständige Erklärung ist besser, aber nicht notwendig
@Ben Alpert - Ich bin mir nicht sicher, welchen Teil meiner Frage Sie als Antwort vorschlagen =/
Ich verstehe nicht, warum Sie die Diagramme für ein intuitives Verständnis des Differentials ablehnen. Differentiale werden am besten in Bezug auf die Darstellungen ihrer Funktionen verstanden, so dass ihre Entfernung aus der Betrachtung jede intuitive Erklärung ernsthaft behindert.
Ich glaube, dass Diagramme ein äußerst nützliches Werkzeug sind, um die Natur von Funktionen zu beobachten; Sie sind jedoch ein Werkzeug und ein "Schatten" oder "Spiegelbild" der Funktion selbst. Ich denke, dass es ziemlich trivial ist, die Handlung zu verwenden, um dies zu beweisen. Es wäre noch intuitiver , es unabhängig von der Handlung zu verstehen.
Tatsächlich habe ich in den letzten Sekunden meine Meinung geändert, Plots als Antworten zuzulassen, wenn sie ausreichend intuitiv sind - mehr noch als jede Nicht-Plot-Antwort.
@Justin L.: Hoppla, ich habe deine Frage definitiv falsch verstanden und dachte, dass sie sich irgendwie von selbst beantwortet. Verzeihung!
@Akhil, wenn ein Link auf eine korrekte, nützliche Antwort verweist, weiß ich nicht, warum Sie ihn nicht als Antwort posten würden. Wenn Sie sich dadurch besser fühlen, machen Sie eine CW-Antwort. Die Leute sollten zögern, Fragen zu stellen , die durch einen Link beantwortet werden können!
@Akhil, leider scheint dein Link jetzt tot zu sein. Was war sein Ziel?

Antworten (17)

Vielleicht gibt folgendes Diagramm Aufschluss:

(Nicht-)Beweis ohne Worte: Ableitungen von Sinus und Cosinus

Die Idee ist, die Sinus- und Cosinuskurven als Projektionen einer auf einem Zylinder gezeichneten Helix zu betrachten. Wenn Sie den Zylinder selbst als ein gekräuseltes, planares Längenquadrat betrachten 2 π , dann ist die Helix eine gekräuselte Version der Diagonale des Quadrats. Ein Tangentenvektor entlang der Diagonalen des flachen Quadrats liegt immer bei 45 Grad zu den Seiten des Quadrats, sagen wir mit Schatten der Länge „1“ in jeder Richtung; Nachdem das Quadrat glatt in den Zylinder eingerollt wurde, liegt der Tangentenvektor bei 45 Grad zum Zylinder ( z -)Achse und die Senkrechte ( X j -)Ebene.

Projektion der Helix in die z j - Und z X -planes gibt Graphen von Sinus und Cosinus. Das Projizieren des Tangentenvektors der Helix ergibt Tangentenvektoren an diese Graphen. Der " D z "s für diese projizierten Tangenten sind immer 1 (der "vertikale" Schatten des Tangentenvektors der Helix). Um an " D j " Und " D X " (" v X " Und " v j " im Diagramm) projizieren wir nach unten in die X j -Ebene, wo wir einen Kreis sehen, und noch einen weiteren projizierten Tangentenvektor.

Die grundlegende Geometrie sagt uns, dass eine Tangente an einen Kreis senkrecht zum Radius am Tangentialpunkt steht. In unserem Kreis wird der Tangentenpunkt – und der Radiusvektor – parametrisiert als „ < cos , Sünde , 0 > ". Die senkrechte Tangente muss also einen "negativ-reziproken" Richtungsvektor haben: " < Sünde , cos , 0 > ", was uns unsere " D X " Und " D j " für die Helixtangente ... und auch die projizierten Graphentangenten, so dass wir die folgenden Schlussfolgerungen ziehen können:

Die Ableitung des Kosinus – nach ihrer konzeptionellen Definition als „Steigung der Tangente“ – ist eine Änderung in X -umschalten-in- z = D X / D z = Sünde / 1 = Sünde .

Ebenso ist die Ableitung des Sinus D j / D z = cos / 1 = cos .

Ich mag diesen Ansatz, weil die konzeptionelle Definition der Ableitung "Steigung der Tangente" durchgehend verwendet wird; Es gibt keine (offensichtlichen) Appelle an abschweifende Berechnungstricks, die trigonometrische Identitäten und Grenzen von Differenzquotienten beinhalten. Mir gefällt auch, dass das merkwürdige negative Vorzeichen in der Ableitung des Kosinus auf eine elementare Eigenschaft der Kreisgeometrie zurückgeht.

Dieser Ansatz stellt natürlich keinen Beweis der Formeln dar. Der Prozess, das planare Quadrat zu einem Zylinder zu kräuseln und zu behaupten, dass sich der Tangentenvektor wie behauptet verhält, setzt tatsächlich die Rechenmaschinerie voraus, die von den traditionellen Grenzwertargumenten abgedeckt wird. Trotzdem denke ich, dass dieses Argument auf einer intuitiven Ebene das „Warum“ der Derivate ziemlich schön erklärt. Dann hilft das Wissen, was die Formeln sind (oder "sollten"), die Untersuchung der Rechentricks zu motivieren, die erforderlich sind, um einen strengen Beweis zu liefern.

Hier ist ein PDF mit einer Variante der obigen Diskussion (aber das gleiche Bild). Hier ist eine Mathematica-Demonstration , die die verschiedenen Elemente animiert, einschließlich des quadratischen Einrollens in den Zylinder.

Zu Ihrer Information, Sie können etwas Ähnliches tun, um die Kettenregel zu "erklären": Definieren Sie eine Raumkurve durch < f (t), h (t), t >, wobei h (t) = g (f (t)) und ( unter der Annahme sinnvoll) sei sein Tangentenvektor < a, b, 1 > (mit a != 0). Der zx-Graph ist x = f(z), mit Steigung der Tangentenlinie dx/dz = a/1 = a; der zy-Graph ist y = h(z), mit Tangentensteigung dy/dz = b/1 = b; der überbrückende xy-Graph ist y = g(x), mit Tangentensteigung dy/dx = b/a. Interpretieren Sie nun die Gleichung b = a*(b/a) richtig: Die Ableitung von h (bei t) ist gleich dem Produkt aus der Ableitung von g (bei f(t)!) und der Ableitung von f (bei t).
Ich mag den Zylinder oder die Projektionen nicht, aber die Betrachtung der Koordinaten des Tangentenvektors und die einfache Anwendung der "negativen reziproken" Regel war ein Blitz für mich. Vor allem, wenn Sie sich den Tangentenvektor als Geschwindigkeitsvektor für einen Punkt vorstellen, der sich um den Kreis bewegt.
Verdammt schön. Ich habe keine Worte.

Ich stimme David (+1) zu, dies ist die relevante Grafik, und sie funktioniert für mich:

Sin und Cosinus auf dem Einheitskreis

Von hier .


Aktualisiert (kurze Erklärung hinzugefügt, um dies eigenständig zu machen) :

Das rechtwinklige Hauptdreieck (in blau) ergibt cos θ (horizontale Seite) und Sünde θ (Vertikale). Das Kleingeld Δ θ erzeugt ein neues Dreieck mit dem entsprechenden cos ( θ + Δ θ ) Und Sünde ( θ + Δ θ )

Wenn wir uns nun das kleine Dreieck (in Rot) ansehen, sehen wir, dass seine Beine den Inkrementen entsprechen Δ ( Sünde θ ) Und Δ ( cos θ ) ; außerdem für kleine Inkremente die Hypotenuse H neigt zum Lichtbogen Δ θ , und das kleine Dreieck ähnelt dem Hauptdreieck (daher ϕ θ ).

Aber cos ϕ = Δ ( Sünde θ ) / H D ( Sünde θ ) / D θ . Somit D ( Sünde θ ) = cos θ D θ

Wenn wir dasselbe für das andere Bein tun, erhalten wir D ( cos θ ) = Sünde θ D θ

Im Detail: D ( Sünde θ ) D θ = R ( Ö 2 Ö 1 ) L = R L cos ϕ L = cos ϕ = cos θ Wo R ist der Radius, Ö ist das Gegenteil, L ist die kleine Hypoteneuse, D θ = L R Und ϕ = 90 ° ( 90 ° θ ) = θ . Alle Annäherungen werden wahr als D θ 0 .

Dies hängt mit der Antwort von Justin L. zusammen , da ich im Grunde die gleiche Interpretation habe, aber während diese Antwort (so wie ich sie interpretiere) eine großartige intuitive Überprüfung der Richtigkeit der Ableitungen ermöglicht, möchte ich darstellen, wie man dies tatsächlich tun könnte (etwas intuitiv) zu den Ableitungen kommen.

Per Definition, S ( X ) = ( cos ( X ) , Sünde ( X ) ) gibt den Punkt auf dem Einheitskreis nach einer Bogenlänge an X von diesem Punkt ( 1 , 0 ) , gegen den Uhrzeigersinn orientiert. Die Parametrisierung bezüglich der Bogenlänge ist genau die Bedingung, die garantiert, dass die Kurve Einheitsgeschwindigkeit hat, dh | S ' ( X ) | 1 . Weil S hat auch eine konstante Länge, das kann man mit der Produktregel zeigen S ' ( X ) steht senkrecht dazu S ( X ) für alle X :

S S 1 S ' S + S S ' 0 S S ' 0.

Also für jeden X , S ' ( X ) ist ein Einheitslängenvektor senkrecht zu S ( X ) . Damit bleiben 2 Möglichkeiten: entweder eine Drehung gegen den Uhrzeigersinn oder eine Drehung im Uhrzeigersinn π 2 aus S ( X ) . Aber jetzt, weil S ' sagt uns wie S ändert, muss er in Bewegungsrichtung zeigen S , nämlich gegen den Uhrzeigersinn. Daher S ' ( X ) ist eine Drehung gegen den Uhrzeigersinn um π 2 aus S ( X ) , was bedeutet

S ' ( X ) = S ( X + π 2 ) = ( cos ( X + π 2 ) , Sünde ( X + π 2 ) ) = ( Sünde ( X ) , cos ( X ) ) .

Aber wir haben auch S ' ( X ) = ( cos ' ( X ) , Sünde ' ( X ) ) , also ergeben sich übereinstimmende Koordinaten cos ' = Sünde Und Sünde ' = cos .

+1; das wäre meine bevorzugte Interpretation. Beachten Sie, dass die Aussage im Grunde darauf hinausläuft, dass Tangenten an Kreise senkrecht zu Radien stehen.
Guter Punkt, und obwohl ich mich dafür entschieden habe, diesen Teil mit der Produktregel "rigoros" zu machen, nehme ich an, dass dies unter "intuitiv wahr" fällt. Die Tatsache, dass Kurven mit konstanter Länge (dh Kurven auf Kreisen oder Kugeln) senkrecht zu ihren Tangenten sind, ist Teil dessen, was die Frenet-Serret-Formeln so gut funktionieren lässt: en.wikipedia.org/wiki/Frenet%E2%80%93Serret_formulas

Eine wichtige Tatsache, die ausdrücklich erwähnt werden sollte, ist die

D Sünde X D X = cos X
nur wenn X wird in Radiant gemessen.

Für ein allgemeines Winkelmaß ist die Ableitung von Sünde X ein skalares Vielfaches von ist cos X . Tatsächlich könnte man argumentieren, dass dies der Hauptgrund für die Nützlichkeit des Bogenmaßes ist : Das Bogenmaß ist das Winkelmaß, das dieses skalare Vielfache gleich 1 macht.

Das ist etwas, was nicht viele Menschen erkennen. Hier ist zum Beispiel ein Zitat aus einer Math Overflow-Antwort auf die Frage „Warum bringen wir Mathematikstudenten die Ableitung als Grenzwert bei?“

Ich möchte auf eine einfache Frage hinweisen, die nur sehr wenige Mathematikstudenten und sogar Lehrer richtig beantworten können: Ist die Ableitung der Sinusfunktion, bei der der Winkel in Grad gemessen wird, dasselbe wie die Ableitung der Sinusfunktion, bei der der Winkel wird in Radiant gemessen. In meiner Abteilung sprechen wir alle Kandidaten für das Unterrichten von Analysis vor und stellen oft diese Frage. So viele Leute, einschließlich einiger mit Doktortiteln von guten Schulen, konnten diese Frage nicht richtig beantworten, dass ich sie sogar bei ein paar wirklich berühmten Mathematikern ausprobierte. Auch hier ist die Schwierigkeit, die wir alle mit dieser Frage haben, für mich ein Zeichen dafür, wie schlecht wir selbst Rechnen lernen.

Um zu sehen, warum das Bogenmaß entscheidend ist, sehen Sie sich die Steigungen der Graphen von an Sünde X bei X = 0 Wenn X wird in Radianten gemessen und wann X wird in Grad gemessen.

Erstens wann X ist in Radiant:

Alt-Text

Die Steigung scheint nahe bei 1 zu liegen. (Und natürlich wissen wir, dass es 1 ist.)

Zweitens wann X ist in Grad:

Alt-Text

Die Steigung ist viel, viel kleiner als 1. Also die Ableitung von Sünde X bei X = 0 Wenn X ist in Grad kann nicht sein cos ( 0 ) = 1 . Die richtige Antwort, wenn X ist in Grad, ist das die Ableitung von Sünde X Ist π 180 cos X (über die Kettenregel).

Natürlich gehen alle Antworten auf die hier gegebene Frage des OP implizit davon aus X wird in Radiant gemessen. (Für Schüler, die dies lesen, könnte es eine interessante Übung sein, jedes der anderen Argumente durchzugehen, um genau zu sehen, wo diese Annahme gemacht wird.) Wie jedoch das Zitat von Math Overflow zeigt, ist dies etwas, das viele Leute nicht tun nicht erkennen.

Ich bin nicht einverstanden mit der zynischen Analyse der Berechnungsausbildung der Menschen. Ich denke, der Grund, warum viele Leute diese Frage schlecht beantworten, liegt darin, dass Mathematikstudenten einfach nicht mit Abschlüssen vertraut sind, da sie sofort aufgegeben werden, wenn sie einen Mathematikkurs betreten. Und das zu Recht. Zu argumentieren, dass die Unfähigkeit, Fragen zu Graden zu beantworten, ein Beweis für eine schlechte Mathematikausbildung ist, ist, als würde man europäische Kinder bitten, zwischen Tassen und Gallonen oder über die Fahrenheit-Skala umzurechnen, und dann zu dem Schluss kommen, dass es „ein Zeichen von“ ist, wenn sie einen verwirrt anblicken wie schlecht die Franzosen rechnen lernen".
@MarcelBesixdouze, ich stimme zu, dass es kein fairer Test für eine zufällige Person ist, aber ich denke, dass ein Lehrer , der diese Frage nicht beantworten kann (für seine oder ihre Kalkülschüler, das garantiere ich, gelegentlich wissen möchte, warum sie nicht messen können in Grad, und "weil es gegen die bekannten Ableitungsregeln verstößt" ist eine viel bessere Antwort als "weil das Buch Bogenmaß verwendet") ist ähnlich wie ein Koch , der nicht zwischen Tassen und Gallonen umrechnen kann: Es weist überhaupt nicht auf Inkompetenz hin, sollte aber wahrscheinlich über die Leidenschaft des Befragten für seinen oder ihren gewählten Beruf innehalten.

Als Physik-Major möchte ich eine Antwort vorschlagen, die sich aus meinem Verständnis ergibt, Sinus und Cosinus in der realen Welt zu sehen.

Dabei werde ich gleichförmige Kreisbewegungen untersuchen.

Aufgrund der Punkt-auf-einem-Einheitskreis-Definition von Sinus und Cosinus können wir Folgendes sagen:

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

Ist eine richtige parametrische Funktion, um einen Punkt zu beschreiben, der sich entlang des Einheitskreises bewegt.

Betrachten wir, was die erste Ableitung in einem physikalischen Kontext sein sollte. Die erste Ableitung der Position sollte idealerweise die Geschwindigkeit des Punktes darstellen.

In einem physikalischen Kontext würden wir erwarten, dass die Geschwindigkeit die Linie ist, die die Bewegungsrichtung zu einem bestimmten Zeitpunkt tangiert t. Daraus folgt, dass er den Kreis unter dem Winkel tangiert t. Da die Winkelgeschwindigkeit konstant ist, sollte auch die Größe der Geschwindigkeit konstant sein.

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

Wie erwartet ist die Geschwindigkeit konstant, also verhalten sich die Ableitungen von Sinus und Cosinus so, wie sie sollten.

Wir können auch darüber nachdenken, in welche Richtung die Geschwindigkeit im Vergleich zum Positionsvektor gehen würde.

Ich bin mir nicht sicher, ob dies an den Grenzen der Frage "Schummeln" ist, aber durch Visualisieren des Diagramms können wir sehen, dass die Geschwindigkeit von Natur aus tangential zum Kreis ist und senkrecht zum Positionsvektor sein muss.

Wenn dies wahr ist, dann ist Position * Geschwindigkeit = 0 (Punktprodukt).

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

Das leben ist gut. Wenn wir davon ausgehen, dass die Definition von cos(t) gleich -sin(t) und die Definition von sin(t) gleich cos(t) ist, finden wir das physikalische Verhalten genau wie erwartet vor: eine konstante Geschwindigkeit, die immer senkrecht zur Position steht Vektor.

Wir können dies weiterführen und uns die Beschleunigung ansehen. In der Physik würden wir das Rückstellkraft nennen. Welche Beschleunigung müsste in einem Kreis vorhanden sein, um einen Punkt in Kreisbewegung zu halten?

Genauer gesagt, in welche Richtung müsste diese Beschleunigung gehen?

Es braucht wenig Überlegung, um auf die Idee zu kommen, dass die Beschleunigung nach dem Zentrum suchen und auf das Zentrum zeigen müsste. Wenn wir also feststellen können, dass die Beschleunigung in der entgegengesetzten Richtung wie der Positionsvektor ist, können wir uns über die Ableitungen von Sinus und Cosinus fast sicher sein. Das heißt, ihr Innenwinkel sollte sein pi.

                            r(t) * r''(t) = |r(t)| * |r''(t)| * cos(pi)
                            r(t) * r''(t) = |r(t)| * |r''(t)| * -1
< cos(t), sin(t) > * < -cos(t), -sin(t) > = |<cos(t),sin(t)>| * |<-cos(t),-sin(t)>| * -1
                    -cos(t)^2 + -sin(t)^2 = 1 * 1 * -1
               -1 * (cos(t)^2 + sin(t)^2) = -1
                                   -1 * 1 = -1
                                       -1 = -1
"Wenn wir annehmen, dass die Definition von cos(t) -sin(t) ist und dass die Definition von sin(t) cos(t) ist": Sie meinen natürlich jedes Mal eher 'Ableitung' als 'Definition', richtig ? Während Ihre Post-Hoc- Prüfungen ziemlich korrekt sind, würden sie auch perfekt funktionieren, wenn wir dachten, dass die Ableitung der Kosinusfunktion die Sinusfunktion wäre und dass die der Sinusfunktion der Kosinusfunktion entgegengesetzt wäre.

Wenn Sie sich die Quotientengrenze, die sin'(x) im Einheitskreis definiert, sorgfältig und geometrisch ansehen und die Sehne und die Tangente als Annäherung an den Bogen nehmen (das ist der Winkel; dies ist die Essenz von sin(x)/x nähert sich 1), werden Sie sehen, dass die Grenze des Ableitungsquotienten genau zu cos(x) tendiert, d. h. zu seiner benachbarten/Hypotenuse. Mit anderen Worten, es ist in die rechtwinklige Dreiecksgeometrie eingebaut, wie so viele Phänomene in der Mathematik.

In dieser Geometrie lauert auch der Beweis für die sin(x+y)-Formel, die zusammen mit dem Grenzwert von sin(x)/x der Standardbeweis dafür ist, dass sin'(x) = cos ist (x) geht. Aber diese Algebra zu überspringen und direkt zur Geometrie zu gehen, ist der einfachste Weg, den ich kenne, um die Frage zu beantworten.

Leider habe ich keine Zeit oder Werkzeuge, um die Bilder zu zeichnen.

Ich vermute, dass dies dasselbe sagt wie die obige physikalische Antwort, aber vielleicht direkter. Ich denke, alle Antworten, die sich auf Serienerweiterungen beziehen, verfehlen den Punkt.

Ja. Ich glaube, das wäre Newtons Beweis gewesen.
Dies ist die Antwort, die der Frage am ehesten entspricht; Ich denke, es sollte das akzeptierte sein (mit dem von Leonboy hinzugefügten Bild).

Dieses interessante Ableitungsmuster mit Sinus und Cosinus hängt mit der Tatsache zusammen, dass e^x seine eigene Ableitung ist und dass e^(ix) = cos(x) + i*sin(x) ( Euler-Formel ) .

Diese beiden Tatsachen sind in gewisser Weise die Mathematik, die sich hinter Justin Ls eher physikalischer Erklärung verbirgt, die Sie möglicherweise intuitiver finden.

Stammt die Eulersche Formel nicht aus der Taylorreihe, die in erster Linie aus den Ableitungen stammt? Aber ich mag diese Antwort. Das Binden von Sinus und Cosinus an das e ist eine ziemlich elegante Methode, dies zu tun.
@Justin: Nicht unbedingt. Man kann die komplexe Exponentialfunktion als Lösung des Anfangswertproblems definieren F ' ( z ) = F ( z ) , F ( 0 ) = 1 . (Die Lösung kann sogar als Potenzreihe gefunden werden, wenn Sie möchten.) Dann definiert man cos z = ( e ich z + e ich z ) / 2 Und Sünde z = ( e ich z e ich z ) / ( 2 ich ) . Die Eulersche Formel folgt dann aus den Definitionen von Sinus und Cosinus, die ich gegeben habe. Tatsächlich kann man diese Ausdrücke direkt unterscheiden und die Identitäten ableiten, nach denen die ursprüngliche Frage fragt.
@Zach Ich mag die Vorstellung, Sinus und Cosinus in Bezug auf die Euler-Formel zu definieren. Ich schätze, ich brauche eine Weile, um mich an diese Definitionen als "intuitive" Definitionen zu gewöhnen.
S ich N θ + ich C Ö S θ = ich e ich θ = D e ich θ D θ = D D θ ( C Ö S θ + ich S ich N θ ) = D C Ö S θ D θ + ich D S ich N θ D θ

Sinus und Cosinus kommen hauptsächlich als fundamentale Lösungen der Differentialgleichung vor j = j , bekannt als Wellengleichung. Warum ist dies eine wichtige Differentialgleichung? Nun, wenn man es mit Newtons zweitem Gesetz interpretiert, heißt es: "Die Kraft ist proportional und entgegengesetzt zur Position." Das passiert zum Beispiel mit einer Feder!

Das ist eine Gleichung 2. Grades, also hat sie einen zweidimensionalen Lösungsraum. Wie wählt man eine schöne Basis für diesen Raum aus? Nun, eine Möglichkeit wäre zu wählen F Und G so dass F ' = ich F Und G ' = ich G . Das beinhaltet jedoch zu viele imaginäre Zahlen, also ist eine andere Option F ' = G , Und G ' = F .

Wenn Sie also versuchen, zwei Funktionen zu finden, die die Oszillationsbewegung erklären, werden Sie natürlich dazu führen, Funktionen auszuwählen, die haben F ' = G , G ' = F , usw.

(Andererseits ist es aus dieser Sicht völlig unklar, warum Sinus und Cosinus irgendetwas mit Dreiecken zu tun haben sollten ...)

Die Sache mit dem Dreieck ist wirklich nur ein Spezialfall der Definition des Einheitskreises, und es ist intuitiv nicht schwer zu erkennen, warum die Bewegung um einen Kreis herum mit einer oszillierenden Bewegung zusammenhängen könnte - es ist schließlich eine Form der Oszillation. Man kann die Dreiecke also immer noch rein aus der Sicht der Differentialgleichungen verstehen.
@JackM, in der Tat, um mit der Newtonschen Interpretation fortzufahren, hat jeder, der die fiktive Zentrifugalkraft gespürt hat, ein buchstäblich viszerales Verständnis dafür, warum die Bewegung um einen Kreis mit der Differentialgleichung zusammenhängt j = j .

Reden wir über den ersten,

D D X Sünde ( X ) = cos ( X )

Schauen Sie sich die Handlung an:

Sünde ist rot, cos ist blau.

Die Änderungsrate der roten Kurve ( Sünde ) ist genau der aktuelle y-Wert der blauen Kurve ( cos ) an jedem Punkt .

Auf einige markante Punkte hinweisen:

  • @x= π 2 , Sünde ( π 2 ) = 1 Und cos ( π 2 ) = 0 . Dies bedeutet die Rate der Sinuskurve @ x= π 2 ist NICHTS, was Sie deutlich in der Grafik sehen können - ein lokales Maximum.

  • @x=0, Sünde ( 0 ) = 0 Und cos ( 0 ) = 1 , was bedeutet, dass sin(x) sich scheinbar entlang der geraden Linie y=x am Ursprung bewegen sollte, was auch der Fall ist. Tatsächlich haben wir in der Nähe von x=0 die Näherung sin(x)=x.

  • @x= π 2 + , du kannst sehen Sünde ( π 2 + ) beginnt nach unten zu gehen. An dieser Stelle, cos ( π 2 + ) ALSO unter die x-Achse eintaucht, dh erstmals wird die Änderungsrate von sin(x) negativ.

Ich glaube nicht, dass ein Blick auf das Diagramm ausreicht, um die numerische Genauigkeit der Änderungsrate der roten Kurve und der Änderungsrate der blauen Kurve zu bestätigen. Es könnte zeigen, dass sie etwas korreliert sind, aber dass sie zu jedem Zeitpunkt eine exakte numerische Äquivalenz haben, ist etwas, das Sie nicht bekommen können, wenn Sie sich eine solche Handlung ansehen, denke ich.

Als Ergänzung können Sie das Mathematica-Notebook von Graphing Derivatives herunterladen , mit dem Sie ein wenig spielen können Sünde ( X ) , cos ( X ) und eine weitere Funktion. Ich denke, es zeigt eine sehr offensichtliche, aber interessante Konstruktion dieser trigonometrischen Funktionen. Falls Sie nichts herunterladen oder installieren möchten, habe ich einen amateurhaften Screencast gepostet , damit Sie die Demonstration sehen können. Grundsätzlich zeichnest du die Sünde ( X ) Funktion, und in jedem Punkt ( X , j ) Sie berechnen/zeichnen die Steigung. Der Wert der Steigung entspricht dem Wert der j Koordinate der Ableitung der Funktion (in diesem Beispiel cos ( X ) ), gleich bleiben X Koordinate.

Es ist eine wunderbare Übung, eine zufällige Funktion zu zeichnen und die Ableitung dieser Funktion basierend auf diesem Verfahren zu zeichnen, dann einen Blick auf die „wahre“ Ableitung zu werfen und zu sehen, wie sehr Ihre Zeichnung der Ableitung ähnelt.

Von den ersten Prinzipien unter Verwendung von trigonometrischen Identitäten und Kleinwinkelnäherungen:


Sünde ' ( X ) = lim H 0 Sünde ( X + H ) Sünde ( X ) H

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

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

Für X klein, Sünde ( X ) X , So

lim H 0 Sünde H H = 1
Und
cos ( X ) 1 X 2 2
So
lim H 0 cos H 1 H = 0

Sünde ' ( X ) = cos ( X )

cos ' ( X ) = lim H 0 cos ( X + H ) cos ( X ) H

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

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

= Sünde ( X )
nach der gleichen Überlegung oben.

das ist krass cool
Das glaube ich nicht Sünde ( X ) X , und das sicher nicht cos ( X ) 1 X 2 / 2 , ist ein „erster Grundsatz“. In der Tat zeigt Ihr Argument, dass, sobald Sie die Geometrie der Trigonometrie verstanden haben ( über die Additionsformeln), Ihre Tatsache über den Sinus fast äquivalent zur Berechnung seiner Ableitung ist, und Ihre Tatsache über den Kosinus sagt mehr aus .

Das ist nicht genau das, was Sie gefragt haben, aber schauen Sie sich die Taylor-Reihe für die Polynome an:

Sünde X = N = 0 ( 1 ) N ( 2 N + 1 ) ! X 2 N + 1 = X X 3 3 ! + X 5 5 !  für alle  X

cos X = N = 0 ( 1 ) N ( 2 N ) ! X 2 N = 1 X 2 2 ! + X 4 4 !  für alle  X

Daraus werden die Beziehungen zwischen den Derivaten deutlich.

Wie kann man diese Taylor-Reihen herleiten, ohne die Ableitungen überhaupt zu kennen?
@Eric: Die Frage war für ein intuitives Verständnis, nicht für einen intuitiven Beweis.
Wie ist in diesem Fall die Taylor-Reihe intuitiv?
@: Eric: Ja, also ist es nur intuitiv, wenn man sie als Taylor-Reihen betrachtet und nicht als Seitenverhältnisse von Dreiecken. Wie gesagt, es ist nicht genau das, wonach gefragt wurde, aber ich denke, es gibt Ihnen ein besseres Verständnis dafür, wie die Kette auftritt.
@Eric: Die Potenzreihenentwicklungen können tatsächlich aus der Potenzreihenentwicklung des Exponentials abgeleitet werden - die aus der Differentialgleichung gefunden werden kann, die es erfüllt - und den Beziehungen cos z = ( e ich z + e ich z ) / 2 Und Sünde z = ( e ich z e ich z ) / ( 2 ich ) . Damit dieser Ansatz wirklich Sinn macht, muss man möglicherweise Kosinus und Sinus mit diesen beiden Ausdrücken definieren - aber das ist völlig legitim und in gewisser Weise sogar nett. Was die Intuition angeht... :D
Sie können die Potenzreihen für Sinus und Cosinus geometrisch erhalten (grenzwertig an "intuitiv", wenn Sie eine Intuition für Evolventen haben), vorausgesetzt, Sie akzeptieren die Grenze ( Sünde X ) / X > 1 als X > 0 . Siehe meine Antwort auf eine andere Frage hier: math.stackexchange.com/questions/1048/… Zugegeben, das Akzeptieren der Grenze ist gleichbedeutend damit, „die Ableitungen überhaupt zu kennen“, aber die geometrische Entwicklung der Potenzreihe erfordert Sie nicht in Ableitungen oder Taylor-Reihen denken; die Grenze bereinigt lediglich die endgültige Formel.
@Peter, möchtest du auch James Antwort oben teXen ?

Ich glaube nicht, dass Sie ein intuitives Gefühl für die Ableitungen bekommen können, ohne sich die Diagramme persönlich anzusehen. Wenn Sie bedenken, dass eine Ableitung eine Änderungsrate ist, müssen Sie sich eine Funktion ansehen, die sich ändert, was impliziert, dass Sie sich den Plot/Graph der Funktion ansehen. Wenn Sie weiter bedenken, dass eine Ableitung (per Definition eine Änderungsrate) eine Gradientenfunktion ist, lautet die intuitive Antwort, dass cos die Gradientenfunktion von sin und -sin die Gradientenfunktion von cos ist (und so weiter). . Wenn Sie also die Steigung der Sinuskurve an einem beliebigen Punkt berechnen, erhalten Sie den Kosinuswert für diesen Punkt.

Im Geiste der Frage geht diese Antwort auf die Bemerkung ein: "Oder, noch erstaunlicher, die Definition des rechten Dreiecks allein". Im Wesentlichen die gleiche Antwort wie die von David Lewis .

Geometrisch d(sinθ)/dθlässt sich ein rechtwinkliges Dreieck ableiten, indem man das rechtwinklige Dreieck aus vergrößert und θ->θ+dθdabei a:=adjden rechten Winkel festhält. In erster Reihenfolge d(sinθ)=(o+do)/(h+dh)-o/h≈do/h, wo o:=opp, h:=hyp. Der kleine Teil des Kreises mit Radius, hder definiert , ist wiederum in erster Ordnung gleich der gegenüberliegenden Seite eines Dreiecks mit der senkrechten Projektion von h auf h+dh, so dass dθ=do┴/h.

Wir sehen also, dass die Ableitung von sinθgleich dem Verhältnis zwischen dound ist do┴. Dass dieser Anteil gleich ist, sieht man sofort sin(π/2-θ)=cos(θ)an dem kleinen Dreieck in der rechten oberen Ecke.

„Das Verhältnis zwischen dound do┴ist gleich dem Verhältnis der beiden angrenzenden Seiten des Winkels θ“ wäre also die intuitive, geometrische Bedeutung von sin'(θ)=cos(θ).

Der folgende sehr klare Beweis findet sich im klassischen Cours d'Analyse von Camille Jordan (ohne Diagramm; eine Übung in klarer Visualisierung!):

Seien x und x+h zwei Punkte auf dem Einheitskreis. Zunächst beobachten wir, dass | sin(x+h)-sinx| < h , also ist sinx stetig.

Wir sehen leicht, dass 2sin(h/2) = Akkord h < h < 2tan(h/2).

Also cos(h/2) < (2sin(h/2))/h < 1.

Wenn h gegen 0 tendiert, tendiert cos(h/2) gegen 1. Also

lim (2sin(h/2))/h = 1.

Nachdem wir das oben Gesagte festgestellt haben, haben wir

(sinx)' = lim(sin(x+h)-sinx)/h) = lim((2sin(h/2))/h)cos(x+h/2)) = cosx.

Betrachten Sie den Graphen von j = Sünde θ : SinusdiagrammAuf einer intuitiven Ebene bedeutet „die Ableitung des Sinus ist der Kosinus“, dass, wenn wir den Wert von erhöhen θ nur leicht, dann die entsprechende Änderung in Sünde θ ist ungefähr proportional zu diesem Anstieg, mit cos θ die Proportionalitätskonstante ist. Dies kann folgendermaßen visualisiert werden: Visuelle Darstellung des DerivatsMit anderen Worten, die Aussage

D Sünde θ D θ = cos θ
wird übersetzt in
Sünde ( θ + ε ) Sünde θ ε cos θ (als  ε 0 )
Wenn wir die LHS erweitern, bekommen wir
Sünde θ cos ε + cos θ Sünde ε Sünde θ
Nahe ε = 0 , die linearen Näherungen von Sünde ε Und cos ε Sind ε Und 1 bzw. * Natürlich werden die Graphen von Sinus und Cosinus nie wirklich linear, aber wir können uns vorstellen, weit genug hineinzuzoomen, damit sie klein sind ε , Sünde ε = ε Und cos ε = 1 . Die LHS wird
ε cos θ
nach Bedarf. Dieser Ansatz kann auch verwendet werden, um die Ableitung von zu finden cos θ :
cos ( θ + ε ) cos θ = cos θ cos ε Sünde θ Sünde ε cos θ ε Sünde θ
Es ist eigentlich nicht allzu schwierig, diese Argumente rigoros zu machen. Dies läuft jedoch darauf hinaus, dies zu beweisen
lim θ 0 Sünde θ θ = 1
was bedeutet, dass es dem konventionellen Ansatz ähnlich ist, der die Differenzierung von ersten Prinzipien verwendet. Es könnte auch möglich sein, nicht standardmäßige Analysen zu verwenden.


* Beachten Sie, dass es viele geometrische Argumente gibt, die man verwenden kann, um die linearen Näherungen zu rechtfertigen, was bedeutet, dass wir die Verwendung von Maclaurin-Reihen vermeiden können.

Berücksichtige das

Sünde ( X + H ) = Sünde ( X ) cos ( H ) + cos ( X ) Sünde ( H ) Sünde ( X ) + H cos ( X ) .
Diese Argumentation kann rigoros gemacht werden, wenn wir das beweisen können Sünde ' ( 0 ) = 1 Und cos ' ( 0 ) = 0 . Dies geschieht normalerweise mit einem geometrischen Argument . Dann seit F ' ( X ) ist die eindeutige Nummer für die F ( X + H ) = F ( X ) + F ' ( X ) H + Ö ( H ) als H 0 ,
Sünde ( H ) = H + Ö ( H ) cos ( H ) = 1 + Ö ( H ) .
Somit,
Sünde ( X + H ) = Sünde ( X ) ( 1 + Ö ( H ) ) + cos ( X ) ( H + Ö ( H ) ) = Sünde ( X ) + H cos ( X ) + Sünde ( X ) Ö ( H ) + cos ( X ) Ö ( H ) = Sünde ( X ) + H cos ( X ) + Ö ( H ) .
Wir können ein ähnliches Argument anführen, um das zu beweisen cos ' ( X ) = Sünde ( X ) .