La méthode générale (pour une valeur quelconque des angles en A et B) est indiquée plus loin.
Ici, les valeurs particulières des angles donnés permettent une méthode bien plus simple, une fois qu'on a l'indice :
Tracer E sur BC avec l'angle BAE = 20°.
Cette solution est due à C. Tripp dans "the mathematical gazette" vol. 59 (1975)
Elle ne fonctionne que grace aux valeurs particulières des angles.
Il existe d'autres solutions "AHA", c'est à dire en utilisant diverses astuces évitant de calculer des
fonctions trigonométriques.
9 solutions d'après "cut-the-knot"
En multipliant ces trois relations, on obtient :
1 = sin(20°)/sin(x) × sin(50°)/sin(80°) × sin(40°+x)/sin(30°)
Cette équation en x peut être résolue en calculant tan(x).
Comme il n'y a pas d'expression simple des sin/cos de 20°, 50° etc...
on doit la résoudre numériquement, ou trouver une astuce pour éviter ces valeurs...
En utilisant une autre chaîne de sinus, pour profiter du AB = AD,
ce n'est pas beaucoup plus simple, mais finalement évite de connaître les valeurs des sin/cos :
Dans le triangle ABC : sin(80°)/AC = sin(40°)/AB
Dans le triangle ACD : sin(x)/AD = sin(160°-x)/AC (l'angle ADC = 180° - 20° - x)
Comme AB = AD, on obtient sin(80°)/sin(40°) = sin(160°-x)/sin(x)
sin(160°-x) = sin(160°)cos(x) - cos(160°)sin(x), puis sin(80°) = 2sin(40°)cos(40°) donnent finalement :
tan(x) = sin(160°)/(2cos(40°) + cos(160°))
Comme sin(160°) = sin(180° - 160°) = sin(20°) et cos(160°)= - cos(180° - 160°) = - cos(20°), on obtient :
tan(x) = sin(20°)/(2cos(2×20°) - cos(20°))
L'astuce est maintenant de poser z = cos(20°)
cos(3u) = 4cos³(u) - 3cos(u) donne que z = cos(20°) = cos(60°/3) est solution de
8X³ - 6X - 1, donc :
tan²(x) = (1 - z²)/(4z² - z - 2)² = (1 - z²)/(-3z² + 3) = 1/3
(on a remplacé 8z³ par 6z + 1 et 8z4 = z×8z³ = 6z² + z)
Donc tan(x) = √3 / 3, et x = 30° (méthode due à A. Pichereau)
Cette méthode ne marche que pour ces valeurs spécifiques,
donnant AB = AD et un grand nombre de 20° et multiples.
Avec des valeurs d'angles quelconques, on ne peut éviter la méthode générale et
les valeurs numériques des sin/cos des angles "bizarres" donnés.
tan(x) = sin(a1)sin(b1)sin(c1) / (sin(a1 + a2)sin(b2) - sin(a1)sin(b1)cos(c1)) |
Un script pour calculer cette valeur (angles en degrés) :