Zum Inhalt springen
Topos Uranos

Zusammenfassung

Diese Lektion löst die Gleichungen und Ungleichungen, in denen die Unbekannte innerhalb trigonometrischer Funktionen vorkommt. Sie beweist zuerst die allgemeinen Lösungen von sin⁡x=c\sin x = c, cos⁡x=c\cos x = c und tan⁡x=c\tan x = c auf der ganzen reellen Achse, die die mit den Umkehrfunktionen gewonnenen Lösungen in einer Umdrehung durch Periodizität fortsetzen, und zählt, wie viele davon in ein gegebenes Intervall fallen. Danach zeigt sie, wie man die Gleichungen, die sich mit Identitäten, durch Faktorisieren oder mit Vielfachen eines Winkels lösen lassen, über die Gleichheit zweier Sinuswerte oder zweier Kosinuswerte auf diese elementaren Gleichungen reduziert; sie löst die in Sinus und Kosinus linearen Gleichungen mit der harmonischen Form, samt ihrer Lösbarkeitsbedingung, und die homogenen Gleichungen, und sie zeigt, wie Dividieren Lösungen verliert und Quadrieren Lösungen hinzufügt. Schließlich löst sie die Ungleichungen in einer Umdrehung mit dem Einheitskreis und mit Vorzeichentabellen und setzt sie periodisch fort.

Lernziele

  1. Die allgemeinen Lösungen der elementaren Gleichungen für Sinus, Kosinus und Tangens beweisen und anwenden und ihre Lösungen in einem gegebenen Intervall zählen.
  2. Eine trigonometrische Gleichung mithilfe von Identitäten, Faktorisieren, der Gleichheit zweier Sinuswerte oder zweier Kosinuswerte und der harmonischen Form auf elementare Gleichungen reduzieren und entscheiden, wann eine in Sinus und Kosinus lineare Gleichung lösbar ist.
  3. Die Lösungen erkennen, die beim Dividieren verloren gehen, und diejenigen, die beim Quadrieren oder Multiplizieren hinzukommen, und jede gewonnene Lösung in der ursprünglichen Gleichung überprüfen.
  4. Trigonometrische Ungleichungen in einer Umdrehung mit dem Einheitskreis und mit Vorzeichentabellen lösen und ihre allgemeine Lösung angeben.

Die allgemeinen Lösungen der elementaren Gleichungen

Eine trigonometrische Gleichung ist eine Gleichung, in der die Unbekannte im Argument trigonometrischer Funktionen vorkommt, etwa 2sin⁡2x−3sin⁡x+1=02\sin^2 x - 3\sin x + 1 = 0 oder sin⁡3x=sin⁡x\sin 3x = \sin x; sie zu lösen heißt, die Menge aller reellen Zahlen zu finden, die sie erfüllen. In der Lektion über die Arkusfunktionen wurde der Satz über die elementaren Gleichungen bewiesen, der die Lösungen von sin⁡x=c\sin x = c und von cos⁡x=c\cos x = c in [0,2π)\ico{0}{2\pi} angibt. Nun haben Sinus und Kosinus die Periode 2π2\pi und der Tangens die Periode π\pi, nach der Lektion über die trigonometrischen Funktionen und ihre Graphen; daraus folgt, dass sich jede Lösung unendlich oft wiederholt und dass es, um sie alle zu beschreiben, genügt, sie in einem Intervall zu kennen, dessen Länge eine Periode ist. Die Tatsache, die den Übergang von einem solchen Intervall zur ganzen Achse erlaubt, ist eine Variante des Satzes von der Reduktion auf die erste Umdrehung, der in der Lektion über Winkel und ihre Messung bewiesen wurde.

LemmaReduktion auf eine Periode

Seien p>0p > 0 und aa reelle Zahlen. Für jedes reelle xx gibt es genau eine ganze Zahl kk mit x−kp∈[a,a+p)x - kp \in \ico{a}{a + p}.

Eine Maßstabsänderung bildet das Intervall [a,a+p)\ico{a}{a + p} auf die erste Umdrehung [0,2π)\ico{0}{2\pi} ab, und der Satz von der Reduktion auf die erste Umdrehung liefert die gesuchte ganze Zahl. Die Abbildung verwendet a=1a = 1, p=52p = \frac{5}{2} und x=8x = 8.

