ja, gibt es in der Tat: x≈1.6850. Die Existenz lässt sich (leicht) mit dem Zwischenwertsatz zeigen. Es gibt allerdings eine sehr clevere Substitution (Vieta) mit der du das sogar rein-algebraisch lösen kannst. (schwerer, aber cooler!)
Option Zwischenwertsatz:
wir definieren die Funktion f(x)=x3−2x. Der Zwischenwertsatz besagt:
Sei
f : [a,b]→R eine Funktion mit
a,b∈R und
a<b. Sei
s ein Wert zwischen den beiden Funktionswerten
f(a) und
f(b). Es gilt also
f(a)≤s≤f(b) oder
f(b)≤s≤f(a). Dann gibt es mindestens eine relle Zahl
x∈[a,b] mit
f(x)=s.
Als Polynom ist f stetig auf ganz R, also insbesondere auf [−2,2]⊂R. Wir betrachten fortan f∣[−2,2]. Nun ist f(−2)=−4≤2≤f(2)=4, also exisitiert nach dem ZWS ein x∈[−2,2], so dass f(x)=2.
Zur Stetigkeit:
gegeben sei f : R→R,x↦x3−2x. Die formale Definition lautet:
Für alle
ε>0 exisitiert ein
δ>0, so dass für alle
x,x0∈R gilt, dass
∣x−x0∣<δ⇒∣f(x)−f(x0)∣<ε
Wir schätzen ∣f(x)−f(x0)∣ nach oben ab:∣f(x)−f(x0)∣=∣x3−2x−x03+2x0∣=∣(x3−x03)+2(x0−x)∣≤∣x3−x03∣+2∣x0−x∣<∣x3−x03∣+2δ=∣(x−x0)(x2+x⋅x0+x02)∣+2δ<δ∣x2+x⋅x0+x02∣+2δ Du jast jetzt (fast) eine binomische Formel im Betrag. Addiere +x0⋅x−x0⋅x, schätze nochmal mit der Dreiecksungleichung ab...