Bashing Geometry with Complex Numbers

Evan Chen
August 29, 2015

This is a (quick) English translation of the complex numbers note I wrote

for Taiwan IMO 2014 training. Incidentally I was also working on an airplane.

1 The Complex Plane

Let C and R denote the set of complex and real numbers, respectively.
Each z C can be expressed as

z = a + bi = r (cos + i sin ) = rei

where a, b, r, R and 0 < 2. We write |z| = r = a2 + b2 and arg z = .
More importantly, each z is associated with a conjugate z = a bi. It satisfies the
properties

wz =wz
wz =wz
w/z = w/z
|z|2 = z z

Note that z R z = z and z iR z + z = 0.

Im
z = 3 + 4i

|z| = 5

0
Re

1 2i

z = 3 4i

Figure 1: Points z = 3 + 4i and 1 2i; z = 3 4i is the conjugate.

We represent every point in the plane by a complex number. In particular, well use a
capital letter (like Z) to denote the point associated to a complex number (like z).

1
Evan Chen 2 Elementary Propositions

Complex numbers add in the same way as vectors. The multiplication is more
interesting: for each z1 , z2 C we have

|z1 z2 | = |z1 | |z2 | and arg z1 z2 = arg z1 + arg z2 .

This multiplication lets us capture a geometric structure. For example, for any points Z
and W we can express rotation of Z at W by 90 as

z 7 i(z w) + w.

Im z = 3 + 4i Im
iz = 4 3i
zw
i(z w)

0 Re 0 Re

z
i(z w) + w

Figure 2: z 7 i(z w) + w.

2 Elementary Propositions
First, some fundamental formulas:
Proposition 1. Let A, B, C, D be pairwise distinct points. Then AB CD if and
dc
only if ba iR; i.e.
 
dc dc
+ = 0.
ba ba
 
Proof. Its equivalent to dc
ba iR arg dc
ba 90 AB CD

Proposition 2. Let A, B, C be pairwise distinct points. Then A, B, C are collinear if

and only if ca
cb R; i.e.
 
ca ca
= .
cb cb

Proof. Similar to the previous one.

Proposition 3. Let A, B, C, D be pairwise distinct points. Then A, B, C, D are

concyclic if and only if
ca da
: R.
cb db
   
Proof. Its not hard to see that arg ca
cb = ACB and arg da
db = ADB. (Here
angles are directed).

2
Evan Chen 2 Elementary Propositions
Im Im
b

d
a ba
dc
c

0 Re 0 Re

dc
Figure 3: AB CD ba iR.

Now, lets state a more commonly used formula.

Lemma 4 (Reflection About a Segment). Let W be the reflection of Z across AB. Then
(a b)z + ab ab
w= .
ab

Of course, it then follows that the foot from Z to AB is exactly 12 (w + z).

Im Im Im

z
b
za
ba
za
a w ba
wa
0 1 Re 0 1 Re 0 1 Re
wa
ba

Figure 4: The reflection of Z across AB.

Proof. According to Figure 4 we obtain

 
wa za za
= = .
ba ba ba
(ab)z+abab
From this we derive w = ab
.

Here are two more formulas.

Theorem 5 (Complex Shoelace). Let A, B, C be points. Then 4ABC has signed area
 
 a a 1 
i  
.
b b 1
4  
c c 1 
In particular, A, B, C are collinear if and only if this determinant vanishes.

3
Evan Chen 3 The Unit Circle, and Triangle Centers

Proof. Cartesian coordinates.

