Angle in a Semicircle

The angle in a semicircle theorem is a fundamental circle result linking right-angled triangles to diameters. It states that any angle subtended by a diameter at the circumference is a right angle, and conversely, the hypotenuse of a right-angled triangle is the diameter of its circumcircle. This theorem is especially useful for proving triangles are right-angled, identifying diameters, and finding the centre and radius of a circle from triangle coordinates.

• Angle in a semicircle means that when a triangle is drawn inside a circle and one side of the triangle is a diameter, the angle opposite that diameter is always $90^\circ$. This is a special case of the wider circle theorem about angles subtended by the same arc, and it gives a quick geometric test for a right angle.
• Circumcircle of a triangle is the unique circle that passes through all three vertices of the triangle. For a right-angled triangle, the circumcircle has a particularly simple structure because the hypotenuse becomes the diameter of that circle.
• Diameter, radius, and circumference angle must be clearly distinguished. The diameter is the full line segment through the centre joining two points on the circle, the radius is half of that, and the angle at the circumference is formed by two chords meeting on the circle.
• A useful converse is also true: if a triangle is right-angled, then the side opposite the right angle is a diameter of its circumcircle. This makes the theorem work in both directions, which is why it appears often in coordinate geometry as well as pure geometry.

• The theorem can be justified using the geometry of central and inscribed angles. The angle subtended by a diameter at the centre is $180^\circ$, and an angle at the circumference standing on the same arc is half the central angle, so it is $\frac{180^\circ}{2} = 90^\circ$.

Key theorem: If $AB$ is a diameter and $P$ is any point on the circle, then $\angle APB = 90^\circ$.

• The converse works because a right-angled triangle determines a circle with its hypotenuse as diameter. This happens because the midpoint of the hypotenuse is equidistant from all three vertices, so it can serve as the centre of the circumcircle.
• In coordinate terms, if the endpoints of the diameter are $(x_1,y_1)$ and $(x_2,y_2)$, then the centre is the midpoint $\left(\frac{x_1+x_2}{2},\frac{y_1+y_2}{2}\right).$ This works because the centre of any circle lies halfway along a diameter.
• The radius is half the diameter length, so if the diameter has length $d$, then $r = \frac{d}{2}.$ If the endpoints are known, then $d$ is found using the distance formula, which makes the theorem especially useful in coordinate geometry questions.

Using the theorem to identify a right angle

• Look for a diameter first: if a triangle is formed using the endpoints of a diameter and a third point on the circle, the angle at the third point is immediately $90^\circ$. This saves time because you do not need to calculate gradients or use Pythagoras unless the question specifically requires proof.
• Use the converse when a right angle is given: if a triangle is known to be right-angled, then the hypotenuse can be treated as the diameter of the circumcircle. This is powerful because it converts triangle information into circle information.

Finding the circle from a right-angled triangle

• Step 1: identify the hypotenuse. In a right-angled triangle, the hypotenuse is the side opposite the right angle, and this is the diameter of the circumcircle. If coordinates are involved, confirm the right angle first when necessary.
• Step 2: find the centre using the midpoint of the hypotenuse: $\left(\frac{x_1+x_2}{2},\frac{y_1+y_2}{2}\right).$ This works because the midpoint of a diameter is always the centre of the circle.
• Step 3: find the radius by halving the hypotenuse length. If the diameter endpoints are $(x_1,y_1)$ and $(x_2,y_2)$, then $d = \sqrt{(x_2-x_1)^2 + (y_2-y_1)^2}, \qquad r = \frac{d}{2}.$
• Step 4: write the equation of the circle in standard form:

$(x-a)^2 + (y-b)^2 = r^2$ where $(a,b)$ is the centre and $r$ is the radius. This is the final step once the geometry has supplied the circle's defining features.

Similar ideas that students often mix up

• Diameter vs hypotenuse are not always the same thing. They coincide only when the triangle is right-angled and the triangle is considered on its circumcircle; otherwise, the longest side of a triangle is not automatically a diameter.
• Centre of the circle vs midpoint of any side must be separated carefully. The centre is the midpoint of the diameter, not necessarily the midpoint of a random chord or side unless that side has been shown to be a diameter.
• Right angle from a diameter is different from a tangent-radius right angle. In the semicircle theorem, the $90^\circ$ angle is at the circumference and is formed by two chords; in the tangent theorem, the $90^\circ$ angle is between a radius and a tangent at the point of contact.
• | Idea | When it applies | Key conclusion | | --- | --- | --- | | Angle in a semicircle | A triangle uses a diameter and a point on the circle | The angle opposite the diameter is $90^\circ$ | | Converse of angle in a semicircle | A triangle is known to be right-angled | The hypotenuse is a diameter of the circumcircle | | Midpoint method | Endpoints of the diameter are known | The midpoint gives the centre | | Distance method | Diameter endpoints are known in coordinates | Half the distance gives the radius |

• Always identify what has been proved and what has not. If a side is to be used as a diameter, you must either be told the triangle is right-angled or prove it, often by showing the side lengths satisfy Pythagoras' theorem: if $a^2+b^2=c^2$, then the angle opposite side $c$ is $90^\circ$.
• Check that you are using the correct side as the hypotenuse. The hypotenuse is opposite the right angle, so choosing the wrong pair of endpoints leads to an incorrect centre and radius even if your midpoint and distance calculations are done correctly.
• Keep coordinate geometry steps separate: first prove the right angle if needed, then locate the midpoint, then compute the radius, and only then write the equation. This structure reduces errors and makes the reasoning easier for an examiner to follow.
• Verify your final equation by checking that the diameter endpoints lie on the circle. Substituting either endpoint into $(x-a)^2+(y-b)^2=r^2$ is a strong sanity check because a true diameter endpoint must satisfy the circle equation exactly.
• Use exact values whenever possible. If the radius comes from a square root, leave $r$ or $r^2$ in exact form rather than rounding too early, because premature rounding can make later algebra inconsistent.

• Assuming any long side is a diameter is a common error. A side becomes a diameter only when it is the hypotenuse of a right-angled triangle on the circumcircle, so the right-angle condition is essential.
• Using the midpoint of the wrong side causes many coordinate mistakes. The midpoint must be taken from the diameter endpoints, not from the other pair of points in the triangle.
• Confusing radius with diameter leads to equations that are too large or too small. If you calculate the full hypotenuse length and place it directly into $r^2$, you have doubled the radius and quadrupled the area term in the equation.
• Thinking the theorem applies to any semicircle-shaped drawing can be misleading. The statement is about points lying on the same circle with one side actually being a diameter, not about a sketch that merely looks like half a circle.

• The theorem is closely connected to the result that the perpendicular bisectors of the sides of a triangle meet at the circumcentre. In a right-angled triangle, that circumcentre lands exactly at the midpoint of the hypotenuse, which is why the semicircle theorem blends naturally with midpoint methods.
• It also connects with Pythagoras' theorem. In many coordinate questions, Pythagoras is used first to prove that a triangle is right-angled, and then the angle in a semicircle theorem converts that fact into information about a circle.
• More broadly, angle in a semicircle is a special case of the theorem that an inscribed angle is half the angle subtended by the same arc at the centre. Recognizing it as a special case helps students see circle theorems as one coherent system rather than a list of isolated facts.
• In analytic geometry, the theorem provides an efficient bridge between shape properties and equations. A geometric observation about a right angle can immediately produce a centre, a radius, and then a full algebraic description of the circle.