Scribd
Upload
128 views

Inversion - Chapter 7

This document defines inversion in geometry and provides constructions for inverting points inside and outside a circle of inversion. It also shows how to invert lines and circles using Geometer's Sketchpad. Key results include: 1) the inverse of a point inside the circle is constructed using perpendiculars; 2) the inverse of a point outside uses a midpoint circle; and 3) the coordinate representation of inversion maps (x,y) to (xr^2/x^2+y^2, yr^2/x^2+y^2). Applications include constructing a circle tangent to three non-coaxial circles and proving Ptolemy's theorem. Homework exercises ask the reader to find images under specified inversions and prove

Uploaded by

Ian G. Walker
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
128 views

Inversion - Chapter 7

This document defines inversion in geometry and provides constructions for inverting points inside and outside a circle of inversion. It also shows how to invert lines and circles using Geometer's Sketchpad. Key results include: 1) the inverse of a point inside the circle is constructed using perpendiculars; 2) the inverse of a point outside uses a midpoint circle; and 3) the coordinate representation of inversion maps (x,y) to (xr^2/x^2+y^2, yr^2/x^2+y^2). Applications include constructing a circle tangent to three non-coaxial circles and proving Ptolemy's theorem. Homework exercises ask the reader to find images under specified inversions and prove

Uploaded by

Ian G. Walker
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 9

Chapter 7

Inversion

Goal: In this chapter we define inversion, give constructions for inverses of


points both inside and outside the circle of inversion, and show how inversion could
be done using Geometers Sketchpad. A cartesian coordinate representation and a
number of fascinating applications of inversion are also presented.
Definition 7.0.1 Let O be the center of a fixed circle of radius r in the Euclidean
plane. Let P be any point in the plane other than O. An inversion in circle
C(O, r), I(O, r), is a function such that if I(O,r) (P ) = P 0 then P 0 OP and
(OP )(OP 0 ) = r2 . Here P 0 is called the inverse of P , O is called the center of
inversion, and r is called the radius of inversion, and r 2 is called its power.
It follows from the above definition that to each point P of the plane, other
than O, there corresponds a unique inverse point P 0 . To make the inversion a
transformation of the plane, we add to the plane a single ideal point defined to
be the inverse of the center of inversion. The point is considered to lie on every
line in the plane.

7.1

Constructing The Inverse of a Point:

Given the circle of inversion C(O,r) and a point P , how do you construct the inverse
of P ?

If P is inside the circle of inversion: (See Figure 7.1)


Draw the ray OP .
Draw a perpendicular to OP at P . This intersects the circle of inversion
in two points, label one of them Q.
Connect the center of the circle O to Q.
Draw a perpendicular to OQ from Q. The intersection of this perpendicular with OP is P 0 , the inverse of P .

52

Q
.......
..... ..... ..........
.....
... ..
.....
... ...
.....
..... ....
.....
...
...
.....
.....
...
....
.....
...
....
...
...
O
P0
P ...
...
...
...
...
...
...
.

Figure 7.1: Inverse of a Point Inside the Circle of Inversion

Note that OP Q OQP 0 . Hence


(OQ)2 = r2 .

OQ
OP

OP 0
.
OQ

Therefore, OP OP 0 =

If P is outside the circle of inversion: (See Figure 7.2)


Let M be the midpoint of the segment OP .
Construct a circle centered at M of radius M O. It intersects the circle of
inversion C(O,r) in two points, Q and R and goes through O and P .
Construct the segment QR. The intersection of QR and OP is the point
P 0 , the inverse of P .

Q.
............
.. . .... ...................
.
..
....
.. ....
.... .............
.......
....
.. . ....
.......
....
.
...P
....
.. . ..... P 0
.....
.
O
M
.....
.
...
.....
.
...
...
R

Figure 7.2: Inverse of a point Outside the Circle of Inversion

Note that OP Q OQP 0 . Hence


(OQ)2 = r2 .

53

OQ
OP

OP 0
.
OQ

Therefore, OP OP 0 =

Using Sketchpad:
Inverting a Line: To invert a straight line in the circle of inversion C(O,r)
follow the following steps:
1.
2.
3.
4.
5.
6.
7.
8.

Construct the circle of inversion C and the line l.


Construct an arbitrary point P on the line l.
Construct the ray OP .
Construct the intersection of OP and the circle, call it Q.
Construct the segment OP .
Mark O as the center of dilation.
r
Mark the ratio OP
.
r
Dilate Q by the ratio OP
centered at O. The image of Q is P 0 the inverse
image of P .
9. Hide everything except the circle, its center, the point determining its
radius, P 0 and the straight line l and the two point determining it.
10. Select everything and create a tool and call it invcirc.
11. Apply the tool a few times and use arc through three points to determine
the image of the line.
Inverting a Circle: To invert a circle C1 in the circle of inversion C(O,r) ,
replace l by C1 in the steps above.

7.2

Inversion Using Coordinates:

Theorem 7.2.1 An inversion about x2 + y 2 = r2 is given by


(x, y) (x0 , y 0 ) = (

xr2
yr2
,
)
x2 + y 2 x2 + y 2
0

Proof. Since (x, y), (x0 , y 0 ) and (0, 0) are collinear, we have xy 0 = xy . Now

