There is a theorem in geometry that says for any triangle with one side completely on the diameter of its circumscribed circle (the circle touching all three vertices of the triangle), then this triangle must be a right triangle, with the right angle where the two shorter lines of the triangle meets the circle.