Dimostriamo una delle condizioni sufficienti per il parallelogramma: se gli angoli opposti sono congruenti, il quadrilatero è un parallelogramma. La dimostrazione lavora sulla somma degli angoli interni scomposti lungo una diagonale.

Teorema — Angoli opposti congruenti

Se un quadrilatero ha gli angoli opposti congruenti, allora è un parallelogramma.

Dimostrazione

La dimostrazione procede scomponendo gli angoli lungo la diagonale e sfruttando le relazioni tra le somme.

  1. Ipotesi. A^C^\widehat{A}\cong\widehat{C} e B^D^\widehat{B}\cong\widehat{D}.
  2. Costruzione. Tracciamo la diagonale ACAC, che divide A^\widehat{A} in α,γ\alpha,\gamma e C^\widehat{C} in β,δ\beta,\delta.
  3. Considero. Dalla somma degli angoli interni: (α+γ)+B^+(β+δ)+D^=2π(\alpha+\gamma)+\widehat{B}+(\beta+\delta)+\widehat{D}=2\pi. Poiché B^D^\widehat{B}\cong\widehat{D}: α+γ+β+δ+2B^=2π\alpha+\gamma+\beta+\delta+2\widehat{B}=2\pi. Nel triangolo ABCABC: α+B^+β=π\alpha+\widehat{B}+\beta=\pi, dunque γ+δ+B^=π\gamma+\delta+\widehat{B}=\pi. Nel triangolo ACDACD: γ+D^+δ=π\gamma+\widehat{D}+\delta=\pi, confermato.
  4. Idea chiave. Da A^C^\widehat{A}\cong\widehat{C}: α+γ=β+δ\alpha+\gamma=\beta+\delta. Confrontando con α+β=γ+δ\alpha+\beta=\gamma+\delta (differenza delle equazioni dei triangoli): si ottiene α=δ\alpha=\delta e β=γ\beta=\gamma.
  5. Deduco. βγ    ABCD\beta\cong\gamma \implies AB\parallel CD (alterni interni con trasversale ACAC). αδ    BCAD\alpha\cong\delta \implies BC\parallel AD.
  6. Verificato. Dunque ABCDABCD è un parallelogramma.

\blacksquare

Collegamenti

Argomenti: Geometria euclidea
Concetti: Angoli alterni interni · Dimostrazione · Parallelogramma · Somma angoli poligono
Competenze: Dimostrare · Geometria sintetica