OliForum Matematico

Dimostrare che un primo dispari [math]p può essere espresso come somma di due quadrati interi se e solo se [math]p \equiv 1 \mod 4.

C'è una dimostrazione di Zagier del verso non banale un po' particolare, nel senso che è spiccatamente breve, ma fa uso di teoria e strumenti più avanzati di quelli che servono nelle dimostrazioni più tradizionali dell'asserto, oltre a proporre un insieme che determinare costruttivamente come risolutivo è tutt'altro che immediato (da dove salta fuori sta roba, ci si chiede...)

lol per il giorno in cui l'ha proposto