d((0, 0), (x, y))d((0, 0), (x0 , y 0 )) = r2 , hence x2 + y 2 x02 + y 02 = r2 and (x2 +y 2 )
2
r4 y 02 (x2 + y 2 ) r4 x02 xy 2 (x2 + y 2 )
r4
02
02
02
02
02
4
y and x =
=
(x +y ) = r . Hence x = 2
x + y2
x2 + y 2
x2 + y 2
4
2 02
2 02
4
02 2
2
4
r
y x
y x
r
x (x + y )
r
= 2
2 . Hence x02 + 2 = 2
and
= 2
. Hence
2
2
2
x +y
x
x
x +y
x
x + y2
r 4 x2
r2 x
r2 y
0
0
x02 = 2
and
x
=
.
Similarly,
we
can
show
that
y
=
.
(x + y 2 )2
x2 + y 2
x2 + y 2

Exercise 1: What is the image of (x 1)2 + y 2 = 1 under an inversion in

x2 + y 2 = 1?

54

Y
6

-X

Figure 7.3: Inverse of (x 1)2 + y 2 = 1 in x2 + y 2 = 1


y
x
1
x
0
0
Answer. Well, x0 = x2 +y
2 and y = x2 +y 2 . Hence x = x2 +1(x1)2 = 2 and
y
y 0 = 2x
. Hence the image of a circle going through the center of the circle of
inversion is a line going through the points of intersection of the two circles.

Exercise 2: What is the image of x = 12 under an inversion in x2 + y 2 = 1?


Y
6
6
-X

Figure 7.4: Inverse of x =

1
2

in x2 + y 2 = 1

Answer: (x 1)2 + y 2 = 1

Exercise: What is the image of x = 1 under an inversion in x2 + y 2 = 1?


Answer: (x 1/2)2 + y 2 = 1/4.

Exercise 3: What is the image of x2 +2x+y 2 = 0 under an inversion in x2 +y 2 = 1?


Answer: x = 1/2.

55

Theorem 7.2.2 If two circles are orthogonal, (their tangents at the points of intersection are perpendicular), and if a diameter AB of one circle meets the other
circle in the points C and D, then OP 2 = OC OD.
P
C

O0

Figure 7.5: Orthogonal Circles are Inverses

Proof. OP O 0 is a right triangle, hence (OP )2 + (P O 0 )2 = (OO0 )2 . But OO0 =


OC + CO 0 = OC + P O 0 , hence (OP )2 + (P O 0 )2 = (OC + P O 0 )2 . Hence (OP )2 =
(OC)2 + 2 OC P O 0 , which implies that (OP )2 = OC (OC + 2P O 0 ). Hence
(OP )2 = OC OD.
Theorem 7.2.3 A circle orthogonal to the circle of inversion inverts into itself,
and, a circle through a pair of inverse points is orthogonal to the circle of inversion.
1
T

P0

P
O

Figure 7.6: Orthogonal Circles are Inverses

Proof. Given the circle of inversion C(O,r) and an orthogonal circle centered at
A. Let T be one of the points of intersection of the two circles. Now if a line
through O meets this orthogonal circle at P and P 0 then OP OP 0 = OT 2 = R2 .
Hence P and P 0 are inverse points.
Theorem 7.2.4 If P P 0 and Q, Q0 are pairs of inverse points with respect to some
2
circle C(O,r) , Then P 0 Q0 = P Q OPr OQ .
Proof. If O, P , Q are noncollinear then,
hence OP Q OQ0 P 0 . Hence

P 0 Q0
PQ

OQ0
OP

56

OP 0
OQ

OQ0
OP
0 0

and 6 P OQ = 6 Q0 OP 0 ,

. Hence P Q = OQ0 POPQ OQ


=
OQ

r2 P Q
.
OP OQ


0

Q.
...
..
..
..
..
..
..
..
...
...
..
.
P0

Q.
...
...
O
P

Figure 7.7:

7.3

P 0 Q0
PQ

r2
OP OQ

Applications of Inversion:

Given three non-coaxial concurrent circles, construct a circle C tangent to all


three circles.

Figure 7.8: A Circle Tangent To Three Non-Coaxial Circles

Solution: Invert the circles about a unit circle centered at the point of concurrency of the circles creating a triangle. Now construct the inscribed circle and
invert this circle in the circle of inversion to create the required circle.
Ptolemys Theorem: In a cyclic convex quadrilateral, the product of the diagonals is equal to the sum of the products of the two pairs of opposite sides.
Proof: Invert the circle and the convex quadrilateral about a circle centered
at one of the vertices of the quadrilateral, say A. Now B 0 D0 = B 0 C 0 + C 0 D0 .
Hence,
r2
r2
r2
BC
+ CD
= BD
AB AC
AC AD
AB AD
57

60
B
B

C0

D0
?

Figure 7.9: Ptolemys Theorem

Hence, BC AD + CD AB = BD AC.

Homework 7.3.1

1. Find the image of the objects below under the specified


inversion. (See Figures 7.10 and 7.11 )

2. Prove that the inverse of the circumcircle Cc of a triangle ABC with respect
to the incircle Ci , as a circle of inversion, is the nine point circle of the triangle
XY Z determined by the points of contact of Ci with the sides of ABC.

58

Figure 7.10: Inversion - HW

59


?

Figure 7.11: Inversion - HW

60

You might also like