10. Draw a common tangent to two circles. Hence, show how to draw a line cutting two circles, so that the intercepted chords shall be of given lengths.
PROP. XVIII.—Theorem
If a line (CD) touch a circle, the line (OC) from the centre to the point of contact is perpendicular to it.
Dem.—If not, suppose another line OG drawn from the centre to be perpendicular to CD. Let OG cut the circle in F. Then because the angle OGC is right (hyp.) the angle OCG [I. xvii.] must be acute. Therefore [I. xix.] OC is greater than OG; but OC is equal to OF [I. Def. xxxii.]; therefore OF is greater than OG—that is, a part greater than the whole, which is impossible. Hence OC must be perpendicular to CD.
Or thus: Since the perpendicular must be the shortest line from O to CD, and OC is evidently the shortest line; therefore OC must be perpendicular to CD.
PROP. XIX.—Theorem.
If a line (AB) be a tangent to a circle, the line (AC) drawn at right angles to it from the point of contact passes through the centre.
If the centre be not in AC, let O be the centre. Join AO. Then because AB touches the circle, and OA is drawn from the centre to the point of contact, OA is at right angles to AB [xviii.]; therefore the angle OAB is right, and the angle CAB is right (hyp.); therefore OAB is equal to CAB—a part equal to the whole, which is impossible. Hence the centre must be in the line AC.
Cor.—If a number of circles touch the same line at the same point, the locus of their centres is the perpendicular to the line at the point.
Observation.—Propositions xvi., xviii., xix., are so related that any two can be inferred from the third by the “Rule of Identity.” Hence it would, in strict logic, be sufficient to prove any one of the three, and the others would follow. Again, these three theorems are limiting cases of Proposition i., Cor. 1., and Parts 1, 2, of Proposition iii., namely, when the points in which the chord cuts the circle become consecutive.