Beweis

  1. θ=2πp(x−a)=θ0+2kπ,0≤θ0<2π\theta = \frac{2\pi}{p} (x - a) = \dato{t}{\theta_0 + 2k\pi, \quad 0 \leq \theta_0 < 2\pi}

    Sei θ\theta die Zahl, die man aus xx erhält, indem man aa subtrahiert und mit 2πp\frac{2\pi}{p} multipliziert. Nach dem Satz von der Reduktion auf die erste Umdrehung gibt es genau eine ganze Zahl kk und genau ein θ0\theta_0 in [0,2π)\ico{0}{2\pi} mit θ=θ0+2kπ\theta = \theta_0 + 2k\pi.

  2. x−kp=a+p2πθ0→a≤x−kp<a+px - kp = a + \frac{p}{2\pi} \theta_0 \rightarrow \resaltar{a \leq x - kp < a + p}

    Wir multiplizieren mit p2π\frac{p}{2\pi}, das positiv ist und die Ungleichungen erhält, und addieren aa: Die Zahl x−kpx - kp liegt im verlangten Intervall. In der Abbildung ist k=2k = 2 und x−2p=3x - 2p = 3.

  3. a≤x−jp<a+p→0≤θ−2jπ<2π→j=ka \leq x - jp < a + p \rightarrow 0 \leq \resaltar{\theta - 2j\pi} < 2\pi \rightarrow \resaltar{j = k}

    Eindeutigkeit: Erfüllt eine ganze Zahl jj ebenfalls a≤x−jp<a+pa \leq x - jp < a + p, so ergibt sich durch Subtrahieren von aa und Multiplizieren mit 2πp\frac{2\pi}{p}, dass θ−2jπ\theta - 2j\pi in [0,2π)\ico{0}{2\pi} liegt, sodass θ=(θ−2jπ)+2jπ\theta = \left( \theta - 2j\pi \right) + 2j\pi eine andere Zerlegung wie die aus dem ersten Schritt ist; nach der Eindeutigkeit, die der Reduktionssatz liefert, gilt j=kj = k.

SatzAllgemeine Lösungen

Sei cc eine reelle Zahl mit ∣c∣≤1\abs{c} \leq 1. Die Lösungen von sin⁡x=c\sin x = c sind die Zahlen arcsin⁡c+2kπ\arcsin c + 2k\pi und π−arcsin⁡c+2kπ\pi - \arcsin c + 2k\pi, und die von cos⁡x=c\cos x = c die Zahlen arccos⁡c+2kπ\arccos c + 2k\pi und −arccos⁡c+2kπ-\arccos c + 2k\pi, wobei kk die ganzen Zahlen durchläuft. Für jedes reelle cc sind die Lösungen von tan⁡x=c\tan x = c die Zahlen arctan⁡c+kπ\arctan c + k\pi mit ganzzahligem kk. Ist ∣c∣>1\abs{c} > 1, so haben die Gleichungen für Sinus und Kosinus keine Lösung.

In der Schreibweise der Mengen und der logischen Junktoren lautet der Satz so:

sin⁡x=c↔x=arcsin⁡c+2kπ∨x=π−arcsin⁡c+2kπ,k∈Z\sin x = c \leftrightarrow x = \arcsin c + 2k\pi \vee x = \pi - \arcsin c + 2k\pi, \quad k \in \mathbb{Z}
cos⁡x=c↔x=±arccos⁡c+2kπ,tan⁡x=c↔x=arctan⁡c+kπ,k∈Z\cos x = c \leftrightarrow x = \pm \arccos c + 2k\pi, \qquad \tan x = c \leftrightarrow x = \arctan c + k\pi, \quad k \in \mathbb{Z}

Man arbeitet zuerst auf [−π2,3π2)\ico{-\frac{\pi}{2}}{\frac{3\pi}{2}}, einer Umdrehung, die in zwei Stücke zerlegt wird: Auf [−π2,π2]\icc{-\frac{\pi}{2}}{\frac{\pi}{2}} ist der Sinus streng monoton wachsend, nach dem Satz über die Monotonie auf den Hauptintervallen, den die Lektion über die Arkusfunktionen aus dem Axiom des Durchlaufens nach Bogenlänge herleitet, und auf (π2,3π2)\ioo{\frac{\pi}{2}}{\frac{3\pi}{2}} wirkt die Symmetrie der Supplementwinkel, sin⁡(π−x)=sin⁡x\sin(\pi - x) = \sin x, aus der Lektion über die trigonometrischen Verhältnisse. Das Lemma überträgt das Ergebnis auf die ganze Achse, und die Gleichung für den Kosinus wird auf die für den Sinus reduziert. Die Abbildungen verwenden c=12c = \frac{1}{2} mit arcsin⁡c=π6\arcsin c = \frac{\pi}{6}.

