[size=150][color=#0000ff]LA NOMENCLATURA DEGLI ANGOLI TRA RETTE PARALLELE[/color][/size][br]Una proprietà molto importante che si ha ogni volta che si considerano delle rette parallele è la relazione tra gli angoli che esse formano con una qualsiasi retta obliqua che le taglia.[br][br]Nella figura sotto si vede che si formano due gruppi di quattro angoli (un gruppo per ogni retta parallela). Nel disegno i quattro angoli formati con la retta più in alto sono chiamati [math]\alpha[/math], [math]\beta[/math], [math]\gamma[/math]e [math]\delta[/math] (sono le lettere alfa, beta, gamma e delta [i]minuscole[/i] dell'alfabeto greco). Gli angoli formati con la retta più in basso sono chiamati [math]\alpha'[/math], [math]\beta'[/math], [math]\gamma'[/math]e [math]\delta'[/math].[br][br]

Dato che abbiamo otto angoli in tutto, [b]si possono considerare molte coppie di angoli diversi, ognuna delle quali gode di una certa proprietà: è quindi necessario DARE DEI [u]NOMI[/u] A QUESTE COPPIE DI ANGOLI in modo da non fare confusione[/b].[br][br][size=100][b]GLI ANGOLI CORRISPONDENTI[/b][/size][br]Le coppie di angoli a cui abbiamo dato nomi simili, cioè quelli che sono formati dalle semirette corrispondenti in alto ed in basso, sono detto appunto [b]corrispondenti[/b]. Ad esempio [math]\alpha[/math] e [math]\alpha'[/math] sono due angoli corrispondenti, così come [math]\beta[/math] e [math]\beta'[/math], etc...[br][br][size=100][b]ALTRE COPPIE DI ANGOLI[/b][/size][br]Vengono definiti altri nomi per altre coppie di angoli, in particolare due angoli si dicono:[br][list=1][*][b][color=#ff0000]interni[/color][/b] se sono interni alla fascia definita dalle due rette parallele, [b][color=#ff0000]esterni [/color][/b]se sono posizionati esterni ad essa.[/*][*][b][color=#0000ff]alterni[/color][/b] se uno è dalla parte opposta dell'altro rispetto alla retta obliqua, [b][color=#0000ff]coniugati[/color][/b] se sono dalla stessa parte rispetto alla retta obliqua.[br][/*][/list][br]Avremo quindi che ad esempio gli angoli [math]\beta[/math] e [math]\gamma'[/math] sono [color=#0000ff][b]alterni[/b][/color] [color=#ff0000][b]esterni[/b][/color], perchè sono da due parti opposte rispetto alle rette oblique ([b][color=#0000ff]alterni[/color][/b]) e sono all'[color=#ff0000][b]esterno[/b][/color] della fascia delle rette parallele. L'altra coppia di angoli alterni esterni è formata dagli angoli [math]\alpha[/math] e [math]\gamma'[/math]. [br][br]Gli angoli [math]\gamma[/math] e [math]\alpha'[/math] sono invece [color=#0000ff][b]coniugati[/b][/color] (dalla stessa parte rispetto alla retta obliqua) [color=#ff0000][b]interni[/b][/color] (all'interno della fascia). E così via.[br][br]Cerca di individuare le varie coppie di angoli nella figura sotto. Muovendo gli interruttori puoi ricreare tutte le combinazioni e verificare le tue ipotesi.

[size=150][color=#0000ff]LE RELAZIONI TRA LE COPPIE DI ANGOLI[br][/color][/size]Le coppie di angoli individuate dalla nomenclatura che abbiamo definito stanno sempre in certe relazioni particolari, che permettono di dedurre proprietà interessanti delle figure che li contengono.[br][b][color=#ff0000]NOTA: [/color][/b]per "coppia" intendiamo due angoli adiacenti ognuno ad una diversa delle due rette parallele (uno "in alto" ed uno "in basso", o se preferisci uno con il simbolo di ' ed uno senza.). Questo perché le relazioni tra gli angoli nello stesso incrocio (ad esempio [math]\large{\alpha}[/math] e [math]\large{\beta}[/math]) sono già note (sono opposti oppure adiacenti) e non interessanti rispetto al fatto di avere due rette parallele. [br][br]La proprietà fondamentale è questa: [b][color=#ff0000]due angoli alterni (non importa se interni o esterni) sono sempre congruenti tra loro[/color][/b]. Ad esempio [math]\large{\alpha ' \cong \gamma}[/math] (alterni interni)[br][br]Da questa derivano le altre relazioni, che puoi dimostrare facilmente da sola/o sfruttando gli angoli opposti al vertice ed adiacenti:[br][list=1][*][b]due angoli coniugati sono sempre supplementari tra loro[/b].[b] [/b]Ad esempio [math]\large{\alpha ' }[/math] e [math]\large{\delta}[/math] sono supplementari[/*][*][b]due angoli corrispondenti sono sempre congruenti tra loro[/b]. Ad esempio [math]\large{\alpha \cong \alpha '}[/math][/*][/list][br][size=150][color=#0000ff]IL QUINTO POSTULATO DI EUCLIDE E LE GEOMETRIE NON EUCLIDEE[/color][/size][b][br]La proprietà fondamentale che abbiamo enunciato non può essere dimostrata, perché in realtà si tratta di un assioma, o postulato[/b], cioè di un dato di partenza che [i]assumiamo[/i] essere vero perché corrisponde a quello che percepiamo nella realtà. Infatti questa relazione (o per essere più precisi la relazione 1. che come tu stessa/o hai dimostrato è strettamente collegata ad essa) [b]è equivalente a dire che due rette parallele non si incontrano in nessun punto[/b]. Questa affermazione ci sembra naturale ed indiscutibile, ma in realtà non siamo in grado di escludere che due rette parallele non si incontrino in un qualche punto infinitamente lontano, proprio perché per definizione non possiamo verificare cosa succede "infinitamente lontano".[br][br]È possibile fare scelte diverse da questo postulato, noto come [b]quinto postulato di Euclide[/b], e costruire delle [b]geometrie[/b] dette [b]"non euclidee"[/b], chiamate così perché alternative a quella costruita dall'antico studioso greco, che si attenne alla geometria corrispondente al suo postulato ed alla percezione comune della realtà - percezione limitata al contesto in cui viviamo, cioè un contesto finito e piuttosto limitato: come abbiamo detto non siamo in grado di verificare cosa succede "infinitamente lontano" (e se le rette lì si incontrano o no), semplicemente perché non ci siamo mai stati. Non a caso le geometrie non euclidee hanno un'applicazione pratica nel [b]cercare di capire su quali leggi geometriche sia strutturato l'universo [/b]- lui sì che si occupa di dimensioni "infinitamente lontane"!