Often, Theorem 5 is easier to use than Theorem 2.
Actually, we can even write down the formula for an arbitrary intersection of lines.
Proposition 6. Let A, B, C, D be points. Then lines AB and CD intersect at
ab ab)(c d) (a b)(
(
cd cd)
a b)(c d) (a b)(
( .
c d)
But unless d = 0 or a, b, c, d are on the unit circle, this formula is often too messy to
use.

3 The Unit Circle, and Triangle Centers

On the complex plane, the unit circle is of critical importance. Indeed if |z| = 1 we
have
1
z= .
z
Using the above, we can derive the following lemmas.
Lemma 7. If |a| = |b| = 1 and z C, then the reflection of Z across AB is a + b abz,
and the foot from Z to AB is
1
(z + a + b abz) .
2
Lemma 8. If A, B, C, D lie on the unit circle then the intersection of AB and CD is
given by
ab(c + d) cd(a + b)
.
ab cd
These are much easier to work with than the corresponding formulas in general. We
can also obtain the triangle centers immediately:
Theorem 9. Let ABC be a triangle center, and assume that the circumcircle of ABC
coincides with the unit circle of the complex plane. Then the circumcenter, centroid, and
orthocenter of ABC are given by 0, 13 (a + b + c), a + b + c, respectively.
Observe that the Euler line follows from this.
Proof. The results for the circumcenter and centroid are immediate. Let h = a + b + c.
By symmetry it suffices to prove AH BC. We may set
ha b+c
z= = .
bc bc
Then
1
+1
 
b+c b+c c+b
z= = = 1b 1c = = z
bc bc b c
cb
so z iR as desired.
We can actually even get the formula for the incenter.
Theorem 10. Let triangle ABC have incenter I and circumcircle . Lines AI, BI, CI
meet again at D, E, F . If is the unit circle of the complex plane then there exists
x, y, z C satisfying
a = x2 , b = y 2 , c = z 2 and d = yz, e = zx, f = xy.
Note that |x| = |y| = |z| = 1. Moreover, the incenter I is given by (xy + yz + zx).
Proof. Show that I is the orthocenter of 4DEF .

4
Evan Chen 4 Some Other Lemmas

4 Some Other Lemmas

Lemma 11. Let A, B be on the unit circle and select P so that P A, P B are tangents.
Then
2 2ab
p= = .
a+b a+b
Proof. Let M be the midpoint of AB and set O = 0. One can show OM OP = 1 and
that O, M , P are collinear; the result follows from this.

2ab
a+b

2
Figure 5: Two tangents. p = a+b
.

Lemma 12. For any x, y, z, the circumcenter of 4XY Z is given by

   
 x xx 1   x x 1 

 y
 y y 1   y y 1  .
 z z z 1   z z 1 

This formula is often easier to apply if we shift z to the point 0 first, then shift back
afterwards.

5 Examples
Example 13 (MOP 2006). Let H be the orthocenter of triangle ABC. Let D, E, F
lie on the circumcircle of ABC such that AD k BE k CF . Let S, T , U respectively
denote the reflections of D, E, F across BC, CA, AB. Prove that points S, T , U , H
are concyclic.

Proof. Let (ABC) be the unit circle and h = a + b + c. WLOG, AD, BE, CF are
perpendicular to the real axis (rotate appropriately); thus d = a and so on. Thus
s = b + c bcd = b + c abc and so on; we now have
st ba ht b + abc
= and = .
su ca hu c + abc
Compute
1
a1 1 1



st ht (b a)(c + abc) b c + abc
st ht
: = = 1 = : R
a1 1 1


su hu (c a)(b + abc) c b + abc
su hu

as desired.

5
Evan Chen 5 Examples
A

E
F
I

H
G
Q B DM C

Example 14 (Taiwan TST 2014). In 4ABC with incenter I, the incircle is tangent to
CA, AB at E, F . The reflections of E, F across I are G, H. Let Q be the intersection of
GH and BC, and let M be the midpoint of BC. Prove that IQ and IM are perpendicular.

Solution. Let D be the foot from I to BC, and set (DEF ) as the unit circle. (This lets
us exploit the results of Section 3.) Thus |d| = |e| = |f | = 1, and moreover g = e,
h = f . Let x = d = d1 and define y, z similarly. Then
2 2
b= = .
d+f x+z
2
Similarly, c = x+y , so

1 1 1 2x + y + z
m = (b + c) = + = .
2 x+y x+z (x + y)(x + z)
Next, we have Q = DD GH, which implies
 
1 1 1 1 2
dd(g + h) gh(d + d) x2
y z yz x 2x + y + z
q= = 1 1 = .
d2 gh x2
yz x2 yz
so
x2 yz
m/q = .
(x + y)(x + z)
Now,
1 1
x2
yz yz x2
m/q =   = = m/q
1
+ 1 1
+ z1

(x + y)(x + z)
x y x

thus m/q iR, as desired.

Example 15 (USAMO 2012). Let P be a point in the plane of 4ABC, and a line
through P . Let A0 , B 0 , C 0 be the points where the reflections of lines P A, P B, P C with
respect to intersect lines BC, AC, AB respectively. Prove that A0 , B 0 , C 0 are collinear.

Solution. Let p = 0 and set as the real line. Then A0 is the intersection of bc and p
a.
So, using Theorem 6 we get
(bc b
a c)
a0 = .
(b c)
a (b c)a
Note that
a(bc bc)
0 =
a .
(b c)a (b c)
a

6
Evan Chen 5 Examples
A

B A C

Thus by Theorem 5, it suffices to prove

(bcb
a c) a(bcbc)
 

 (bc)a(bc)a (bc)a(b c)
a
1 
 b( cac
a) a
b(c ca) 
0 =  (c a)b(ca)b (ca)b( c a)b
1  .
 c(abab) c(ab
ab) 
 ab)