Beweis

  1. −π2≤x≤π2→(sin⁡x=c↔x=α)\dato{a}{-\frac{\pi}{2} \leq x \leq \frac{\pi}{2} \rightarrow \left( \sin x = c \leftrightarrow x = \alpha \right)}

    Sei α=arcsin⁡c\alpha = \arcsin c; diese Zahl liegt in [−π2,π2]\icc{-\frac{\pi}{2}}{\frac{\pi}{2}} und erfüllt sin⁡α=c\sin \alpha = c. Da der Sinus auf diesem Intervall streng monoton wachsend ist, nimmt er dort keinen Wert zweimal an: α\alpha ist die einzige Lösung in der ersten Hälfte der Umdrehung. Auf dem Einheitskreis ist P(α)P(\alpha) der Punkt der rechten Hälfte, der auf der Höhe cc liegt.

  2. sin⁡x=sin⁡(π−x)=c↔π−x=α↔x=π−α\sin x = \resaltar{\sin(\pi - x)} = c \leftrightarrow \resaltar{\pi - x = \alpha} \leftrightarrow \dato{b}{x = \pi - \alpha}

    Liegt xx in (π2,3π2)\ioo{\frac{\pi}{2}}{\frac{3\pi}{2}}, so liegt der Winkel π−x\pi - x in (−π2,π2)\ioo{-\frac{\pi}{2}}{\frac{\pi}{2}} und hat denselben Sinus wie xx. Nach dem vorangehenden Schritt ist xx genau dann eine Lösung, wenn π−x=α\pi - x = \alpha gilt: Die horizontale Gerade der Höhe cc schneidet die linke Hälfte im symmetrischen Punkt P(π−α)P(\pi - \alpha).

  3. sin⁡x=sin⁡x0=c↔x=α+2kπ∨x=π−α+2kπ\sin x = \resaltar{\sin x_0} = c \leftrightarrow \dato{g}{\resaltar{x = \alpha + 2k\pi \vee x = \pi - \alpha + 2k\pi}}

    Sei nun xx eine beliebige reelle Zahl. Nach dem Lemma, mit p=2πp = 2\pi und a=−π2a = -\frac{\pi}{2}, schreibt man x=x0+2kπx = x_0 + 2k\pi mit x0x_0 in der untersuchten Umdrehung, und wegen der Periodizität gilt sin⁡x=sin⁡x0\sin x = \sin x_0. Daher ist xx genau dann eine Lösung, wenn x0x_0 gleich α\alpha oder π−α\pi - \alpha ist.

  4. α=±π2→π−α=α∨π−α=α+2π\alpha = \pm \frac{\pi}{2} \rightarrow \resaltar{\pi - \alpha = \alpha} \vee \resaltar{\pi - \alpha = \alpha + 2\pi}

    Umgekehrt ist jede Zahl dieser beiden Familien eine Lösung, ebenfalls wegen der Periodizität. Im Graphen des Sinus schneidet die Gerade y=cy = c die Kurve in zwei Punkten pro Periode. Ist c=1c = 1 oder c=−1c = -1, so fallen die beiden Familien zusammen, weil sich π−α\pi - \alpha von α\alpha um ein Vielfaches von 2π2\pi unterscheidet, und es gibt nur einen Schnittpunkt pro Periode.

  5. π2−x=π2−arccos⁡c+2kπ∨π2−x=π2+arccos⁡c+2kπ\frac{\pi}{2} - x = \resaltar{\frac{\pi}{2} - \arccos c} + 2k\pi \vee \frac{\pi}{2} - x = \resaltar{\frac{\pi}{2} + \arccos c} + 2k\pi

    Für den Kosinus verwendet man die Symmetrie der Komplementwinkel, cos⁡x=sin⁡(π2−x)\cos x = \sin\left( \frac{\pi}{2} - x \right), und den Satz über die Komplementwinkel aus der Lektion über die Arkusfunktionen, arcsin⁡c=π2−arccos⁡c\arcsin c = \frac{\pi}{2} - \arccos c. Wendet man den vorangehenden Schritt auf den Winkel π2−x\frac{\pi}{2} - x an, so erhält man zwei Familien.

  6. cos⁡x=c↔x=±arccos⁡c+2kπ\cos x = c \leftrightarrow \resaltar{x = \pm \arccos c + 2k\pi}

    Nach xx aufgelöst, sind die Familien arccos⁡c−2kπ\arccos c - 2k\pi und −arccos⁡c−2kπ-\arccos c - 2k\pi; da −k-k die ganzen Zahlen durchläuft, wenn kk sie durchläuft, sind es die der Aussage. Auf dem Kreis sind die Punkte P(β)P(\beta) und P(−β)P(-\beta) mit β=arccos⁡c\beta = \arccos c die beiden Schnittpunkte der vertikalen Geraden mit der Abszisse cc.

  7. tan⁡x=tan⁡x0=c↔x=arctan⁡c+kπ\tan x = \resaltar{\tan x_0} = c \leftrightarrow \resaltar{x = \arctan c + k\pi}

    Für den Tangens mit der Periode π\pi wendet man das Lemma mit p=πp = \pi und a=−π2a = -\frac{\pi}{2} an: Ist x=x0+kπx = x_0 + k\pi mit x0x_0 in (−π2,π2)\ioo{-\frac{\pi}{2}}{\frac{\pi}{2}}, wo der Tangens eine Bijektion auf R\mathbb{R} ist, so ist die einzige Lösung x0=arctan⁡cx_0 = \arctan c; der Punkt −π2-\frac{\pi}{2} zählt nicht, weil der Tangens dort nicht definiert ist. Ist ∣c∣>1\abs{c} > 1, so erreichen weder Sinus noch Kosinus den Wert cc, weil ihre Werte in [−1,1]\icc{-1}{1} liegen.

