
Let
be a circle about
as centre and
as diameter;
I say that the straight line drawn from
at right angles to
from its extremity will fall outside the circle.
For suppose it does not, but, if possible, let if fall within as
and let
be joined.
Since
is equal to
,
the angle
is also equal to the angle
[Prop 1.5]
But the angle
is right;
therefore the angle
is also right:
thus, in the triangle
, the two angles
,
are equal to two right angles: which is impossible. [Prop 1.17]
Therefore the straight line drawn from the point
at right angles to
will not fall within the circle.
Similarly we can prove that neither will it fall on the circumference;
therefore it will fall outside.
Let it fall as
.
I say next that into the space between the straight line
and the circumference
another straight line cannot be interposed.
For, if possible, let another straight line be so interposed, as
, and let
be drawn from the point
per pendicular to
.
Then, since the angle
is right,
and the angle
is less than a right angle,
is greater than
. [Prop 1.19]
But
is equal to
;
therefore
is greater than
, the less to the greater : which is impossible.
Therefore another straight line cannot be interposed into the space between the straight line and the circumference.
I say further that the angle of the semicircle contained by the straight line
and the circumference
is greater than any acute rectilineal angle,
and the remaining angle contained by the circumference
and the straight line
is less than any acute rectilineal angle.
For, if there is any rectilineal angle greater than the angle contained by the straight line
and the circumference
, and any rectilineal angle less than the angle contained by the circumference
and the straight line
, then into the space between the circumference and the straight line
a striaght line will be interposed such as will make an angle contained by straight lines which is greater than the angle contained by the straight line
and the circumference
, and another angle contained by straight lines which is less than the angle contained by the circumference
and the straight line
.
But such a straight line cannot eb interposed;
therefore there will not be any acute angle contained by straight lines which is greater than the angle contained by the straight line
and the circumference
, nor yet any acute angle contained by straight lines which is less than the angle contained by the circumference
and the straight line
. --
. From this it is manifest that the straight line drawn at right angles to the diameter of a circle from its extremity touches the circle.
Q.E.D.