$c^2 = 2x^2 + 1$ den devam edelim.
$AO \geq GO$ uygularsak: $c^2 = 2x^2 + 1 \geq 2x \sqrt 2$
$2c^2 = c^2 + 2x^2 + 1 \geq 2x^2 + 1 + 2x\sqrt 2$
$(c\sqrt 2)^2 \geq (x\sqrt 2 + 1)^2$
$c \sqrt 2 \geq x\sqrt 2 + 1$
$c-x \geq \dfrac 1{\sqrt 2}$
Eşitlik $2x^2 = 1 \Rightarrow x = \dfrac {1}{\sqrt 2}$ iken sağlanır.
Kaynak:
AoPS