Pythagoräische trigonometrische Identität - Pythagorean trigonometric identity

Die pythagoreische trigonometrische Identität , auch einfach die pythagoreische Identität genannt , ist eine Identität , die den Satz des Pythagoras in Bezug auf trigonometrische Funktionen ausdrückt . Zusammen mit den Winkelsummenformeln ist sie eine der grundlegenden Beziehungen zwischen den Sinus- und Cosinusfunktionen .

Die Identität ist

Wie üblich bedeutet sin 2 θ .

Beweise und ihre Beziehungen zum Satz des Pythagoras

Ähnliche rechtwinklige Dreiecke mit Sinus und Cosinus des Winkels θ

Beweis basierend auf rechtwinkligen Dreiecken

Alle ähnlichen Dreiecke haben die Eigenschaft, dass, wenn wir in allen den gleichen Winkel wählen, das Verhältnis der beiden Seiten, die den Winkel definieren, gleich ist, unabhängig davon, welches ähnliche Dreieck ausgewählt wird, unabhängig von seiner tatsächlichen Größe: Die Verhältnisse hängen von den drei Winkel, nicht die Seitenlängen. Somit ist für jedes der ähnlichen rechtwinkligen Dreiecke in der Abbildung das Verhältnis seiner horizontalen Seite zu seiner Hypotenuse das gleiche, nämlich cos .

Die elementaren Definitionen der Sinus- und Kosinusfunktionen in Bezug auf die Seiten eines rechtwinkligen Dreiecks sind:

Die pythagoräische Identität folgt, indem beide Definitionen oben quadriert und hinzugefügt werden; die linke Seite der Identität wird dann

was nach dem Satz des Pythagoras gleich 1 ist. Diese Definition gilt für alle Winkel, aufgrund der Definition von Definieren und für den Einheitskreis und damit und für einen Kreis mit dem Radius c und der unser Dreieck in der y-Achse widerspiegelt und die Einstellung und .

Alternativ können die bei trigonometrischer Symmetrie, Verschiebung und Periodizität gefundenen Identitäten verwendet werden. Anhand der Periodizitätsidentitäten können wir sagen, wenn die Formel für −π < θ ≤ π gilt, dann gilt sie für alle reellen θ . Als nächstes beweisen wir den Bereich π/2 < θ ≤ π, dazu sei t = θ − π/2, t liegt nun im Bereich 0 < t ≤ π/2. Wir können dann quadrierte Versionen einiger grundlegender Schichtidentitäten verwenden (das Quadrieren entfernt bequem die Minuszeichen):

Es bleibt nur noch zu beweisen für −π < θ < 0; Dies kann durch Quadrieren der Symmetrieidentitäten erfolgen, um zu erhalten

Verwandte Identitäten

Ähnliche rechtwinklige Dreiecke veranschaulichen die trigonometrischen Tangens- und Sekantenfunktionen.

Die Identitäten

und

werden auch pythagoräische trigonometrische Identitäten genannt. Wenn ein Schenkel eines rechtwinkligen Dreiecks die Länge 1 hat, ist die Tangente des an diesen Schenkel angrenzenden Winkels die Länge des anderen Schenkels und die Sekante des Winkels die Länge der Hypotenuse.

und:

Auf diese Weise folgt diese trigonometrische Identität mit Tangente und Sekante aus dem Satz des Pythagoras. Der Winkel gegenüber dem Schenkel der Länge 1 (dieser Winkel kann mit φ = π/2 − θ bezeichnet werden) hat einen Kotangens gleich der Länge des anderen Schenkels und einen Kosekans gleich der Länge der Hypotenuse. Damit folgt auch diese trigonometrische Identität mit Kotangens und Kosekans aus dem Satz des Pythagoras.

Die folgende Tabelle zeigt die Identitäten mit dem Faktor oder Divisor, der sie mit der Hauptidentität in Beziehung setzt.

Ursprüngliche Identität Divisor Teilergleichung Abgeleitete Identität Abgeleitete Identität (Alternativ)

Beweis mit dem Einheitskreis

Punkt P (x,y) auf dem Kreis mit Einheitsradius unter einem stumpfen Winkel θ > π/2
Sinusfunktion auf dem Einheitskreis (oben) und ihr Graph (unten)

Der Einheitskreis, der im Ursprung in der euklidischen Ebene zentriert ist, wird durch die Gleichung definiert:

Bei einem Winkel θ gibt es einen eindeutigen Punkt P auf dem Einheitskreis unter einem Winkel θ von der x- Achse, und die x- und y- Koordinaten von P sind:

Folglich aus der Gleichung für den Einheitskreis:

die pythagoräische Identität.

In der Abbildung hat der Punkt P eine negative x-Koordinate und wird passenderweise durch x = cos θ gegeben , was eine negative Zahl ist: cos θ = −cos(π− θ ). Punkt P hat eine positive y- Koordinate und sin θ = sin(π− θ ) > 0. Wenn θ von Null auf den Vollkreis θ = 2π ansteigt , ändern Sinus und Kosinus in den verschiedenen Quadranten das Vorzeichen, um x und y . zu halten mit den richtigen Vorzeichen. Die Abbildung zeigt, wie sich das Vorzeichen der Sinusfunktion ändert, wenn sich der Quadrant des Winkels ändert.

