{{ stepNode.name }}
| {{ 'ml-lesson-number-slides' | message : article.intro.bblockCount}} |
| {{ 'ml-lesson-number-exercises' | message : article.intro.exerciseCount}} |
| {{ 'ml-lesson-time-estimation' | message }} |
A line is tangent to a circle if and only if the line is perpendicular to a radius of the circle.
In the diagram above, m is tangent to the circle Q. This can be proven using the Perpendicular Postulate.
According to the Perpendicular Postulate, there is only one segment from Q that is perpendicular to m. It will be shown, using contradiction, that QP must be this segment.
Suppose that QP is not perpendicular to m. It follows then that there exists another segment from Q perpendicular to m. Call this segment QT.
Statement | Reason |
QP⊥m | Given |
Draw line segment QT | Construction of triangle |
QT⊥m | Right triangle |
QP=r | Express triangle's hypotenuse |
QT=r+b | Express leg of triangle |
QT<QP | Hypotenuse longer than leg |
b≮0 | Length must be positive |
QP⊥m | Proof by contradiction |