Dimostriamo una delle due implicazioni che caratterizzano l’asse come luogo geometrico: ogni punto equidistante dagli estremi appartiene all’asse.

Dimostrazione — Asse come luogo geometrico

Dimostriamo che se un punto CC è equidistante dagli estremi AA e BB di un segmento, allora CC appartiene all’asse di ABAB.

  1. Ipotesi. CACBCA\cong CB.
  2. Costruzione. Sia MM il punto medio di ABAB. Congiungiamo CC con MM.
  3. Osservo. I triangoli CMACMA e CMBCMB hanno: CACBCA\cong CB (ipotesi), AMMBAM\cong MB (costruzione), CMCM in comune.
  4. Deduco. Per il III criterio (SSS): CMACMB\triangle CMA\cong\triangle CMB.
  5. Deduco. Dunque CMA^CMB^\widehat{CMA}\cong\widehat{CMB}. Ma sono anche supplementari (CMA^+CMB^=π\widehat{CMA}+\widehat{CMB}=\pi), quindi CMA^=CMB^=π2\widehat{CMA}=\widehat{CMB}=\dfrac{\pi}{2}.
  6. Deduco. Segue CMABCM\perp AB nel punto medio MM: cioè CC sta sull’asse di ABAB.

\blacksquare

Collegamenti

Argomenti: Geometria euclidea
Concetti: Asse del segmento · Criteri congruenza · Dimostrazione · Luogo geometrico
Competenze: Dimostrare · Geometria sintetica