Da die x- und y- Achsen senkrecht sind, ist diese pythagoreische Identität äquivalent zum Satz des Pythagoras für Dreiecke mit Hypotenuse der Länge 1 (der wiederum äquivalent zum vollständigen Satz des Pythagoras durch Anwenden eines ähnlichen Dreiecks-Arguments ist). Siehe Einheitskreis für eine kurze Erklärung.

Nachweis mit Potenzreihen

Die trigonometrischen Funktionen können auch mit Potenzreihen definiert werden , nämlich (für x ein Winkel im Bogenmaß gemessen ):

Unter Verwendung des formalen Multiplikationsgesetzes für Potenzreihen bei Multiplikation und Division von Potenzreihen (geeignet modifiziert, um die Form der Reihe hier zu berücksichtigen) erhalten wir

Im Ausdruck für sin 2 muss n mindestens 1 sein, während im Ausdruck für cos 2 der konstante Term gleich 1 ist. Die restlichen Terme ihrer Summe sind (ohne gemeinsame Faktoren)

nach dem Binomialsatz . Folglich,

das ist die trigonometrische Identität des Pythagoras.

Wenn die trigonometrischen Funktionen auf diese Weise definiert sind, zeigt die Identität in Kombination mit dem Satz des Pythagoras, dass diese Potenzreihen den Einheitskreis parametrisieren , den wir im vorherigen Abschnitt verwendet haben. Diese Definition konstruiert die Sinus- und Kosinusfunktionen in einer strengen Weise und beweist, dass sie differenzierbar sind, so dass sie tatsächlich die beiden vorherigen subsumiert.

Beweis mit der Differentialgleichung

Sinus und Cosinus können als die beiden Lösungen der Differentialgleichung definiert werden:

y (0) = 0, y ' (0) = 1 bzw. y (0) = 1, y ' (0) = 0 erfüllen . Aus der Theorie der gewöhnlichen Differentialgleichungen folgt, dass die erste Lösung, der Sinus, die zweite, den Kosinus, als Ableitung hat, und daraus folgt, dass die Ableitung des Kosinus das Negative des Sinus ist. Die Identität ist äquivalent zu der Behauptung, dass die Funktion

konstant und gleich 1 ist. Differenzieren mit der Kettenregel ergibt:

also ist z nach dem Mittelwertsatz konstant . Eine Berechnung bestätigt, dass z (0) = 1 und z eine Konstante ist, also z = 1 für alle x , so dass die pythagoreische Identität hergestellt ist.

Ein ähnlicher Beweis kann unter Verwendung von Potenzreihen wie oben durchgeführt werden, um festzustellen, dass der Sinus als Ableitung den Kosinus hat und der Kosinus als Ableitung den negativen Sinus hat. Tatsächlich führen die Definitionen durch gewöhnliche Differentialgleichungen und durch Potenzreihen zu ähnlichen Herleitungen der meisten Identitäten.

Dieser Identitätsbeweis hat keinen direkten Zusammenhang mit Euklids Demonstration des Satzes des Pythagoras.

Beweis mit der Eulerschen Formel

Die Eulersche Formel besagt, dass

So,

.

Siehe auch

Anmerkungen

  1. ^ Lawrence S. Leff (2005). PreCalculus der einfache Weg (7. Aufl.). Barrons Bildungsreihe. P. 296 . ISBN  0-7641-2892-2.
  2. ^ Dieses Ergebnis erhält man mit der Distanzformelfür die Distanz vom Ursprung zum Punkt. Siehe Cynthia Y. Young (2009). Algebra und Trigonometrie (2. Aufl.). Wiley. P. 210. ISBN 978-0-470-22273-7.Dieser Ansatz setzt den Satz des Pythagoras voraus. Alternativ könnte man einfach Werte ersetzen und feststellen, dass der Graph ein Kreis ist.
  3. ^ Thomas W. Hungerford , Douglas J. Shaw (2008). "§6.2 Die Sinus-, Cosinus- und Tangensfunktionen" . Contemporary Precalculus: A Graphing Approach (5. Aufl.). Cengage-Lernen. P. 442. ISBN  978-0-495-10833-7.
  4. ^ James Douglas Hamilton (1994). "Power-Reihe" . Zeitreihenanalyse . Princeton University Press. P. 714. ISBN  0-691-04289-6.
  5. ^ Steven George Krantz (2005). "Definition 10.3" . Realanalyse und Grundlagen (2. Aufl.). CRC-Presse. S. 269–270. ISBN  1-58488-483-5.
  6. ^ Tyn Myint U., Lokenath Debnath (2007). "Beispiel 8.12.1" . Lineare partielle Differentialgleichungen für Wissenschaftler und Ingenieure (4. Aufl.). Springer. P. 316. ISBN  978-0-8176-4393-5.