Hallo Mathegirl,
(y-x) * (y+x) * ey^2 ≥ ey^2 - ex^2 | : ey^2 [≠0]
y2 - x2 ≥ 1 - ex^2 / ey^2
y2 - x2 ≥ 1 - ex^2-y^2
Setze z = y2 - x2 ( > 0 , da nach Voraussetzung 0<x<y )
z ≥ 1 - e-z
1 - e-z - z ≤ 0 (# ?)
Betrachte f(z) = 1 - e-z - z mit Df = ℝ+
Es gilt:
f '(z) = e-z - 1 < 0 (→ f streng monoton fallend) und limz→0+ f(z) = 0-
→ # und damit die Behauptung
Gruß Wolfgang