Angle Inscribed in a Semicircle
Theorem: An angle inscribed in a semicircle is a right angle.
That is, if and are endpoints of a diameter of a circle with center , and is a point on the circle, then is a right angle.
Proof:
Draw line . This is a radius of the circle, as are and , so . Label the following angle measures: and :
By the isosceles triangle theorem (applied to triangles AOC and BOC), c1 = a and c2 = b. The sum of the angles in any triangle is 180o, so a + c1 + x = 180o and b + c2 + y = 180o. Substituting c1 for a and c2 for b, this gives: 2c1 + x = 180o and 2c2 + y = 180o. If we add these two equations, we have: 2c1 + 2c2 + x + y = 360o. But x + y = 180o since and are a linear pair. Substituting 180o for x + y gives us 2c1 + 2c2 + 180o = 360o. Subtracting 180o from both sides and dividing by 2 gives: c1 + c2 = 90o. But , so is a right angle.