a)
BC*AH vaut deux fois l´aire du triangle par la formule (Base x Hauteur)/2 en prenant BC comme base et AH comme hauteur.
AB*AC vaut deux fois l´aire du triangle par la même formule, en prenant AB comme base et AC comme hauteur.
Ces deux valeurs sont donc bien égales.
b)
Les triangles BAC et AHC sont semblables. Donc l´angle HAC est égal à l´angle ABC. Donc forcément leur tangente est également la même.
On a tan(HAC) = HC/HA et tan(ABC)=AC/AB
Donc, comme ces tangentes sont égales, on a
HC/HA = AC/AB
donc
HC*AB/AC = HA
donc
HA² = HC²*AB²/AC²
il suffirait donc de montrer que
HC*AB²/AC² = HB
ou encore que
(HC/AC)/AC = HB/AB²
comme les triangles AHC et BAC sont semblables on a HC/AC = AC/BC
donc on doit montrer que
(AC/BC)/AC = HB/AB²
c´est à dire que AB² = HB*BC
ou encore que
AB/BC = HB/AB
ce qui est vrai puisque les triangles BHA et BAC sont semblables.