da Gatto89 » 21/12/2008, 19:42
Il fatto che la somma sia congrua a 0 non significa che lo sia ognuno dei due termini... ti faccio un esempio:
$2 + 3 \equiv 0 \ (mod 5)$ ma ovviamente non esistono $a_1, a_2 \in mathbb{Z}$ tali che $2 = 5\cdota_1 $ e $3 = 5\cdota_2$
(tuttavia si può facilmente notare che vale il viceversa).
"La reductio ad absurdum è una delle più belle armi di un matematico. È un gambetto molto più raffinato di qualsiasi gambetto degli scacchi: un giocatore di scacchi può offrire in sacrificio un pedone o anche qualche altro pezzo, ma il matematico offre la partita."