3.3 - RETTE PARALLELE

LE DIMOSTRAZIONI “PER ASSURDO”

Il secondo COROLLARIO del Teorema dell’Angolo Esterno,

e il TEOREMA di Unicità della Perpendicolare per un punto dato a una retta data,

sono stati dimostrati tramite un ragionamento “PER ASSURDO”.

Una dimostrazione “PER ASSURDO” consiste nel provare a negare la tesi,

e nel far vedere che così facendo, si giunge a conclusioni che “non stanno in piedi”

perché sono in contrasto

·         o con l’ipotesi,

·         o con qualche assioma,

·         o con qualche teorema già dimostrato in precedenza.

Ma se negando la tesi si perviene a conclusioni assurde, allora resta dimostrato che la tesi è vera!!!

ANGOLI FORMATI DA DUE RETTE CON UNA TRASVERSALE: TERMINOLOGIA

Quando due rette vengono tagliate da una “trasversale” (cioè, da una terza retta che le interseca entrambe)

si formano 8 angoli, che a due a due prendono nomi particolari.

q         CORRISPONDENTI:  e ;   e ;   e ;   e  

q         ALTERNI INTERNI:  e ,   e  

q         ALTERNI ESTERNI:  e ,   e  

q         CONIUGATI INTERNI:  e ,   e  

q         CONIUGATI ESTERNI:  e ,   e  

(alterni = da parti opposte rispetto alla trasversale;

coniugati = dalla stessa parte rispetto alla trasversale)

 TEOREMA (T. D. P., ossia: “T. Diretto sul Parallelismo”)

 Se due rette formano con una trasversale:

1)    due angoli alterni interni uguali

2)    oppure due angoli alterni esterni uguali

3)    oppure due angoli corrispondenti uguali

4)    oppure due angoli coniugati interni supplementari

5)    oppure due angoli coniugati esterni supplementari

 allora sono parallele.

Per ora, adottiamo la seguente

DEFINIZIONE:

“due RETTE si dicono PARALLELE quando giacciono su uno stesso piano

e non si incontrano mai, cioè

non hanno nessun punto in comune”.

Successivamente (pag. 277) passeremo ad

 una definizione “estensiva” di parallelismo.

q         OSSERVAZIONE

In pratica, abbiamo riassunto in un unico enunciato ben 5 teoremi. Ma una volta dimostrato il primo

(“se due rette formano con una trasversale due angoli alterni interni uguali, allora sono parallele”),

il più sarà fatto, perché i quattro rimanenti si ricondurranno facilmente a quello.

DIMOSTRAZIONE di  1):

“se due rette formano con una trasversale due angoli alterni interni uguali, allora sono parallele”.

Supponiamo (HP) che due certe rette a, b formino con una trasv. t due angoli alterni interni uguali: .

Vogliamo dimostrare (TH) che le due rette a, b sono parallele.

Per assurdo.

Se a, b NON fossero parallele, allora si incontrerebbero in un punto,

che per meglio fissare le idee ho chiamato P. Ma in questo modo si formerebbe un triangolo, ABP,

avente un angolo esterno uguale ad un angolo interno ad esso non adiacente!

E ciò non può verificarsi, perché in un triangolo ciascun angolo esterno è sempre MAGGIORE

di ciascun angolo interno non adiacente (Teorema dell’Angolo Esterno).

Perciò è assurdo supporre che le due rette non siano parallele:

bisognerà necessariamente ammettere che lo sono.

La tesi è dimostrata: .

DIMOSTRAZIONE DI  2)

In questo paragrafo la freccia  ,

sovente da noi impiegata per schematizzare

“SE … ALLORA …” (oppure “… IMPLICA …”)

va piuttosto letta

“QUINDI, DI CONSEGUENZA”

Supponiamo che due certe rette a, b formino con una trasversale t due angoli alterni esterni uguali

(quelli indicati con la crocetta).

Allora i due angoli  sono uguali perché opposti al vertice di angoli uguali (pr. transitiva dell’uguaglianza).

Se vogliamo illustrare “formalmente” questo fatto, possiamo utilizzare …

q       … una freccia di implicazione:

q       … oppure una catena:

Ma così siamo ricaduti nel caso (1) (due angoli alterni interni uguali), e la tesi è dimostrata:  

DIMOSTRAZIONE DI  3)

Supponiamo che due certe rette a, b formino con una trasversale t