Da zum Beispiel arcsin⁡(−12)=−π6\arcsin\left( -\frac{1}{2} \right) = -\frac{\pi}{6} gilt, sind die Lösungen von sin⁡x=−12\sin x = -\frac{1}{2} die der beiden folgenden Familien; mit k=1k = 1 in der ersten und k=0k = 0 in der anderen erhält man die beiden, die in [0,2π)\ico{0}{2\pi} liegen, nämlich 11π6\frac{11\pi}{6} und 7π6\frac{7\pi}{6}, wie in der Lektion über die Arkusfunktionen.

sin⁡x=−12↔x=−π6+2kπ∨x=7π6+2kπ,k∈Z\sin x = -\frac{1}{2} \leftrightarrow x = -\frac{\pi}{6} + 2k\pi \vee x = \frac{7\pi}{6} + 2k\pi, \quad k \in \mathbb{Z}

Die Lösungen von sin⁡x=0\sin x = 0 bilden zwei Familien, 2kπ2k\pi und π+2kπ\pi + 2k\pi, die zusammen die ganzzahligen Vielfachen von π\pi sind; die von cos⁡x=0\cos x = 0 sind ±π2+2kπ\pm\frac{\pi}{2} + 2k\pi, die zusammen die Zahlen π2+kπ\frac{\pi}{2} + k\pi sind. Diese beiden kompakten Beschreibungen werden oft verwendet:

sin⁡x=0↔x=kπ,cos⁡x=0↔x=π2+kπ,k∈Z\sin x = 0 \leftrightarrow x = k\pi, \qquad \cos x = 0 \leftrightarrow x = \frac{\pi}{2} + k\pi, \quad k \in \mathbb{Z}

Die Anzahl der Lösungen in einem Intervall

Fragen zu trigonometrischen Gleichungen beschränken sich meist auf ein Intervall, fast immer [0,2π)\ico{0}{2\pi}. Das Lemma besagt, dass jede Familie der Form x1+2kπx_1 + 2k\pi genau ein Element in [a,a+2π)\ico{a}{a + 2\pi} hat, wie auch immer aa gewählt ist; daraus folgt die Anzahl der Lösungen der elementaren Gleichungen in einer beliebigen Umdrehung.

