Section 4.5: Circles in Euclidean Geometry (Part 1: Through Corollary 4.5.13)
Given a point P and a real number
C( P, r )
is the set
of points with a common distance
point P, i.e., the set of points Q in the
plane such that
of the circle
C( P, r ) .
Theorem 4.5.1, The "Three Points Circle" Theorem:
In the Euclidean Plane, three distinct non-collinear points determine a unique circle.
Proof: Let A, B, and C be three non-collinear points. Let
m be the
perpendicular bisectors of
intersecting these segments at midpoints M and N,
is parallel to m.
By Theorem 3.4.8, if a
line is perpendicular to one of two parallel lines,
then it is perpendicular to the other.
D be the point where
intersects m .
D is not equal to N or else A, B,
and C would be collinear. Thus,
BDN has angle
sum greater than 180
, which is a impossible in
is not parallel to
intersect, say a point P.
is on the perpendicular bisectors of segments,
PA = PB
PB = PC by Theorem 3.2.8.
PC . Then, all three points,
A, B, and C are on the circle
C( P, r ).
possible circle passing through A, B, and C must
have its center on both perpendicular bisectors and
so its center must be the point P of intersection of
these perpendicular bisectors, so there is no other
such circle than C( P, r ) passing through A, B, and
Q E D
This proof provides a method for constructing the center of the circle.