chan79 a écrit:Il me semble que quels que soient les angles des triangles ABC et ABD, on peut calculer les angles demandés ...
Evidemment, on n'arrive pas à une formule simple.
tout à fait et cette formule ne donne .... rien du tout à part une valeur
approchée de l'angle quand on la met dans une calculette.
Il s'agit ici de prouver que les angles ont
très exactement les valeurs obtenues et "la formule" ne sert à rien du tout
en fait c'est à partir de cette formule qu'on obtient une équation de degré 3 dont les racines possèdent certaines particularités et que par conséquent ces racines (qui ne peuvent pas s'exprimer avec des formules "simples", voir Cardan) satisfont à certaines relations qui permettent de simplifier la formule dans ce cas
particulier.
ce cas particulier en est réellement un
pour toutes les autres valeurs des angles (ou presque) on obtient des valeurs irrationnelles (en degrés) impossible à calculer exactement à part écrire textuellement la formule ce qui n'avance pas à grand chose !
ces valeurs "fortuites" des angles (adventitious en anglais) amènent à ce qu'on appelle des quadrilatères fortuits (adventitious quadrilateral), exceptions très rares (il en existe seulement une cinquantaine ou du genre) pour lesquelles
tous les angles ont des valeurs rationnelles (en tours)
quant à d'autres démonstrations voir ici :
cut-the-knotLa démonstration via l'équation du 3ème degré est ici :
mon site