## Proposition 18

 If a straight line touches a circle, and a straight line is joined from the center to the point of contact, the straight line so joined will be perpendicular to the tangent. For let a straight line DE touch the circle ABC at the point C. Take the center F of the circle ABC, and join FC from F to C. III.1 I say that FC is perpendicular to DE. For, if not, draw FG from F perpendicular to DE. I.12 Then, since the angle FGC is right, the angle FCG is acute, and the side opposite the greater angle is greater, therefore FC is greater than FG. I.17 I.19 But FC equals FB, therefore FB is also greater than FG, the less greater than the greater, which is impossible. Therefore FG is not perpendicular to DE. Similarly we can prove that neither is any other straight line except FC. Therefore FC is perpendicular to DE. Therefore if a straight line touches a circle, and a straight line is joined from the center to the point of contact, the straight line so joined will be perpendicular to the tangent. Q.E.D.
This proposition is used in a few propositions in Books III and IV beginning with III.36.

Next proposition: III.19

Previous: III.17

 Select from Book III Book III intro III.Def.1 III.Def.2-3 III.Def.4-5 III.Def.6-9 III.Def.10 III.Def.11 III.1 III.2 III.3 III.4 III.5 III.6 III.7 III.8 III.9 III.10 III.11 III.12 III.13 III.14 III.15 III.16 III.17 III.18 III.19 III.20 III.21 III.22 III.23 III.24 III.25 III.26 III.27 III.28 III.29 III.30 III.31 III.32 III.33 III.34 III.35 III.36 III.37 Select book Book I Book II Book III Book IV Book V Book VI Book VII Book VIII Book IX Book X Book XI Book XII Book XIII Select topic Introduction Table of Contents Geometry applet About the text Euclid Web references A quick trip