SatzLösungen in einer Umdrehung

Seien aa und cc reelle Zahlen. Ist ∣c∣<1\abs{c} < 1, so hat jede der Gleichungen sin⁡x=c\sin x = c und cos⁡x=c\cos x = c genau zwei Lösungen in [a,a+2π)\ico{a}{a + 2\pi}, und ist ∣c∣=1\abs{c} = 1, genau eine. Die Gleichung tan⁡x=c\tan x = c hat genau eine Lösung in [a,a+π)\ico{a}{a + \pi}.

Jede Lösungsfamilie steuert nach dem Lemma genau ein Element zur Umdrehung bei; es genügt zu wissen, wann die beiden Familien des Sinus oder die beiden des Kosinus ein und dieselbe Familie sind. Die Abbildungen verwenden a=1a = 1 mit c=12c = \frac{1}{2} und c=1c = 1.

Beweis

  1. x1+2jπ∈[a,a+2π)↔j=−k\dato{u}{x_1 + 2j\pi \in \ico{a}{a + 2\pi} \leftrightarrow j = -k}

    Sei x1x_1 eine reelle Zahl. Nach dem Lemma, mit p=2πp = 2\pi, gibt es genau eine ganze Zahl kk, für die x1−2kπx_1 - 2k\pi in [a,a+2π)\ico{a}{a + 2\pi} liegt: Die Familie der Zahlen x1+2jπx_1 + 2j\pi mit ganzzahligem jj hat genau ein Element in der Umdrehung.

  2. α+2kπ=π−α+2jπ↔α=π2+(j−k)π↔α=±π2↔c=±1\alpha + 2k\pi = \pi - \alpha + 2j\pi \leftrightarrow \resaltar{\alpha = \frac{\pi}{2} + (j - k)\pi} \leftrightarrow \alpha = \pm \frac{\pi}{2} \leftrightarrow \resaltar{c = \pm 1}

    Sei α=arcsin⁡c\alpha = \arcsin c, in [−π2,π2]\icc{-\frac{\pi}{2}}{\frac{\pi}{2}}. Haben die beiden Familien des Sinus ein gemeinsames Element, so sind sie dieselbe Familie, und das geschieht genau dann, wenn α\alpha gleich π2\frac{\pi}{2} oder −π2-\frac{\pi}{2} ist, das heißt, wenn c=±1c = \pm 1. Daher steuern die beiden Familien im Fall ∣c∣<1\abs{c} < 1 zwei verschiedene Lösungen zur Umdrehung bei und im Fall ∣c∣=1\abs{c} = 1 nur eine.

  3. β+2kπ=−β+2jπ↔β=(j−k)π↔β∈{0,π}↔c=±1\beta + 2k\pi = -\beta + 2j\pi \leftrightarrow \resaltar{\beta = (j - k)\pi} \leftrightarrow \beta \in \left\{ 0, \pi \right\} \leftrightarrow \resaltar{c = \pm 1}

    Sei β=arccos⁡c\beta = \arccos c, in [0,π]\icc{0}{\pi}. Die beiden Familien des Kosinus haben genau dann ein gemeinsames Element, wenn β\beta ein ganzzahliges Vielfaches von π\pi ist, das heißt, wenn β\beta gleich 00 oder π\pi ist, was zu c=±1c = \pm 1 äquivalent ist; die Zählung ist dieselbe wie beim Sinus.

  4. −π2<arctan⁡c<π2→arctan⁡c+kπ≠π2+jπ-\frac{\pi}{2} < \arctan c < \frac{\pi}{2} \rightarrow \resaltar{\arctan c + k\pi \neq \frac{\pi}{2} + j\pi}

    Für den Tangens gibt es nur eine Familie, mit dem Abstand π\pi zwischen aufeinanderfolgenden Elementen, und das Lemma, mit p=πp = \pi, gibt ihr genau ein Element in [a,a+π)\ico{a}{a + \pi}. Dieses Element ist eine Lösung, denn arctan⁡c+kπ\arctan c + k\pi ist nie von der Form π2+jπ\frac{\pi}{2} + j\pi, wo der Tangens nicht definiert ist: arctan⁡c\arctan c liegt in (−π2,π2)\ioo{-\frac{\pi}{2}}{\frac{\pi}{2}}.