Come consideri il fattore # a ^ 2 + b ^ 2 #?

Mentre #a^2-b^2 = (a+b)(a-b)# è molto semplice, da considerare #a^2+b^2# richiede l'uso di numeri complessi.

If #i = sqrt(-1)# poi

#(a+ib)(a-ib)#

#=a^2+iab-iab-i^2b#

#= a-i^2b#

#= a^2-(-1)b^2#

#= a^2 + b^2#

So #a^2+b^2 = (a+ib)(a-ib)#, ma non esiste altro factoring con coefficienti numerici reali.