You might like to make a tessellation with copies ofDABC and three triangles drawn on the sides of DABC and prove your conjecture from the tessellation. This uses only elementary geometry. An alternative method is to use the Cosine Rule.

Alternatively you can use vectors or complex numbers.