Le triangle ABC étant rectangle isocèle, on a ACB = BAC = 45°.
Les angles ACB et DCE opposés par le sommet sont de même mesure.
Donc DCE = ACB = 45°
Dans le triangle CDE rectangle en C, on a :
sin DCE = DE/DC soit sin 45°=DE/6 donc DE = 6 x sin45° = 6 x racine de 2/2 = 3 racine de 2 ≈ 4,2 cm.
