In geometria euclidea, il teorema diretto dei triangoli isosceli, noto anche come pons asinorum, afferma che gli angoli opposti ai due lati uguali di un triangolo isoscele sono congruenti. Si tratta, in sostanza, del contenuto della proposizione 5 nel libro I degli Elementi di Euclide.

Il teorema viene a volte indicato come pons asinorum (termine latino per "ponte degli asini"). Ci sono due possibili spiegazioni per il nome: la più semplice è che lo schema utilizzato per la dimostrazione assomiglia a un ponte vero e proprio. Ma la spiegazione più popolare è che negli Elementi esso rappresenta il primo vero test dell'intelligenza del lettore, come un ponte verso le proposizioni più difficili che seguono.^[1] Qualunque sia la sua origine, il termine pons asinorum è usato come metafora per un problema o una sfida che separerà i sicuri di mente dai semplici, il pensatore agile dal lento, il determinato dall'esitante: rappresenta un test critico per verificare la capacità o comprensione.^[2] Un altro termine medievale per il teorema è stato Elefuga che, secondo Ruggero Bacone, deriva dal greco elegia miseria, e dal latino fuga, cioè "fuga dei miserabili". Anche quest'etimologia è dubbia, e vi fa riferimento Chaucer al termine " fuga dei miserabili" (in inglese "flemyng of wreches") per il teorema.^[3]

Gli usi del termine o del teorema come metafora includono:

• Il Philobiblon di Richard Aungerville contiene il passaggio "Quot Euclidis discipulos retrojecit Elefuga quasi scopulos eminens et abruptus, qui nullo scalarum suffragio scandi posset! Durus, inquiunt, est hie sermo; quis potest eum audire?" nel quale si paragona il teorema ad una ripida scogliera che nessuna scala può aiutare a scalare e si chiede quanti aspiranti geometri ne sono fuggiti.^[3]
• Il termine pons asinorum, in entrambi i suoi significati, come ponte e come test è usato come metafora per trovare il termine medio di un sillogismo.^[3]
• Nel libro Vita di Giovambattista Vico scritta da se medesimo, il filosofo Giovambattista Vico racconta che egli "volle applicarsi alla geometria e inoltrarsi fino alla quinta proposizione di Euclide" con i seguenti esiti: "a suo costo sperimentò che alle menti già dalla metafisica fatte universali non riesce agevole quello studio proprio degli ingegni minuti, e lasciò di seguitarlo".
• Nel XVIII secolo, il poeta Thomas Campbell scrisse un poema umoristico dal titolo The Pons asinorum dove una classe di geometria assale il teorema come una compagnia di soldati potrebbero caricare una fortezza; la battaglia non priva di incidenti.^[4]
• L'economista John Stuart Mill definì la Teoria della rendita di Ricardo il Pons Asinorum dell'economia.^[5]
• Pons Asinorum è il nome dato ad una particolare configurazione del cubo di Rubik.^[6]

L'enunciato del teorema di Euclide include una seconda conclusione, che se i lati uguali del triangolo sono prolungati sotto la base, allora gli angoli tra le estensioni e la base sono uguali. La dimostrazione di Euclide consiste nel definire le linee ausiliarie per queste estensioni. Ma, nel commentare Euclide, Proclo mette in evidenza che Euclide non usa mai la seconda conclusione e la sua dimostrazione può essere semplificata in qualche modo tracciando le linee ausiliarie ai lati del triangolo, mentre il resto della dimostrazione si esegue più o meno allo stesso modo. Ci sono state molte speculazioni e dibattiti sul perché Euclide abbia aggiunto la seconda conclusione al teorema, dal momento che rende la dimostrazione più complicata. Una spiegazione plausibile, data da Proclo, è che la seconda conclusione possa essere utilizzata in eventuali obiezioni alle dimostrazioni successive di proposizioni in cui Euclide non copre tutti i casi.^[7] La dimostrazione si basa su quello che è oggi chiamato Lato-Angolo-Lato, ovvero la proposizione precedente negli Elementi.

