31.05.2013 Views

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 ...

SHOW MORE
SHOW LESS

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:

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!