Meilleure réponse
Nous commençons par le fait que
5 * pi / 12 = pi / 2-pi / 12 ==> tan (5 * pi / 12) = ctg (pi / 12)
et aussi lidentité
pi / 12 = (pi / 6) / 2
Ensuite, utilisez le fait que
cos (pi / 6) = sqrt (3) / 2
et les identités trigonométriques
ctg (x / 2) = cos (x / 2) / sin (x / 2) = sqrt [(1 + cos (x)) / (1- cos (x))]
et déduire
ctg (pi / 12) = sqrt [(1+ sqrt (3) / 2) / (1-sqrt (3) / 2)] = sqrt [(2 + sqrt (3)) / (2-sqrt (3))].
Il ne reste plus quà simplifier cela en multipliant et en divisant par sqrt (2 + sqrt (3)) et obtenez:
ctg (pi / 12) = sqrt [((2 + sqrt (3)) ^ 2) / (2-sqrt (3)) * (2 + sqrt (3))] = 2 + sqrt (3)
Réponse
tan (5π / 12) = tan (75deg) = (tan45 + tan30) / (1-tan45tan30)
= (1+ 1 / √3) / (1–1 / √3) = (√3 +1) / (√3 – 1) = (1/2) (√3 + 1) ^ 2 = (4 + 2√3) / 2 = 2 + √3 = 3.732