pour nous aider prenons le cercle trigonométrique centré en E,
nous avons alors EB = cos( CEB ) = 1/2
BC est donc le sinus associé : racine de 3 sur 2
soit F le point d'intersection entre la perpendiculaire a (CE) et (AE), nous avons donc CF la tangente associé soit Racine de 3.
nous remarquons que CF et DE sont parrallele, on en deduit donc (par thales) que :
CF/DE = AC/AD
Racine(3) / DE = 1+a
de plus DEC est un triangle rectangle, on a donc
DE²+EC² = DC²
soit DE = racine(a²-1).
que l'on reporte on obtient
Racine(3) / racine(a²-1) = 1+a
apres devellopement et simplification :
(a+2)(a^3 - 2) = 0
donc a = racine cubique de 2.
cqfd.
edit : un simley pas prevu c'etait incrusté