( c(ab)c (ab)c( ab) c
1 

This is equivalent to

(bc b
c) a(bc b
c) (b c)
 
 a a (b c)a 
b( )b (c a)b
 
0 =  ca c ca c
a) b( a) (ca .
ab ab) c(
ab ab) (a b)

 c( c (a b)c 

Evaluating the determinant gives

 b b 
X  
b ab


((b c)
a (b c)a) 
  (
ca c
a) a
c c 
cyc

or, noting the determinant is b c bc and factoring it out,

X
(bc cb)( ab ab) b


ca c
a)( ab ac + ca a = 0.
cyc

Example 16 (Taiwan TST Quiz 2014). Let I and O be the incenter and circumcenter
of ABC. A line ` is drawn parallel to BC and tangent to the incircle of ABC. Let X,
Y be on ` so that I, O, X are collinear and XIY = 90 . Show that A, X, O, Y are
concyclic.

Y X

O
I

B X Y C
Q

7
Evan Chen 5 Examples

Solution. Let X 0 and Y 0 respectively denote the reflections of X and Y across I. Note
that X, Y lie on BC. Also, let P , Q be the intersections of IY with the circumcircle.
Of course, (ABC) is the unit circle. Let j be the complex number corresponding to I
(to avoid confusion with i = 1). Thus,
2 b2
j c bc



0 bc bc (j 0) j0 j0 (b c) j(b + c)
x = = cb
= .
(b c)(j 0) (b c)(j 0) j bc (b c)j j + bcj

We seek y 0 now. Consider the quadratic equation in z given by

1
zj j
+ z
= 0 z 2 2jz + j/j = 0.
j j

Its zeros in z are p and q, which implies that p + q = 2j and pq = j/j (by Vieta!). From
this we can compute

pq(b + c) bc(p + q) j(b + c) 2bcjj j(b + c) 2bcjj

y0 = = = .
pq bc j bcj j bcj
which gives

j(2j b c + 2bcj) j(2j b c)

x = 2j x0 = and y = 2j y 0 = .
j + bcj j bcj
From this we can obtain
(2j b c)(j + bcj) (2j b c + 2bcj)(j bcj)
yx=j
(j bcj)(j + bcj)
2bcj(2j b c) 2bcj(j bcj)
=j
(j bcj)(j + bcj)


2bcj j b c + bcj
=j
(j bcj)(j + bcj)


yx 2bcj j b c + bcj
X= =
x (j bcj)(2j b c + 2bcj)
ya j(2j b c a) + abcj
A= =
a a(j bcj)

We need to prove X/A = X/A. Now set a = x2 , b = y 2 , c = z 2 , j = (xy + yz + zx),

j = x+y+z
xyz (this is a different x, y than the points X and Y .) So, the above rewrites as

2 yz yz
+ y + z) + y 2 + z 2 + xy + yz + zx)
x (x + y + z)( x (x

X=
yz yz

2 2
x (x + y + z) + xy + yz + zx y + z + 2(xy + yz + zx) + 2 x (x + y + z)
 
2yz(x + y + z) 2xyz + sym x2 y
P
=
(y + z)(x2 yz) (x(y + z)(2x + y + z) + 2yz(x + y + z))
2yz(x + y + z)(x + y)(x + z)
= 2 2
(x yz) ((x + yz)(y + z) + (xy + yz + zx)(x + y + z))
and
(xy + yz + zx)(x + y + z)2 xyz(x + y + z) (x + y + z)(x + y)(y + z)(z + x)
A= 2 yz =
x ((xy + yz + zx) + x (x + y + z)) x(yz x2 )(y + z)

8
Evan Chen 6 Practice Problems

thus
2xyz
X/A =
(x2 + yz)(y + z) + (x + y + z)(xy + yz + zx)
2
xyz
= = X/A.
( x12 + 1 1
yz )( y + z1 ) + ( x1 + 1
y + z1 )( xy
1
+ 1
yz + 1
zx )

6 Practice Problems
1. Let ABCD be cyclic. Let HA , HB , HC , HD denote the orthocenters of BCD,
CDA, DAB, ABC. Show that AHA , BHB , CHC , DHD are concurrent.
2. (China TST 2011) Let be the circumcircle of a triangle ABC. Assume AA0 , BB 0 ,
CC 0 are diameters of . Let P be a point inside ABC and let D, E, F be the feet
from P to BC, CA, AB. Let X be the reflection of A0 across D; define Y and Z
similarly. Prove that 4XY Z 4ABC.
3. In circumscribed quadrilateral ABCD with incircle , Prove that the midpoint of
AC and the midpoint of BD are collinear with the center of .
4. (Simson Line) Let ABC be a triangle and P a point on its circumcircle.
(a) Let D, E, F be the feet from P to BC, CA, AB. Show that D, E, F are
collinear.
(b) Moreover, prove that the line through these points bisects P H, where H is
the orthocenter of ABC.
5. (PUMaC Finals) Let and I be the incircle and incenter of triangle ABC. Let D,
E, F be the tangency points of to BC, CA, AB and let D0 be the reflection of
D about I. Assume EF intersects the tangents to at D and D0 at points P and
Q. Show that DAD0 + P IQ = 180 .
6. (Schiffler Point) Let triangle ABC have incenter I. Prove that the Euler lines of
4AIB, 4BIC, 4CIA, 4ABC are concurrent.
7. (USA TST 2014) Let ABCD be a cyclic quadrilateral and let E, F , G, H be
the midpoinst of AB, BC, CD, DA. Call W , X, Y , Z the orthocenters of AHE,
BEF , CF G, DGH. Prove that ABCD and W XY Z have the same area.
8. Let O be the circumcenter of ABC. A line ` through O cuts AB and AC at points X
and Y . Let M and N be the midpoints of BY , CX. Show that M ON = BAC.
9. (APMO 2010) Let ABC be an acute triangle, where AB > BC and AC > BC.
Denote by O and H the circumcenter and orthocenter. The circumcircle of AHC
intersects AB again at M ; the circumcircle of AHB intersects AC again at N .
Prove that the circumcenter of triangle M N H lies on line OH.
10. (Iran 2013) Let ABC be acute, and M the midpoint of minor arc BC.
d Let N be
on the circumcircle of ABC such that AN BC, and let K, L lie on AB, AC so
that OK k M B, OL k M C. (Here O is the circumcenter of ABC). Prove that
N K = N L.
11. (MOP 2006) Cyclic quadrilateral ABCD has circumcenter O. Let P be a point in
the plane and let O1 , O2 , O3 , O4 be the circumcenters of P AB, P BC, P CD, P DA.
Show that O1 O3 , O2 O4 , OP are concurrent.