y 4 − 2 x 2 y 2 − 6 y 2 + x 4 + 6 x 2 + 5
= ( x 2 − y 2 ) 2 + 6 ( x 2 − y 2 ) + 5
divisori del termine di grado 0: +1, -1, +5, -5
{ ( x 2 − y 2 ) 1 + ( x 2 − y 2 ) 2 = + 6 ( x 2 − y 2 ) 2 · ( x 2 − y 2 ) 1 = + 5
coppia di valori possibili: { ( x + y ) = 1 ( x + y ) = 5
Fattorizzazione: y 4 − 2 x 2 y 2 − 6 y 2 + x 4 + 6 x 2 + 5 = ( x 2 − y 2 + 1 ) · ( x 2 − y 2 + 5 )