Comme langle DAC =
45°, le 3eme angle du triangle ACD rectangle en D vaut 180° - 90° - 45° = 45°.
Langle DAC = langle DCA = 45°.
Donc le triangle DAC est isocèle et on tire : |AD| = |DC| (1).
Langle ABC étant obtus, le point B est entre les points A et D.
Langle DBC = 180° - angle ABC = 60°.
Dans le triangle rectangle BDC, on a alors :
|BD| = |DC|.cotg 60° = |DC| / (3^(1/2)) (2).
Comme |AD| = |AB| + |BD|
et avec (1) et (2) ->
|DC| = 4 + |DC| / (3^(1/2))
|DC| = [4 .3^(1/2)]/[3^(1/2) 1] (3).
|DC|² = 48/[3^(1/2) 1]² (4).
et |BD| = |DC| - 4 = 4/ [3^(1/2) 1]
|BD|² = 16 / [3^(1/2) 1]² (5)
Dans le triangle rectangle BDC, on a :
|BC|² = |BD|² + |DC|² (6).
(4) (5) et (6) ->
|BC|² = 64 / [3^(1/2) 1]²
|BC| = 8 / [3^(1/2) 1]