De aici se vede radacina t=1.
Ceea ce conduce la un factor cunoscut pentru ecuatia initiala. Cel mai usor mi-e sa cer computerului descompunerea.
(Ma scuteste de tiparit.)
sage: var( 'x,m' );
sage: factor( x^4 - (m-1)*x^3 + m*x^2 - (m-1)*x + 1 )
-(m*x - x^2 - 2*x - 1)*(x^2 - x + 1)
Factorul x² - x + 1 putem sa-l dam la o parte. Ne alegem cu o problema mai simpla... Cum continuam? (Ce conditii legate de discriminant, suma coeficientilor si produsul lor putem scrie in mod *echivalent* ?)