Non, je ne crois pas qu'ils soient isocéles (fais un autre dessin avec un triangle non symétrique, et tu verras), mais ils sont semblables ...
Je ne sais pas si vous avez vu cela, mais on peut s'en tirer autrement .
D'autre part HA n'est pas égal à HA' ... tu as choisi un triangle équilatéral !
Ils ont un angle droit, tu l'as vu, un angle opposé par le sommet,( donc le 3ème angle égal).
Dans le triangle HAB', on a cos(AHB') = ...
Dans le triangle HBA', on a cos(BHA') = ...
Et comme ces deux angles sont égaux ---> on en conclut : ...