Poate m-am complicat eu, dar nu am gasit o solutie usoara.
Pentru ca radicalii sa existe trebuie ca
deci
si analog
si astfel
, deci
. WLOG
(cazurile in care doua variabile sunt egale se verifica imediat) . Distingem doua cazuri:
Cazul I:
. Atunci:
Fie
. Atunci
, si
. Inecuatia de mai sus este:
care, cu ajutorul calculatorului, da
sau
, contradictie cu faptul ca
.
Cazul II:
. Aplicam Holder:
Deci