Show that the marked triangle is half a square



By the symmetries of the picture, the two small sides of the triangle are equal.
The long side of the triangle is the diameter of the small circle, and the vertex not located on the long side is on the small circle; hence, the triangle is a right triangle.
Thus, the marked triangle is half a square.