Tesi di Laurea di Valentina Boccini - Dipartimento di Matematica e ...
Tesi di Laurea di Valentina Boccini - Dipartimento di Matematica e ...
Tesi di Laurea di Valentina Boccini - Dipartimento di Matematica e ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
CAPITOLO 1. LEZIONI 15<br />
Dimostriamo adesso che, comunque pren<strong>di</strong>amo una terna pitagorica primitiva,<br />
possiamo determinare m, n in modo tale che la terna si possa scrivere<br />
in questa forma: cominciamo quin<strong>di</strong> con il considerare una generica terna<br />
pitagorica primitiva (a, b, c). Abbiamo visto che uno ed uno solo tra a e b è<br />
pari: supponiamo che a sia <strong>di</strong>spari e b pari.<br />
Sia d = MCD(c + a, c − a),<br />
d è pari perché è il massimo comun <strong>di</strong>visore <strong>di</strong> due numeri pari.<br />
Inoltre d <strong>di</strong>vide la somma: (c + a) + (c − a) = 2c<br />
e la <strong>di</strong>fferenza: (c + a) − (c − a) = 2a,<br />
ma MCD(a, c) = 1, quin<strong>di</strong> d = 2.<br />
(In realtà sappiamo solo che MCD(a, b, c) = 1, ma si <strong>di</strong>mostra facilmente<br />
che, dovendo essere sod<strong>di</strong>sfatta la con<strong>di</strong>zione a 2 + b 2 = c 2 , allora anche<br />
MCD(a, b) = MCD(a, c) = MCD(b, c) = 1: provare a verificarlo per<br />
esercizio.)<br />
Siano u, v interi positivi tali che<br />
c + a = 2u, c − a = 2v.<br />
Poiché MCD(c + a, c − a) = 2, allora MCD(u, v) = 1.<br />
Inoltre:<br />
b 2 = c 2 − a 2 2 b<br />
= (c + a)(c − a) = 4uv, ⇒ = uv.<br />
2<br />
Quin<strong>di</strong> u, v devono essere necessariamente dei quadrati.<br />
Poniamo u = m 2 , v = n 2 .<br />
⇒ b 2 = 4m 2 n 2 ⇒ b = 2mn,<br />
2c = 2(u + v) = 2(m 2 + n 2 ) ⇒ c = m 2 + n 2 ,<br />
2a = 2(u − v) = 2(m 2 − n 2 ) ⇒ a = m 2 − n 2 .<br />
(m, n sono <strong>di</strong> <strong>di</strong>versa parità perché altrimenti (a, b, c) sarebbero tutti pari,<br />
ma abbiamo scelto la terna primitiva).<br />
La <strong>di</strong>mostrazione originale <strong>di</strong> Euclide consiste in complessi passaggi geometrici<br />
e si può trovare in [11].<br />
Abbiamo visto quin<strong>di</strong> che ogni terna pitagorica primitiva ha questa forma.<br />
Quale sarà la forma generale delle terne pitagoriche? Una terna pitagorica<br />
può essere primitiva, oppure multiplo <strong>di</strong> una primitiva: