Prove that the triangle constructed from, and is right-angled.
The triangle ADF is right-angled and has the angle (a+β).
