Let be a diameter of a circle with centre . We choose a point on the circumference of the circle such that and are perpendicular to each other. Let be an arbitrary point on the (smaller) arc and let the lines and meet at . We choose on so that and are perpendicular to each other. Show that .

Figure 7 .