Pues bien, lo que siempre me ha funcionado como alumno de décimo curso ha sido cortar un triángulo en triángulos rectos:
Construir un punto $D$ en $BC$ para que $DA$ es perpendicular a $BC$ así que $ADC$ es un triángulo rectángulo y $AD^2 + DC^2 = AC^2$ .
Hay tres posibilidades.
i) $\angle ABC$ es agudo.
Entonces $D$ está entre $B$ y $C$ y $BC = BD + DC$ .
Entonces $AB^2 = BD^2 + AD^2; AC^2 = AD^2 + DC^2; BC^2 = BD^2 + 2BD*DC + DC^2$
Y $AB^2 + BC^2 = AD^2 + DC^2 + 2(BD^2+ BD*DC) = AC^2 + 2(BD^2+ BD*DC) > AC^2$
(Ayuda si hace un dibujo y anota $AB > AD; BC > BD$ así que por supuesto $AB^2 + BC^2 > AD^2 + DC^2 = AC$ . Pero el cálculo te dice exactamente cuánto más grande).
ii) $\angle ABC$ es obtuso.
Entonces $B$ está entre $D$ y $C$ y $DC = DB + BC$ .
Entonces $AB^2 = BD^2 + AD^2; AC^2 = AD^2 + DC^2; DC^2 = DB^2 + 2DB*BC + BC^2$
Y $AB^2 + BC^2 = AD^2 + DC^2 - 2(BD^2+ BD*DC) = AC^2 - 2(BD^2+ BD*DC) < AC^2$
iii) $\angle ABC$ tiene razón.
Entonces $B=D$ y $C$ y $DC = BC $ .
Entonces $AB^2 = AD^2; AC^2 = AD^2 + DC^2=AB^2 + BC^2; BC^2 = DC^2 $
Así que i) $AB^2 + BC^2 > AC^2 \implies \triangle ABC$ es agudo y $AB^2 + BC^2 = AC + 2(BD^2 + BD*DC)$ .
ii) $AB^2 + BC^2 < AC^2 \implies \triangle ABC$ es abtusa y $AB^2 + BC^2 = AC - 2(BD^2 + BD*DC)$ .
iii) $AB^2 + BC^2 = AC^2 \implies \triangle ABC$ tiene razón.
.... que le da al alumno de décimo grado un indicio de la ley de los cosenos que viene.
[es decir $\pm(BD^2 + DB*DC) = AB*BC*\cos \angle ABC$ que es $0$ si $\angle ABC$ es correcto; positivo si es obtuso y negativo si es agudo].