Cut the knot: learn to enjoy mathematics
A math books store at a unique math study site. Learn to enjoy mathematics.
Google
Web CTK
Best sites for teachers
Sites for teachers
Sites for parents
Terms of use
Awards

Interactive Activities
CTK Exchange
CTK Insights - a blog

Games & Puzzles
What Is What
Arithmetic/Algebra
Geometry
Probability
Outline Mathematics
Make an Identity
Book Reviews
Eye Opener
Analog Gadgets
Inventor's Paradox
Did you know?...
Proofs
Math as Language
Things Impossible
Visual Illusions
My Logo
Math Poll
Cut The Knot!
MSET99 Talk
Other Math sites
Front Page
Movie shortcuts
Personal info
Reciprocal links
Privacy Policy

Guest book
News sites

Recommend this site

Best sites for teachers
Sites for teachers
Sites for parents

Education & Parenting

Manifesto: what CTK is about Search CTK Buying a book is a commitment to learning Table of content Things you can find on CTK Chronology of updates Email to Cut The Knot Recommend this page

Harmonic Ratio in Complex Domain

A straight line f(t) = (a + tb)/(1 + t), where t is a(n extended) real parameter and a and b are two complex numbers, passes through points A and B - the geometric images of a and b - such that a = f(0) and b = f(∞).

For any four points on such a line defined by four parameter values p, q, r, s, the cross-ratio is obtained easily in terms of the (real) parameter values:

  (f(p),f(q);f(r),f(s)) = (p,q;r,s).

Let's verify that this is indeed so.

(1) (f(p),f(q);f(r),f(s)) = (f(p) - f(r))/(f(p) - f(s)) : (f(q) - f(r))/(f(q) - f(s)).

Evaluating a piece at a time,

 
f(p) - f(r)= (a + pb)/(1 + p) - (a + rb)/(1 + r)
 = [(a + pb)(1 + r) - (a + rb)(1 + p)] / (1 + p)(1 + r)
 = (a + pb + ra + prb - a - rb - pa - prb) / (1 + p)(1 + r)
 = (pb + ra - rb - pa) / (1 + p)(1 + r)
 = (p - r)(b - a) / (1 + p)(1 + r),

and similarly for the other three differences in (1). Further,

 
(f(p) - f(r))/(f(p) - f(s))= (p - r)(b - a) / (1 + p)(1 + r) : (p - s)(b - a) / (1 + p)(1 + s)
 = (p - r)(1 + s) / (p - s)(1 + r).

Finally, for the cross-ratio, we see that

 
(f(p),f(q);f(r),f(s))= (f(p) - f(r))/(f(p) - f(s)) : (f(q) - f(r))/(f(q) - f(s))
 = [(p - r)(1 + s) / (p - s)(1 + r)] : [(q - r)(1 + s) / (q - s)(1 + r)]
 = (p - r)(1 + s)(q - s)(1 + r) / (p - s)(1 + r)(q - r)(1 + s)
 = (p - r)(q - s) / (p - s)(q - r)
 = (p - r)/(p - s) : (q - r)/(q - s),

as promised. We fix now points A(a) and B(b) and concentrate on the values p and q that correspond two points P(p) and Q(q) harmonically conjugate with respect to A and B:

  (p,q;0,∞) = -1.

So,

 
-1= (p - r)/(p - s) : (q - r)/(q - s)
 = (p - r)/(q - r) : (p - s)/(q - s)
 = (p - 0)/(q - 0) : (p - ∞)/(q - ∞)
 = p/q,

which implies q = -p! If we define a conjugation function, say, F(P) = Q, then since q = -p is equivalent to p = -q, the repeated application of F returns the original value:

 
F(F(P))= F(Q)
 = P.

A function with this property is known as involution. We use this to establish two important properties of harmonic conjugation:

Proposition

For q = -p,

  1. 1/(f(p) - a) + 1/(f(q) - a) = 2/(b - a),
  2. (f(p) - f(1))(f(q) - f(1)) = (b - a)2/4.

Both are proved by direct verification. For example,

 
f(p) - a= (a + pb)/(1 + p) - a
 = (a + pb - a - pa)/(1 + p)
 = p(b - a)/(1 + p).

Similarly

 
f(q) - a= q(b - a)/(1 + q)
 = -p(b - a)/(1 - p).

Adding the two terms in #1, we obtain

 
1/(f(p) - a) + 1/(f(q) - a)= (1 + p)/[p(b - a)] - (1 - p)/[p(b - a)]
 = 2/(b - a).

The second part of the proposition is as straightforward. Just note that f(1) = (a + b)/2 is the geometric image of the midpoint of the segment AB. A noteworthy fact about the proposition is that the right hand sides in both identities are independent of the selection of the pair of conjugates (f(p), f(-p)). The second one shows that the points P = f(p) and Q = f(-p) are obtained from each other by inversion in the circle with diameter AB. They lie on the extended diameter and satisfy |OP|·|OQ| = R2, where R = |b - a|/2, the radius of the circle, and O which represents f(1) = (a + b)/2, its center. OP and OQ are signed segments. Assuming the same for AP, AQ, and AB, the first identity reads

  1/AP + 1/AQ = 2/AB,

which we use in one of the proofs of the Butterfly theorem.

References

  1. C. Zwikker, The Advanced Geometry of Plane Curves and Their Applications, Dover, 2005

Poles and Polars

Copyright © 1996-2008 Alexander Bogomolny

28697365Page copy protected against web site content infringement by Copyscape


Search:
Keywords:


Latest on CTK Exchange
Math
Posted by Laura
2 messages
06:56 AM, Apr-15-08

Divisibility rules - Jargon buste ...
Posted by Carolyn
2 messages
08:35 AM, Apr-04-08

drawing puzzle
Posted by martin gran
31 messages
06:53 PM, May-09-08

Distance to the horizon
Posted by Monty
3 messages
04:38 PM, May-08-08

Mistake on the page (an aside, Be ...
Posted by Max
4 messages
10:28 AM, Feb-28-08

Deriving functions based on diffe ...
Posted by ke_45
1 messages
12:47 PM, May-10-08

A typo in
Posted by alexwajn
1 messages
11:36 PM, Apr-19-08