Vediamo lo schema all’opera su un problema completo, seguendo i sei passi uno per uno.

Esempio — Applicazione dello schema

Problema: Nel triangolo ABCABC, sia MM il punto medio di BCBC. Dimostrare che AM<AB+AC2AM < \dfrac{AB+AC}{2}.

1. Figura: triangolo ABCABC con MM punto medio di BCBC. Prolungo AMAM di un segmento MDAMMD\cong AM.

2. Hp: BMMCBM\cong MC.    Th: AM<AB+AC2AM < \dfrac{AB+AC}{2}.

3. Backward Thinking: basta mostrare 2AM<AB+AC2\,AM < AB+AC, cioè AM+MD<AB+ACAM+MD < AB+AC, cioè AD<AB+ACAD < AB+AC.

4. Costruzione: prolungo AMAM oltre MM di MD=AMMD = AM e congiungo DD con CC.

5. Triangoli: AMB\triangle AMB e DMC\triangle DMC hanno AMMDAM\cong MD, BMMCBM\cong MC, AMB^DMC^\widehat{AMB}\cong\widehat{DMC} (opposti al vertice)     \implies per il I criterio     \implies ABDCAB\cong DC.

6. Conclusione: Per la disuguaglianza triangolare in ADC\triangle ADC: AD<AC+DC=AC+ABAD < AC + DC = AC + AB. Dunque 2AM=AD<AB+AC2\,AM = AD < AB + AC, cioè AM<AB+AC2AM < \dfrac{AB+AC}{2}. \blacksquare

Collegamenti

Argomenti: Geometria euclidea
Concetti: Criteri congruenza · Dimostrazione · Disuguaglianza triangolare · Mediana
Competenze: Dimostrare · Geometria sintetica