Am dat drumul la masina de calcul, ca sa raspund mai usor...
sage: # introducem cateva variabile
sage: var( 'a,b' );
sage:
sage: # definim o expresie simbolica acolo...
sage: y = (a^2+b^2) / (4*a*b )
sage: # il asociez pe x ca in problema
sage: x = y + 1/(4*y)
sage: # cer masinii cateva factorizari
sage:
sage: factor( x+1 )
1/4*(a + b)^4/((a^2 + b^2)*a*b)
sage: factor( x-1 )
1/4*(a - b)^4/((a^2 + b^2)*a*b)
de aici incolo lucrurile ar trebui sa fie relativ simple, daca extragem radicalul de ordinul patru folosind precauti modulul. Probabil ca dam de
(Mai departe nu ar trebui sa se insiste, incat sa comparam numaratorul de exemplu cu 2. max( |a|, |b| ) ... )