Notes
angle in a circle and semi-circle solution

Solution to the Angle in a Circle and Semi-Circle Puzzle

Angle in a Circle and Semi-Circle

What’s the angle?

Solution by Angles in a Cyclic Quadrilateral, Angle at the Centre is Twice the Angle at the Circumference, Angles in a Triangle, Angles at a Point on a Straight Line, and Vertically Opposite Angles

Angle in a circle and a semi-circle labelled

In the above diagram, the point labelled OO is the centre of the semi-circle. Let angle OA^CO \hat{A} C be aa and let DB^OD \hat{B} O be bb.

Since opposite angles in a cyclic quadrilateral add up to 180 180^\circ, angles OA^CO \hat{A} C and CD^BC \hat{D} B add up to 180 180^\circ, so angle CD^BC\hat{D} B is 180 a180^\circ - a. Then as angles at a point on a straight line also add up to 180 180^\circ, angle FD^CF \hat{D} C and CD^BC\hat{D} B add up to 180 180^\circ, so FD^CF \hat{D}C is equal to angle aa. Using opposite angles in a cyclic quadrilateral again, angles CE^FC \hat{E} F and FD^CF \hat{D} C add up to 180 180^\circ meaning that angle CE^FC \hat{E} F is 180 a180^\circ - a. A similar argument shows that angle EF^DE \hat{F} D is 180 b180^\circ - b. The sum of angles CE^FC \hat{E} F and EF^DE \hat{F} D is therefore 360 ab360^\circ - a - b.

As triangle OCAO C A is isosceles and the angles in a triangle add up to 180 180^\circ, angle CO^AC \hat{O} A is 180 2a180^\circ - 2 a. Using a similar argument gives angle BO^DB \hat{O} D as 180 2b180^\circ - 2 b. Therefore the reflex angle CO^DC \hat{O} D is 540 2a2b540^\circ - 2a - 2 b. Since the angle at the centre is twice the angle at the circumference, the reflex angle CO^DC \hat{O} D is 270 ab270^\circ - a - b. Applying this again shows that this is twice each of the angles CE^DC \hat{E} D and CF^DC \hat{F} D. So the sum of the angles CE^DC \hat{E} D and CF^DC \hat{F} D is angle 270 ab270^\circ - a - b.

The sum of angles GE^FG \hat{E} F and EF^GE \hat{F} G is then the difference between these two sums, so is 90 90^\circ. Since the angles in a triangle add up to 180 180^\circ, angle FG^EF \hat{G} E is 90 90^\circ. Therefore as vertically opposite angles are equal, angle CG^DC \hat{G} D is 90 90^\circ.