Converse of the Tangent Theorem Mathematical Proof

Formal Statement of the Converse of the Tangent Theorem

• The Theorem: A line perpendicular to a radius at its point on the circle is a tangent to the circle.
• Core Principle: This theorem serves as the converse to the standard tangent theorem, which states that a tangent at any point on a circle is perpendicular to the radius through the point of contact. This converse establishes the criteria required to prove that a given line is indeed a tangent.

Geometric Construction and Given Conditions

To prove the theorem, we consider a specific geometric configuration:

• Center of the Circle: Let $M$ be the centre of the circle.
• Radius: Let $\text{seg } MN$ be the radius of the circle, where point $N$ lies on the circle's circumference.
• Line of Interest: Let line $l$ be a line that passes through point $N$.
• Perpendicularity Requirement: It is given that line $l \perp \text{seg } MN$ at point $N$. This means the angle formed between the line and the radius at the point of contact is exactly $90^\circ$.

Objective of the Proof

• To Prove: The line $l$ is a tangent to the circle.
• Requirement for Tangency: By definition, a line is a tangent to a circle if and only if it intersects the circle at exactly one point. Therefore, the proof must demonstrate that no point other than $N$ on line $l$ can lie on or inside the circle.

Exhaustive Step-by-Step Mathematical Proof

1. Selection of an Arbitrary Point:
   • Let $P$ be any point on the line $l$ other than point $N$.
2. Construction of a Triangle:
   • Join the center $M$ to the point $P$ to form $\text{seg } MP$.
3. Analysis of the Resulting Triangle:
   • Consider $\triangle MNP$.
   • Because it is given that line $l \perp \text{seg } MN$, it follows that $\angle MNP = 90^\circ$.
   • Since $\triangle MNP$ contains a right angle at vertex $N$, it is a right-angled triangle.
4. Identifying the Hypotenuse:
   • In $\triangle MNP$, the side opposite the right angle ($\angle MNP$) is $\text{seg } MP$.
   • Therefore, $\text{seg } MP$ is the hypotenuse of the triangle.
5. Comparison of Side Lengths:
   • A fundamental property of right-angled triangles is that the hypotenuse is the longest side.
   • Consequently, $\text{seg } MP > \text{seg } MN$.
6. Relation to the Circle's Radius:
   • It is established that $\text{seg } MN$ is the radius of the circle.
   • Since the distance from the center $M$ to point $P$ (the length of $\text{seg } MP$) is greater than the radius ($\text{seg } MN$), point $P$ must lie outside the circle.
7. Exclusivity of the Intersection Point:
   • Because point $P$ was chosen as an arbitrary point on line $l$ (excluding $N$), the conclusion holds for all points on line $l$ except $N$.
   • Therefore, no point of line $l$, other than point $N$, lies on the circle.
8. Final Deduction:
   • Line $l$ intersects the circle in only one point, which is point $N$.
   • By the definition of a tangent, line $l$ is a tangent to the circle at the point $N$.