Esse é o teorema de Van Aubel.
Seja [tex3]M[/tex3]
o ponto médio de [tex3]AC[/tex3]
.
Neste problema, eu provei que [tex3]ML = MR[/tex3]
e [tex3]\angle LMR = 90^{\circ}[/tex3]
, que é o teorema de Finsler-Hadwiger.
Analogamente, [tex3]MP = MQ[/tex3]
e [tex3]MP \perp MQ[/tex3]
.
Logo, [tex3]\triangle QML \cong \triangle PMR[/tex3]
por L-A-L em P: [tex3]\angle QML = \angle QMR + \angle LMR = \angle QMR + 90^{\circ} = \angle RMP[/tex3]
. Donde, [tex3]PR = QL = a[/tex3]
. A perpendicularidade entre [tex3]PR[/tex3]
e [tex3]QL[/tex3]
é consequência desta congruência também (basta desenhar e utilizar os ângulos congruentes dos triângulos) e, dai, é trivial que [tex3]S =\frac{a^2}2[/tex3]
.
φως εσύ και καρδιά μου εγώ πόσο σ' αγαπώ.