La variante di Proclo alla dimostrazione di Euclide procede come segue:^[8] sia ${\displaystyle ABC}$ un triangolo isoscele con ${\displaystyle AB}$ e ${\displaystyle AC}$ i lati uguali. Si scelga un punto arbitrario ${\displaystyle D}$ sul lato ${\displaystyle AB}$ e si prenda il punto ${\displaystyle E}$ su ${\displaystyle CA}$ in modo che ${\displaystyle AD\cong AE}$. Tracciate le linee di ${\displaystyle BE}$, ${\displaystyle DC}$ e ${\displaystyle DE}$ si consideri i triangoli ${\displaystyle BAE}$ e ${\displaystyle CAD}$, questi triangoli hanno ${\displaystyle BA\cong AC}$, ${\displaystyle AE\cong AD}$, e l'angolo ${\displaystyle {\hat {A}}}$ coincidente, quindi per il criterio di congruenza lato-angolo-lato i triangoli ${\displaystyle BAE}$ e ${\displaystyle CAD}$ sono congruenti e pertanto i lati e gli angoli corrispondenti saranno congruenti: l'angolo ${\displaystyle {\widehat {ABE}}}$ è uguale all'angolo ${\displaystyle {\widehat {ACD}}}$, l'angolo ${\displaystyle {\widehat {ADC}}}$ è uguale all'angolo ${\displaystyle {\widehat {AEB}}}$, e ${\displaystyle BE\cong CD}$.

Dal momento che ${\displaystyle AC\cong AB}$ e ${\displaystyle AD\cong AE}$, ${\displaystyle BD\cong CE}$ per sottrazione di parti uguali. Si consideri ora i triangoli ${\displaystyle DBE}$ e ${\displaystyle ECD}$; per essi ${\displaystyle BD\cong CE}$, ${\displaystyle BE\cong CD}$, e l'angolo ${\displaystyle {\widehat {DBE}}}$ è uguale all'angolo ${\displaystyle {\widehat {ECD}}}$ come è stato appena mostrato, quindi ancora per il criterio lato-angolo-lato, i triangoli sono congruenti: l'angolo ${\displaystyle {\widehat {BDE}}}$ è uguale all'angolo ${\displaystyle {\widehat {CED}}}$. (La congruenza implica anche ${\displaystyle DE\cong ED}$, ma questo è evidente).

Poiché l'angolo ${\displaystyle {\widehat {BDE}}}$ è uguale all'angolo ${\displaystyle {\widehat {CED}}}$ e l'angolo ${\displaystyle {\widehat {CDE}}}$ è uguale all'angolo ${\displaystyle {\widehat {BED}}}$, allora l'angolo ${\displaystyle {\widehat {BDC}}}$ sarà uguale all'angolo ${\displaystyle {\widehat {CEB}}}$ per sottrazione di parti uguali.

Consideriamo una terza coppia di triangoli, ${\displaystyle BDC}$ e ${\displaystyle CEB}$; ${\displaystyle DB\cong CE}$, ${\displaystyle DC\cong EB}$, e l'angolo ${\displaystyle {\widehat {BDC}}}$ uguale all'angolo ${\displaystyle {\widehat {CEB}}}$, quindi applicando lato-angolo-lato una terza volta, si dimostra che i due triangoli sono congruenti. In particolare, l'angolo ${\displaystyle {\widehat {CBD}}\cong {\widehat {BCE}}}$, come volevasi dimostrare.

Proclo presenta una dimostrazione molto più corta attribuita a Pappo di Alessandria. Essa non è solo più semplice, ma non richiede costruzioni aggiuntive. Il metodo di dimostrazione applicato è il criterio lato-angolo-lato tra un triangolo e la sua immagine speculare. Altri autori moderni, descrivono questo metodo di dimostrazione come prendere il triangolo, capovolgerlo e posarlo su se stesso.^[9] Questo metodo è oggetto di satira da parte di Charles Dodgson in Euclide e i suoi rivali moderni, che lo definisce un "Irish bull", ovverosia un non senso, poiché apparentemente richiede che il triangolo si trovi in due posti contemporaneamente.^[10]