due angoli corrispondenti uguali (quelli indicati con la crocetta).

Allora i due angoli  sono uguali perché  è opposto al vertice

di un angolo che è uguale a  (proprietà transitiva dell’uguaglianza):

Si ricade nel caso (1) (due angoli alterni interni uguali),

e la tesi è dimostrata:  

DIMOSTRAZIONE DI  4)

Supponiamo che due certe rette a, b formino con una trasversale t due angoli coniugati interni supplementari

(quelli indicati con la crocetta e col cuoricino:  ).

Allora i due angoli  sono uguali perché supplementari dello stesso angolo .

Se vogliamo illustrare “formalmente” questo fatto, possiamo utilizzare …

q       … una freccia di implicazione:

q       … oppure una catena:

Ma così siamo ricaduti nel caso (1)  (due angoli alterni interni uguali), e la tesi è dimostrata:  

DIMOSTRAZIONE DI  5)

Supponiamo che due certe rette a, b formino con una trasversale t

due angoli coniugati esterni supplementari

(quelli indicati con la crocetta e col cuoricino:  )

Allora i due angoli  sono uguali perché:

Si ricade nel caso (1) (due angoli alt. int. uguali), e la tesi è dimostrata:  

 COROLLARIO

Due rette, che siano perpendicolari ad una stessa retta, sono parallele fra loro.

DIM.  Se  e anche , allora tanto  quanto  formano 4 angoli retti con .

           Avremo dunque  perché, ad esempio,

           queste due rette formano con la trasversale r angoli corrispondenti uguali.

OSSERVAZIONE

Abbiamo solo “problemi di abbondanza” per provare la tesi:

a ben guardare, uno qualsiasi dei 5 enunciati di cui consta il precedente

Teor. Diretto sul Parallelismo potrebbe essere utilizzato per concludere che è .

Oppure ancora, potremmo ragionare per assurdo e dire:

se a, b si incontrassero, allora si formerebbe un triangolo con due angoli retti;

ma tale triangolo, come afferma un teorema precedente, non può esistere.

IL PROBLEMA DELL’ ESISTENZA DELLA PARALLELA

Dati un punto P e una retta r, esiste sempre una retta che passi per P e sia parallela a r ?

L’intuizione ci dice: “Senz’altro, sì”.

L’ “esistenza della parallela per un punto dato a una retta data”

potrebbe quindi essere assunta come nuovo assioma.

Ma ciò non è necessario: infatti tale esistenza è dimostrabile come teorema. Vediamo in che modo.

TEOREMA (Esistenza della Parallela per un punto dato a una retta data)

Dati un punto P e una retta r, esiste sempre una retta che passi per P e sia parallela a r.

DIM.

Infatti, se per P conduciamo

·       la perpendicolare  alla retta r,

·       poi la perpendicolare  alla retta ,

avremo che  ed  sono parallele, in quanto perpendicolari alla stessa retta .

IL PROBLEMA DELL’ UNICITA’ DELLA PARALLELA  ♥

Dati un punto P e una retta r, di rette passanti per P e parallele a r ce n’è una sola, o ce n’è più d’una?

L’intuizione ci dice: “Senz’altro, una sola”.

Storicamente furono fatti molti tentativi di dimostrare che questo asserto

poteva essere derivato come conseguenza dagli assiomi precedentemente introdotti.

Ma tutti questi tentativi fallirono.

Finalmente, nel XIX secolo, emerse con definitiva evidenza che

l’ “unicità della parallela” NON può essere dimostrata come teorema

a partire dalla famiglia degli assiomi antecedenti.

L’ “unicità della parallela per un punto dato a una retta data” è quindi UN NUOVO ASSIOMA.

Esso viene denominato anche “postulato di Euclide”, in onore del grande padre della Geometria.

ASSIOMA (POSTULATO DI EUCLIDE, o Assioma dell’UNICITA’ DELLA PARALLELA)

Dati un punto P e una retta r,

NON ESISTE PIU’ DI UNA parallela per P a r.

OSSERVAZIONE

Il Postulato di Euclide, insieme con il teorema, prima dimostrato, secondo cui

“ dati un punto P e una retta r, esiste sempre una retta che passi per P e sia parallela a r  ”,

consente di affermare in definitiva che

