Is ABCD a square or just a parallelogram?
When you draw that (green) line, with the properties of a square and an isosceles triangle, you created another isosceles triangle down there. The left triangle and the right triangle also become congruent. No trig is involved. This problem can be solved completely linearly.