La dimostrazione è la seguente:^[11] Sia ${\displaystyle ABC}$ un triangolo isoscele con ${\displaystyle AB}$ e ${\displaystyle AC}$ i suoi due lati congruenti. Si considerino i triangoli ${\displaystyle ABC}$ e ${\displaystyle ACB}$, dove ${\displaystyle ACB}$ è un secondo triangolo con vertici ${\displaystyle {\hat {A}}}$, ${\displaystyle {\hat {C}}}$ e ${\displaystyle {\hat {B}}}$ corrispondenti rispettivamente ai vertici ${\displaystyle {\hat {A}}}$, ${\displaystyle {\hat {B}}}$ e ${\displaystyle {\hat {C}}}$ nel triangolo originale. Si avrà ${\displaystyle AB\cong AC}$, ${\displaystyle AC\cong AB}$ e l'angolo ${\displaystyle {\hat {A}}}$ uguale a se stesso, così per il criterio lato-angolo-lato, i triangoli ${\displaystyle ABC}$ e ${\displaystyle ACB}$ sono congruenti. In particolare l'angolo ${\displaystyle {\hat {B}}}$ è congruente all'angolo ${\displaystyle {\hat {C}}}$.^[12]

La dimostrazione standard dei libri di testo consiste nel costruire la bisettrice dell'angolo ${\displaystyle {\hat {A}}}$ .^[13] Questa è più semplice della dimostrazione di Euclide, ma Euclide non presenta la costruzione della bisettrice di un angolo prima della proposizione 9. Così l'ordine della presentazione delle proposizioni di Euclide deve essere cambiato per evitare un ragionamento circolare.

La dimostrazione procede come segue:^[14] come prima consideriamo il triangolo ${\displaystyle ABC}$ con ${\displaystyle AB\cong AC}$. Costruiamo la bisettrice dell'angolo ${\displaystyle {\widehat {BAC}}}$ e prolunghiamola fino a incontrare il lato ${\displaystyle BC}$ nel punto ${\displaystyle X}$. Nei triangoli ${\displaystyle BAX}$ e ${\displaystyle CAX}$ si ha ${\displaystyle AB\cong AC}$, ${\displaystyle AX}$ coincidente. Inoltre l'angolo ${\displaystyle B{\hat {A}}X\cong C{\hat {A}}X}$, così, per il criterio lato-angolo-lato, ${\displaystyle BAX}$ e ${\displaystyle CAX}$ sono congruenti. Segue che gli angoli ${\displaystyle {\hat {B}}}$ e ${\displaystyle {\hat {C}}}$ sono congruenti.

Legendre usa una costruzione simile in Éléments de géométrie, ma considerando il punto X come punto medio del segmento BD.^[15] La dimostrazione è simile ma usa il criterio Lato-Lato-Lato al posto di lato-angolo-lato, ma lato-lato-lato non è mostrato che molto più avanti da Euclide negli Elementi.

Il teorema diretto dei triangoli isosceli equivale al prodotto interno su numeri reali o complessi. In questi spazi equivale a prendere dei vettori ${\displaystyle x}$, ${\displaystyle y}$ e ${\displaystyle z}$ tali che^[16]

${\displaystyle x+y+z=0{\text{ e }}\|x\|=\|y\|,}$

quindi

${\displaystyle \|x-z\|=\|y-z\|.}$

Mentre

${\displaystyle \|x-z\|^{2}=\|x\|^{2}-2x\cdot z+\|z\|^{2},}$

e

${\displaystyle x\cdot z=\|x\|\|z\|\cos \theta ,}$

dove ${\displaystyle \theta }$ è l'angolo tra i due vettori, la conclusione di questa forma del teorema equivale a enunciare l'uguaglianza degli angoli.

• Euclide, commento e traduzione di T. L. Heath Elements Vol. 1 (1908 Cambridge) Google Books
• Euclide, commento di Proclo, traduzione inglese di T. Taylor Elements Vol. 2 (1789) Google Books
• Proclus, A Commentary on the First Book of Euclid’s Elements, Princeton, Princeton University Press, 1970
• John Stillwell, The Four Pillars of Geometry, Springer, 2005, p. 24.

• Triangolo isoscele

• (EN) pons asinorum, in PlanetMath.

Portale Matematica: accedi alle voci di Teknopedia che trattano di matematica