“ dati un punto P e una retta r, esiste UNA E UNA SOLA parallela per P a r  ”

 TEOREMA (T. I. P., ossia: “Teorema Inverso sul Parallelismo”)

 Se due rette sono parallele,

 allora formano con una qualsiasi trasversale:

1)    angoli alterni interni uguali

2)    angoli alterni esterni uguali

3)    angoli corrispondenti uguali

4)    angoli coniugati interni supplementari

5)    angoli coniugati esterni supplementari.

Anche qui, più precisamente, siamo di fronte

a ben 5 teoremi, tutti riuniti in un unico enunciato.

Oppure, possiamo dire di avere un unico teorema, con 5 tesi.

Vediamola in questo modo: ci sono 5 tesi da dimostrare,

a partire da una stessa ipotesi.

Ma niente paura, perché, una volta dimostrata la tesi 1),

le altre ne saranno conseguenze pressoché immediate.

 IPOTESI:   

 TESI:

1)     gli alterni interni sono uguali:   

2)     gli alterni esterni sono uguali:   

3)     i corrispondenti sono uguali:     

4)     i coniugati interni sono supplementari:  

5)     i coniugati esterni sono supplementari:  

Notare la coppia di frecce sul disegno:

le utilizzeremo, talvolta (non sempre:

tendono a “sporcare” la figura), per

indicare il parallelismo noto tra due rette.

DIMOSTRAZIONE DELLA TESI  1) 

La nostra HP è ; la tesi è che gli alterni interni sono uguali. Cominciamo col provare che è .

Per assurdo: se questi due angoli non fossero uguali, allora

si potrebbe tracciare, per il punto A, una retta , distinta dalla ,

in modo che questa nuova retta formi un nuovo angolo .

Consideriamo ora le due rette .

Esse formano con la trasversale GH due angoli alterni interni uguali

e perciò è  in virtù del Teorema Diretto sul Parallelismo.

D’altra parte, per ipotesi, è pure .

Ma allora per il punto A passerebbero DUE rette distinte (  ) entrambe parallele alla stessa retta b.

E ciò è in contraddizione col Postulato di Euclide (Unicità della Parallela). Ricapitoliamo:

supponendo che i due angoli  non fossero uguali, siamo giunti a una conclusione che è assurda,

in quanto contraddice un assioma che abbiamo accettato. Resta perciò dimostrato che è .

Ma da  segue subito l’uguaglianza degli altri due alterni interni:

infatti essi sono supplementari di due angoli già dimostrati uguali: .

DIMOSTRAZIONE DELLE TESI  2, 3, 4, 5) 

A questo punto, le tesi 2), 3), 4) e 5) si deducono immediatamente.

Considera la figura qui a fianco: in essa ho segnato ciò che già abbiamo acquisito,

ossia le due uguaglianze  ;  .

Se ora prendi la matita e vai a segnare col puntino ogni angolo che è

opposto al vertice di un angolo “puntino”, e con la crocetta ogni angolo che è

opposto al vertice di un angolo “crocetta”, avrai subito le altre tesi.

SIGNIFICATO “ESTENSIVO” DELL’AGGETTIVO “PARALLELE”

Per tutta una serie di ragioni, è conveniente allargare l’uso dell’aggettivo “parallele”, nel senso di convenire

che, per due rette, anche la “coincidenza” vada pensata come caso particolare di “parallelismo”.

Faremo anche noi così: aggiorniamo dunque la def. di “parallelismo”, stabilendo che due rette complanari si

posson dire “parallele” quando non hanno alcun punto in comune, OPPURE ne hanno infiniti (=coincidono).

Puoi ora controllare che tutti i teoremi precedentemente stabiliti conservano la loro validità

anche con questo significato più “largo” dell’aggettivo “parallele”.

TEOREMA (proprietà transitiva del parallelismo)

Se due rette sono entrambe parallele ad una terza retta, allora sono parallele fra loro.

DIM.   Sia  . Dico che è anche .

Infatti, se per assurdo le due rette  non fossero parallele tra loro,

si incontrerebbero in un punto P; ma allora per P passerebbero DUE distinte rette,

entrambe  alla c, contro il postulato di Euclide. L’assurdo trovato dimostra la tesi.

TEOREMI  (le dimostrazioni sono lasciate al lettore)

 Se due rette sono parallele, allora ogni retta del loro piano, che ne taglia una, intersecherà anche l’altra.

 Se due rette sono parallele, allora ogni perpendicolare a una di esse sarà anche perpendicolare all’altra.