20.06.2013 Views

Matematica C3 – Geometria Razionale - Fauser

Matematica C3 – Geometria Razionale - Fauser

Matematica C3 – Geometria Razionale - Fauser

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.

www.matematicamente.it - <strong>Matematica</strong> C 3 <strong>–</strong> <strong>Geometria</strong> <strong>Razionale</strong> <strong>–</strong> 3. Rette parallele<br />

TEOREMA DELLE PARALLELE. Se due rette tagliate da una trasversale formano una coppia di<br />

angoli alterni interni congruenti allora sono parallele.<br />

Dimostrazione. Ragioniamo per assurdo. Supponiamo<br />

che la tesi sia falsa, cioè che le rette a e b non siano parallele.<br />

Se non sono parallele si incontreranno in un punto C.<br />

Allora si viene a formare il triangolo ABC. Per il teorema<br />

dell’angolo esterno del triangolo, l’angolo esterno α è<br />

maggiore dell’angolo interno β. Questa conseguenza<br />

contraddice l’ipotesi del teorema, secondo la quale gli<br />

angoli alterni interni α e β sono congruenti. Allora<br />

abbiamo sbagliato a negare la tesi, che perciò risulta<br />

vera▄<br />

Possiamo generalizzare il teorema precedenti ad altri casi.<br />

CRITERIO DI PARALLELISMO. Se due rette tagliate da una trasversale formano:<br />

■ angoli alterni interni o alterni esterni congruenti oppure<br />

■ angoli corrispondenti congruenti oppure<br />

■ angoli coniugati interni o coniugati esterni supplementari<br />

allora sono parallele.<br />

Dimostrazione. Tenendo conto che due angoli opposti al vertice sono<br />

congruenti e due angoli adiacenti sono supplementari, se risulta che due<br />

angoli corrispondenti qualsiasi sono congruenti, allora i quattro angoli<br />

acuti sono tutti congruenti ed i quattro angoli ottusi sono congruenti, e<br />

quindi anche angoli alterni interni pertanto per il teorema precedente le<br />

rette sono parallele. Analogamente, se risultano supplementari due qualsiasi<br />

angoli coniugati (interni o esterni) risulta sempre che i quattro<br />

angoli acuti sono tutti congruenti tra di loro ed i quattro angoli ottusi<br />

congruenti tra di loro, pertanto gli angoli alterni interni sono congruenti<br />

e, sempre per il teorema precedente, le due rette a e b sono parallele▄<br />

TEOREMA INVERSO DELLE PARALLELE. Se due rette sono parallele allora formano con una<br />

trasversale qualsiasi due angoli alterni interni congruenti.<br />

Dimostrazione. Ragioniamo per assurdo. Supponiamo che la tesi sia<br />

falsa, cioè che esista una coppia di angoli alterni interni α e β per i quali<br />

risulti che α>β. Per il punto P, vertice dell’angolo α si potrà allora tracciare<br />

una retta a’ in modo che l’angolo da essa formato α’ sia<br />

congruente a β. Ne segue che a’ e b sono parallele perché formano<br />

angoli alterni interni congruenti. Allora esisterebbero due rette distinte,<br />

a e a’, passanti per lo stesso punto P entrambe parallele alla retta b.<br />

Questa conclusione contraddice il V postulato di Euclide, secondo il<br />

quale per un punto esterno a una retta passa un’unica parallela. Da<br />

questa contraddizione possiamo concludere che abbiamo sbagliato a<br />

supporre falsa la tesi, in altre parole la tesi è vera▄<br />

In generale possiamo enunciare il seguente<br />

TEOREMA. Se due rette sono parallele allora formano con una trasversale<br />

■ angoli alterni interni o alterni esterni congruenti;<br />

■ angoli corrispondenti congruenti;<br />

■ angoli coniugati interni o coniugati esterni supplementari.<br />

Dimostrazione. Abbiamo già dimostrato che sono congruenti gli angoli alterni interni formati da due parallele<br />

tagliate da una trasversale. Tenendo conto che gli angoli opposti al vertice sono congruenti e gli angoli<br />

adiacenti sono supplementari, si possono dedurre facilmente tutte le tesi di questo teorema.<br />

73<br />

a<br />

b<br />

α<br />

A<br />

B<br />

β<br />

a<br />

a’<br />

b<br />

α'<br />

P<br />

α<br />

β<br />

c<br />

C

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

Saved successfully!

Ooh no, something went wrong!