The Method of Moving Points

Vladyslav Zveryk
July 29, 2019

Introduction
Here is the list of things one should know about while using the method we will study in this
paper:
• Cross ratio on lines, conics, pencils of lines.

• Inversion wrt. a circle.

• Basic projective transformations of a plane.

• Polar transformation. Duality principle.

• Algebraic and geometric definitions of a conic.

There are a lot of papers including information about every of these items. For example, read [1]
and [2].

1 One side of the MMP: the coinciding maps

For the next definition, F is the set of objects on which the cross ratio is defined (for example,
lines, conics, pencils of lines).
Definition 1.0.1. For C1 , C2 ∈ F we say a function f : C1 → C2 is a projective map if it preserves
cross-ratios. In other words, if A, B, C, D ∈ C1 , then

(A, B; C, D) = (f (A), f (B); f (C), f (D)).

Excercise 1.1. Check that every projective map is bijective.

Here are some examples of projective maps:
• Given a line l and a point P , the map from l to CP (the pencil of lines through P ) given by
X 7→ P X.

1
Vladyslav Zveryk The Method of Moving Points

• Given a conic γ and a point P on the conic, the map from ` to CP given by X 7→ P X.

• Given a conic γ and any point P , the map from γ to γ by X 7→ P X ∩ γ 6= X.

• An inversion of a circle or a line.

The following theorem is the main result we will use in this section.

Theorem 1.2. Let f : C1 → C2 and g : C1 → C2 be two projective maps. Then, f ≡ g if and only
if f = g for three distinct points on C1 .

Proof. The necessity is obvious. For the sufficiency, let A1 , A2 , A3 be three distinct points on
C1 such that f (Ai ) = g(Ai ) = Bi for all i = 1, 3. Then, since for any D ∈ C1 \ {A1 , A2 , A3 }
there exists a unique point X on C2 such that (B1 , B2 ; B3 , X) = (A1 , A2 ; A3 , B), it follows that
X = f (B) = g(B), as desired.
Now, it’s time to solve some problems with the theory we’ve just learnt!

Example 1.1 (Serbia MO 2018). Let 4ABC be a triangle with incenter I. Points P and Q
are chosen on segments BI and CI such that 2∠P AQ = ∠BAC. If D is the touch point of incircle
and side BC, prove that ∠P DQ = 90◦ .

I
Q

B C
D

Solution. Let ∠BAC = 2α. Consider the map f : BI → CI sending a point X ∈ BI to Y ∈ CI

such that ∠XAY = α. Note that f is projective since X 7→ AX 7→ AY 7→ Y is projective since
AX 7→ AY is a rotation by the fixed angle α. Similarly, the map g : BI → CI which sends a
point X ∈ BI to Y ∈ CI such that ∠XDY = 90◦ , is also projective. Our goal is to prove that
f ≡ g, which will imply that P is sent to Q by both maps, hence ∠P DQ = 90◦ . It follows from
the theorem 1.2 that it’s enough to check 3 cases:

• P = B. Then both f and g send P to the same point Q = I;

• P = I. Then both f and g send P to the same point Q = C;

2
Vladyslav Zveryk The Method of Moving Points

• Let P and Q be the incenters of 4ABD and 4ACD, respectively. Note that
∠BAI ∠IAC ∠BAC
∠P AQ = ∠P AI + ∠IAQ = + = = α,
2 2 2
thus f maps P to Q. Similarly,
∠BDI ∠IDC
∠P DQ = ∠P DI + ∠IDQ = + = 90◦ ,
2 2
hence g also maps P to Q, as required.

So, why the Method of Moving Points? Note that sketch of the previous solution can be
rewritten in the following manner: ”Let P be moving on the line BI. f sends it to Q1 such that
∠P AF = α, and g sends it to Q2 such that ∠P DQ = 90◦ . Since f and g are projective, it’s
enough to check three points to show that they are the same...” So, the main idea of MMP is
to start moving a single point along a line/conic and check how do other parts of the diagram
change. Sometimes you should try different variants of the moving point to make observations
easier (the correspondence between points seems to be more difficult to investigate if moving, for
example, point D).
Look again at the solution for the previous example. Note that we considered points P, Q
moving on segments BI, CI, but we defined projective maps from line to line. If we add more
strictness and say that the maps f and g save oriented angles ∠(P A, AQ) = α and ∠(P D, DQ) =
90◦ , they will be projective along the whole lines BI, CI, so the problem is true for any point P
on the line BI. Some problems which can be done by MMP have a generalisation by this method.
Let’s consider another example showing this:
Example 1.2 (IMO 2010/2). Given a triangle ABC, with I as its incenter and Γ as its cir-
cumcircle, AI intersects Γ again at D. Let E be a point on the arc BDC, and F a point on the
segment BC, such that ∠BAF = ∠CAE < 21 ∠BAC. If G is the midpoint of IF , prove that the
meeting point of the lines EI and DG lies on Γ.
A

B F C

3
Vladyslav Zveryk The Method of Moving Points

Solution. We will move E on Γ, which means that we have mappings generated by varying E. Let
K1 = EI ∩ Γ and K2 = DG ∩ Γ. We have that f : E 7→ K1 is projective as it’s a simple projection
from Γ to itself wrt. I.
We’ll now show that g : E 7→ K2 is projective. Note that E 7→ AE 7→ AF 7→ F since AE 7→
AF is a reflection over AD which clearly preserves cross ratio. Also, the locus of G is homothetic
to the locus of F wrt. I with coefficient 1/2, thus F 7→ G is projective. Projecting through
D ∈ Γ, we have that G 7→ K2 is projective, so we get that g : E 7→ AE 7→ AF 7→ F 7→ G 7→ K2
is projective, as desired.
Therefore, to show K1 = K2 , it suffices to check three values of E.

• E = C. Here K1 is the midpoint of the arc AB. By incenter lemma, DI = DB and

K1 I = K1 B, hence DK1 passes through the midpoint G of BI, which implies K1 = K2 .

• E = B. Similar to the previous case, but stop! The problem statement says that ∠CAE <
< 21 ∠BAC, so you cannot consider E = B! We may try to consider other points, but let’s
look again at f and g. They will stay projective if E is moving along the whole circle Γ, and
since we know that they must coincide on the arc DC, by theorem 1.2 they must coincide on
Γ. Thus, we extend the locus of E to Γ and prove the more general version of the problem.
Similarly to the previous item, we check E = B.

• E = D. Then K1 = A, F = AD ∩ BC ⇒ G ∈ AD ⇒ K2 = A = K1 .

Note that this is the process of finding a solution described above. While being at the contest,
for clearer solution one should write the generalised version of the problem first, and then to prove
it.
The next example shows how inversion can be useful in proving that some map is projective.
This transformation can easily deal with moving circles, and it’s usually good to keep in mind the
technique of applying it.

Example 1.3. Let P, Q be isogonal conjugate points wrt. 4ABC (i.e. pairs of lines (AP, AQ),
(BP, BQ), (CP, CQ) are symmetric to each other wrt. angle bisectors of ∠BAC, ∠ABC, ∠ACB,
respectively). Point X is the orthogonal projection of Q on BC. The circle with diameter P A
intersects (ABC) at K 6= A. AQ intersects (ABC) at T 6= A Prove that the points K, X, T
are collinear.

4
Vladyslav Zveryk The Method of Moving Points

A l0
A0

K B0

Q
P

K0

B C P0 C0
X

R T

Solution. Let Q be moving along the line AT . Firstly, Q 7→ X 7→ K1 is projective, where

K1 = T X ∩ (ABC). Let l be the line AP which stays fixed as Q varies. Then, P is moving
along l, and Q 7→ CQ 7→ CP 7→ P is projective since CQ 7→ CP is a symmetry wrt. the bisector
of ∠ACB. We now need to show that P 7→ K2 is projective, were K is defined as the intersection
of the circle with diameter P A and (ABC). Consider inversion at A. The circumcircle of ABC
is sent to the line B 0 C 0 , and the circle with diameter AP is sent to the line P 0 K20 perpendicular
to AP 0 . Here point P 0 is moving along the fixed line l, and since ∠AP 0 K20 = 90◦ , the map P 7→ is
clearly projective, and since inversion preserves cross ratios, we’ve got that P 7→ K2 is projective
in the initial problem. Thus, it’s left to check three positions of point Q:

• Q = T . Then K1 is such that T K1 ⊥ BC. Let R = l ∩ (ABC), and since T R k BC,

∠(P C, CB) = ∠(AC, CT ) = ∠(AR, RT ) = ∠(AR, BC),

which means that P = ∞l . Thus, AK2 ⊥ l as the limit case of circle with diameter AP .
Finally, 90◦ = ∠(BC, T K1 ) = ∠(RT, T K1 ) = ∠(RA, AK1 ), which implies K1 = K2 , as
required.

• Q = ∞AT . Similarly to the previous case, we obtain that P = R. Then K2 = R, X = ∞BC ,

K1 = T ∞BC ∩ (ABC) = R = K2 .

• Q = BC ∩ AT . Then, X = Q ⇒ K1 = A. Then, since CB and CA are symmetric wrt. the

bisector of ∠ACB, P = A ⇒ K2 = A = K1 , as desired.

5
Vladyslav Zveryk The Method of Moving Points

1.1 Problems for practice

1. Let ABC be a triangle with circumcircle (O). The tangent to (O) at A intersects the line
BC at P . E is an arbitrary point on the line P O, and D ∈ BE is such that AD ⊥ AB.
Prove that ∠EAB = ∠ACD.

2. Let ∆ABC with circumcircle (O) and incircle (I). X is an arbitrary point on BC. The
line through I perpendicular to IX cuts the tangent of (I) which parallel to BC at Y . AY
cuts (O) again at Z. T is the tangent point of A-Mixtilinear incircle with (O). Prove that
X, Z, T are collinear.

3. Let AB be a diameter of circle ω. ` is the tangent line to ω at B. Take two points C, D on `

such that B is between C and D. E, F are the intersections of ω and AC, AD, respectively,
and G, H are the intersections of ω and CF , DE, respectively. Prove that AH = AG.

4. Let (O) be a circle and l a line. The perpendicular through O to l intersects Γ at A and B.
Let P1 , P2 be two point on Γ, and P A ∩ l = X1 , P B ∩ l = X2 , QA ∩ l = Y1 , QB ∩ l = Y2 .
Prove that the circumcircles of 4AX1 Y1 and 4AX2 Y2 intersect on Γ.

5. In 4ABC ∠B is obtuse and AB 6= BC. Let O is the circumcenter and ω is the circumcircle
of this triangle. N is the midpoint of arc ABC. The circumcircle of 4BON intersects AC
on points X and Y . Let BX ∩ ω = P 6= B and BY ∩ ω = Q 6= B. Prove that P, Q and
reflection of N with respect to line AC are collinear.

6. Given a 4ABC and two isogonal points P and Q. Points D, E and F are intersections of
lines AP , BP and CP with sides BC, AC, and AB, respectively. Let O be the circumcenter
of 4ABC. Let X be the intersection of the line perpendicular to EF through A and the
line OD. Prove that QX ⊥ BC.

2 Other side of the MMP: the Steiner Conic

In this section, we will study the projective maps between two lines or between two pencils of
lines. We start from a very important theorem.

Theorem 2.1 (Steiner conic). Let f : CA → CB be a projective map between two pencils of lines
CA and CB . Then

1. f (AB) = AB if and only if there exists a line C such that l∩f (l) ∈ C for every l ∈ CA \{BC};

2. f (AB) 6= AB if and only if there exists a conic C passing through A, B such that l ∩ f (l) ∈ C
for every l ∈ CA .

Making the polar transformation, we obtain the dual of theorem 2.1:

Theorem 2.2 (Dual to Steiner conic). Let f : a → b be a projective map between two lines a and
b. Then

6
Vladyslav Zveryk The Method of Moving Points

1. f (a ∩ b) = a ∩ b if and only if there exists a point C such that Df (D) pass through C for
every D ∈ a \ {a ∩ b};

2. f (a ∩ b) 6= a ∩ b if and only if there exists a conic C tangent to a, b such that Df (D) is

tangent to C for every D ∈ a.

Proof of theorem 2.1. Clearly, the maps in both cases are projective since l 7→ l ∩ C = f (l) ∩ C 7→
f (l) is projective. Also note that the sufficiency is obvious, so let’s prove the necessity.

1. Let f (AB) = AB, and consider three distinct lines l1 , l2 , l3 ∈ CA \ {BC}. Let Di = li ∩ f (li )
for every i = 1, 3, C be a line through A1 and A2 , and P = C ∩ AB. Then,

(D1 , D2 ; D3 , P ) = (AD1 , AD2 ; AD3 , AB) = (BD1 , BD2 ; BD3 ; AB) = (D1 , D2 ; BD3 ∩ C, P ),

which implies D3 = BD3 ∩ C, which is equivalent to D4 ∈ C, as desired.

2. Let f (AB) 6= AB, and consider four distinct lines l1 , l2 , l3 , l4 ∈ CA \ {BC}. Let Di =
= li ∩ f (li ) for every i = 1, 4. It’s well-known that there exists a unique conic C passing
through A, B, D1 , D2 , D3 (no three of these points collinear, since the contrary will imply
f (AB) = AB). Then,

(D1 , D2 ; D3 , D4 ) = (AD1 , AD2 ; AD3 , AD4 ) = (BD1 , BD2 ; BD3 ; BD4 ) =

= (D1 , D2 ; BD3 , BD4 ∩ C),

which implies D4 = BD4 ∩ C, which is equivalent to D4 ∈ C, as desired.

As it was said later, theorem 2.2 is the dual of theorem 2.1, thus it can be also considered to be
proven.
The two theorems proved is a strong tool in proving that the locus of some points is a line of
that some set of lines pass through a single point. The next example shows the power of these
results.

Example 2.1. Given a 4ABC and a point P on the line BC. The circle with diameter BP
intersects the circumcircle of AP C again at point Q. Let M be the intersection of P Q and AC,
and H be the orthocenter of 4ABP Prove that when P varies on BC, M H passes through a
fixed point.

7
Vladyslav Zveryk The Method of Moving Points

M
M

A A
A

R
Q H
P Q P
H P
B
B C B A1 C C
T

Solution. Let P be moving along the line BC. First let’s deal with orthocenter. Let A1 ∈ BC
and R ∈ AB such that AA1 ⊥ BC and P R ⊥ AB. Note that AA1 is fixed and AA1 ∩ P R = H,
hence P 7→ P R 7→ H is projective. So, our plan is the following:

1. Show that P 7→ M is projective, which will imply H 7→ P 7→ M is projective;

2. Show that H 7→ M sends AA1 ∩ AC = A to itself, which will imply by theorem 2.2 that
HM passes through a fixed point.

Why are we so sure that this plan will work, i.e. H 7→ M will be projective? Note that if the
problem statement is true, then M 7→ H is simply a projection from AC to AA1 , which is clearly
projective. So, our plan MUST work, or the problem is incorrect! So, let’s prove that P 7→ M is
projective. Let the circumcircle Γ of triangle ABC intersect the circle with diameter BP again
at T . Then, by radical axes theorem BT passes through M . In the solution for Example 1.3 it
was shown that P 7→ T is projective (inversion again!), and T 7→ M is clearly projective. Thus,
P 7→ T 7→ M is projective, and the conclusion follows.
Do you see the beauty of this solution? We don’t know ANYTHING about the point all the
lines M H pass through, but we proved that such a point exists!

Example 2.2 (RMM 2019/2). Let ABCD be an isosceles trapezoid with AB k CD. Let E
be the midpoint of AC. Denote by ω and Ω the circumcircles of the triangles ABE and CDE,
respectively. Let P be the crossing point of the tangent to ω at A with the tangent to Ω at D.
Prove that P E is tangent to Ω.

8
Vladyslav Zveryk The Method of Moving Points

D C

A
P

E F

C A B
B D

Solution. Firstly, we provide the following lemma:

Lemma. Let ABC be a triangle, AD its median, X ∈ AD and ωB , ωC the circumscribed circles
of 4AXB and 4AXC respectively. Draw tangents lB , lC to ωB , ωC in B, C, respectively, and
let lB ∩ lC = Y . Then Y lies on the A-symmedian of the triangle ABC.

Proof. Move X along AD. Note that X 7→ BX 7→ BY is projective since ∠(BY, BX) =
= ∠(BA, XA) = const, and BX 7→ BY is simply a rotation by a fixed angle. Similarly, X 7→ CY
is projective, thus BY 7→ CY is projective. Since BC 7→ BC (the radical axis of circles pass-
ing through A, B and A, C respectively and both tangent to BC passes through A and D, and
hence their intersection lies on AM ), the locus of points Y is a line, and it’s left to check that
for some two positions of point X the point Y lies on the A-symmedian of 4ABC. Let ω be the
circumcircle of 4ABC, X1 = AD ∩ ω, X2 = D. For X = X1 we have ωB = ωC = ω, hence Y
is the intersection point of tangents through B, C to ω, and it’s well-known that it lies on the
symmedian. For X = X2 we have:

∠BY C = 180◦ − ∠Y CB − ∠Y BC = 180◦ − ∠Y AB − ∠Y AC = 180◦ − ∠CAB,

which implies that Y ∈ ω. Then ∠DAC = ∠DCY = ∠BCY = ∠BAY , and hence AY is
symmedian. Our lemma is proved.
Back to the problem. Let F be the midpoint of BD, and because of symmetry ω and Ω pass
through it. Applying lemma to these circles and 4AED we get that EP is its symmedian, and
hence
∠(DE, EP ) = ∠(EF, EC) = ∠(DC, CE),
which implies that P E is tangent to ω, q.e.d.
Again, we proved in the lemma that there exists a line all points Y lie on, and then we found
this line checking two points. Note that since we know this line should be a symmedian l, we can

9
Vladyslav Zveryk The Method of Moving Points

consider maps BY 7→ BY ∩ l, CY 7→ CY ∩ l, and then check three points to show that they are
the same.
Now, let’s provide a useful lemma which will help sometimes in solving problems with maps
saving angles.

Lemma 2.3. Given two lines a and b. Suppose that f : a → b is a projective map such that
f (∞a ) = ∞b . Then, for any fixed α and β, the locus of points X such that ∠(XA, a) = α,
∠(Xf (A), b) = β for A ∈ a, is a line.

Proof. Let lα and lβ be two lines such that ∠(lα , a) = α, ∠(lβ , b) = β, and let ∞α and ∞β be
their points at infinity, respectively. Then, ∞α X 7→ A 7→ f (A) 7→ ∞β X is projective, and since
the line at infinity is mapped to itself by the problem statement, it follows from theorem 2.1 that
the locus of points X is a line.

Example 2.3. Given a 4ABC and its orthocenter H. ω is the circumcircle of triangle BHC.
We take a point P on ω. Lines BP and CP intersect lines AC and AB at points X and Y
respectively. Show that when P moves on ω, circumcircles of quadrilaterals AXP Y pass through
one point different from A.

E
O
F
Y

O0
X
P
H

B C

Solution. Let γ be circumcircle of AXP Y , and O be its circumcenter. Note that the problem
statement is equivalent to all points O lie on a fixed line, and the point all γ pass through is a
reflection of A over this line. Let E and F be the midpoints of AY, AX, respectively, so that O
is the intersection of perpendiculars through E, F to AY, AX, respectively. Making a homothety
centered at A with coefficient 2, we obtain E 7→ Y , F 7→ X, O 7→ O0 , and it’s left to prove that
the points O0 lie on a fixed line.
While P is moving on ω, we have X 7→ P 7→ Y is projective. Since ∠(AX, XO0 ) =
= ∠(AY, Y O0 ) = 90◦ , it follows from lemma 2.3 that we need to prove ∞AB is mapped to
∞AC . Consider P being the point symmetric to A wrt. the midpoint of BC. Clearly, it lies on
ω, BP k AC, and CP k AB, thus X = ∞AC , Y = ∞AB . Hence ∞AB is indeed mapped to ∞AC ,
and the conclusion follows.

10
Vladyslav Zveryk The Method of Moving Points

The next example shows how Steiner conic can be applied in solving geometry problems.
Example 2.4. Given an acute 4ABC and its Euler line k. Points M and N are reflections of B
and C with respect to k. P is an arbitrary point on k. Point E is the intersection of lines P M
and AC and F is the intersection of lines P N and AB. Let H be the orthocenter of 4ABC and
S be its reflection with respect to the line EF . Prove that S lies on the circumcircle of 4ABC.
N
A N A A

E
R L K S
F

O O O
H H H
M M P
C
P B C B C B T E

Solution. Move P on k. We have that E 7→ P 7→ F is projective, thus line EF is tangent to a

conic C tangent to AB and AC (A isn’t mapped to itself since P, M, A, N cannot lie on a line).
Let’s check some positions of EF to get more information about that conic. Note that since M N
is symmetric to BC wrt. k, for P = M N ∩ BC we get that F E coincides with M N . By the same
reason, M C ∩ BN ∈ k, hence for P = M C ∩ BN the line F E coincides with CB. So, we know
that C is tangent to AB, BC, BA, and M N .
Let’s think about some conic which can satisfy all the above conditions and the statement of
the problem. The first idea is an ellipse C 0 with foci H, O inscribed in 4ABC, which exists since
O, H are isogonally conjugate to each other in 4ABC. Note that it’s symmetric to itself wrt. k,
hence is tangent to M N .
Let’s check the problem statement about this ellipse. Let RS be a tangent to it, R ∈ AB,
S ∈ AC (spoiler: it will happen that R = F and S = E for some P ∈ k), and L be a foot of
perpendicular through H on RS. Note that the ellipse C 0 is inscribed in both 4ARS and 4ABC,
thus H, O are also isogonally conjugate to each other in 4ARS, and hence the pedal circles of
H, O in 4ABC and 4ARS coincide. This implies L lies on the nine-point circle of 4ABC, and
since it’s homothetic to (ABC) wrt. H with coefficient 2, the point symmetric to H wrt. RS
indeed lies on (ABC).
So, we just need to prove that C = C 0 . Since a conic is uniquely determined by 5 lines it’s
tangent to, we need to find one more line is tangent to C 0 . Let P = k ∩ AB. Then F = P ,
F E = M P , and let T = M P ∩ BC. Note that since M is symmetric to B wrt. k, k is the angle
bisector of ∠AP T . Thus ∠AP H = ∠T P O, ∠P AH = ∠CAO,∠ACH = ∠BCO, hence H, O are
isogonally conjugate to each other in AP T C, which means that P T is also tangent to C 0 , which
means C = C 0 , and the conclusion follows.
As you’ve seen in this example, sometimes it can be useful to seek for a conic which generates
a projective map. I strictly recommend to read [2] and [3] to learn useful facts about conics. Here
I’ll give some tips that may help you in problems like the previous one:

11
Vladyslav Zveryk The Method of Moving Points

• Circles tangent to two lines determine a projective map between these lines. It comes
especially useful while working with incircles, excircles, mixtilinear circles, etc.
• Ellipse and circle have no points at infinity.
• Parabola is tangent to the line at infinity, so if some of the lines tangent to Steiner conic
goes to infinity, then this conic is parabola.
• Hyperbola has two points at infinity, so if you note that there are at least two points at
infinity of Steiner conic generated by projective map between two pencils of lines, then this
conic is a hyperbola. If you can prove that there is exactly one such point, then it’s a
parabola.
• The Steiner conic generated by projective map between two lines is a parabola if and only
if this projective map is a spiral similarity, the center of which is the focus of the parabola.
• When Steiner conic is an ellipse or a hyperbola, it’s good to remember about isogonal
conjugation and pedal circles.
• The conic is uniquely determined by:
– 5 points it passes through, no three of which are collinear;
– 5 lines it is tangent to, no three of which are concurrent;
– 4 lines it is tangent to, no three of which are concurrent, and 1 point of tangency;
– 3 non-concurrent lines it is tangent to and 2 points of tangency on different lines.

2.1 Problems for practice

1. Given an acute triangle ABC such that AB > AC. H is the orthocenter of ABC. D is inside
4ABC and DB = DC. BD, CD meet CA, AB at E, F ,respectively. EF ∩ BC = K, X is
the orthocenter of 4DBC. Prove that HX ⊥ AK.
2. Given two circles ω1 and ω2 intersecting each other in two distinct points A and B. Let
P ∈ ω1 and Q ∈ ω2 be points such that ∠P AB = ∠QAB. Prove that for every such pair
P, Q circles (AP Q) pass through a fixed point other than A.
3. Let AA1 be the bisector of a triangle ABC. Points D and F are chosen on the line BC such
that A1 is the midpoint of the segment DF . A line l, different from BC, passes through A1
and intersects the lines AB and AC at points B1 and C1 , respectively. Find the locus of the
points of intersection of the lines B1 D and C1 F for all possible positions of l.
4. Given a triangle ABC and a point D on the side AB. Let I be a point inside 4ABC on the
angle bisector of ∠ACB. The second intersections of lines AI and CI with the circumcircle
of 4ACD are P and Q, respectively. Similarly, the second intersections of lines BI and CI
with the circumcircle of 4BCD are R and S, respectively. Show that if P 6= Q and R 6= S,
then the lines AB, P Q, and RS pass through one point or are parallel.

12
Vladyslav Zveryk The Method of Moving Points

5. Let ABC be a triangle and let P be a point on the plane. Let DEF be the pedal triangle
of P wrt ABC. Let XA be a variable point in BC. Let XA YB , XA YC be the parallels
to DE, DF with YB , YC ∈ AB, AC respectively. Then the circumcircles of AYB YC passes
through a fixed point, which is (BP C) ∩ (AEF ).

3 The third side of the MMP: the Polynomial Method

In this section, we will look at moving points from absolutely different point of view, but very
natural. To understand everything here, i recommend to look at the books presented in References
and to be familiar with the previously described methods.
We work in the real projective plane. We say that if a point A has homogeneous coordinates
(x : y : z), where x, y, z are not all zero, then

• if z 6= 0, then A has Cartesian coordinates xz , yz ;

• if z = 0, then A is a point on infinity corresponding to a line passing through the origin and
a point with Cartesian coordinates (x, y).

Note that (ap : bp : cp) = (a : b : c) for every real nonzero p, so the points (a1 : b1 : c1 ) and
(a2 : b2 : c2 ) are the same if and only if (a1 b2 − b1 a2 , b1 c2 − c1 b2 ) = (0, 0).
Similarly, the equation of a line will be ax + by + cz = 0 for points (x : y : z) and fixed a, b, c,
not all of which are zero. If a = b = 0, then this is the line at infinity.
Now, state some well-known theorems about homogeneous coordinates and projective trans-
formations which will be very helpful for us soon.

Theorem 3.1. Let C1 and C2 be two lines or two conics (possibly, coinciding) in the plane, and
f : C1 → C2 be a projective map. Then, there exists a projective transformation of the plane
sending C1 to C2 such that every point A ∈ C1 is sent to f (A) ∈ C2 .

Sketch of proof. It’s well-known that there exists a projective transformation sending any three
points to any three. For lines, take A, B, C ∈ C1 and send them to f (A), f (B), f (C) ∈ C2 . For
conics, send three points A, B, C ∈ C1 to (0 : 0 : 1), (1 : 0 : 0), (0 : 1 : 0). Then C1 is sent to
hyperbola, and making affine transformation (x : y : z) 7→ (ax : by : cz) we get a hyperbola
xy + yz + zx = 0 with three points (0 : 0 : 1), (1 : 0 : 0), (0 : 1 : 0). Make such map for C2 and
f (A), f (B), f (C), and make a composition of the first map and the second reversed.

Theorem 3.2. Every projective transformation from plane to itself can be expressed in the fol-
lowing way:

(x : y : z) 7→ (a1 x + b1 y + c1 z : a2 x + b2 y + c2 z : a3 x + b3 y + c3 z) (1)

for some ai , bi , ci ∈ R.

In fact, every transformation of the form (1) with some additional restrictions to ai , bi , ci is
projective. For move information, read [4, Part two, Chapter II].

13
Vladyslav Zveryk The Method of Moving Points

Definition 3.2.1. Given a moving point A, and let its homogeneous coordinates be of the form
(P (t) : Q(t) : R(t)), where P, Q, R are coprime polynomials, i.e. there is no polynomial S(x) ∈ R[x]
with degree at least 1 dividing all of them. We define the degree deg A of A to be the max degree
of P, Q, R. Similarly we define the degree of a moving line P (t)x + Q(t)y + R(t)z = 0 in the same
way.

Now, we are ready to state the most important results related to this topic. Here we will also
speak about the point-line duality, since the polar transformation wrt. circle x2 + y 2 − z 2 = 0
swaps a point (a : b : c) with the line ax + by + cz = 0, so in addition it preserves degrees of lines
and points.

Theorem 3.3. Suppose points A, B have degree d1 , d2 , and there are k values of t for which
A = B. Then line AB has degree at most d1 + d2 − k. Similarly, if lines `1 , `2 have degrees d1 , d2 ,
and there are k values of t for which `1 = `2 , then the intersection `1 ∩ `2 has degree at most
d1 + d2 − k.

Proof. We show the first statement, and the second follows from point-line duality.
Note that the line through the points A = (P1 (t) : Q1 (t) : R1 (t)) and B = (P2 (t) : Q2 (t) : R2 (t))
is the line
(Q1 R2 − Q2 R1 )x + (R1 P2 − R2 P1 )y + (P1 Q2 − P2 Q1 )z = 0,
and you may check that clearly A and B lie on this line. Then, for every value t0 for which A = B,
(t − t0 ) factors out of each term. So, degree of the line is at most d1 + d2 − k.

Theorem 3.4. Given a conic C, a point A ∈ C, and a moving line l through A. Let B = l ∩C =
6 A.
Then, deg B ≤ 2 deg l.

Proof. Make a projective transformation sending C to a circle x2 + y 2 − z 2 = 0, and a point A

to (0 : 1 : 1). Then, if l has equation P (t)x + Q(t)y + R(t)z = 0, we have to solve the following
system: 
2 2 2
X + Y − Z = 0

P (t)x + Q(t)y + R(t)z = 0

P (t) · 0 + Q(t) · 1 + R(t) · 1 = 0


Solving this, we obtain that B has coordinates (Q(t)2 − P (t)2 : 2Q(t)P (t) : Q(t)2 + P (t)2 ), thus
deg B ≤ 2 deg l.

Theorem 3.5. Let C1 and C2 be two lines or two conics (possibly, coinciding). Let A, B be moving
along C1 , C2 , respectively, such that the map f : A 7→ B is projective. Then, deg A = deg B.

Proof. By theorems 3.1 and 3.2, f can be expressed in the form (1). Since (1) preserves linearity,
we obtain that deg A ≤ deg B. Making the same observations with f −1 , we get that deg B ≤ deg A,
hence deg A = deg B.

Theorem 3.6. Let C be a conic, and let A, B be moving along C such that deg A = deg B. Then,
deg A = deg B = deg AB.

14
Vladyslav Zveryk The Method of Moving Points

Proof. Let d = deg A = deg B. Map C into a unit circle centered at the origin. First, we need the
following lemma:
Lemma. Given coprime polynomials P, Q, R ∈ R[x] such that P (x)2 + Q(x)2 = R(x)2 . Then,
(P, Q, R) = (A2 − B 2 , 2AB, A2 + B 2 ) for some polynomials A, B ∈ R[x].
Proof. Note that P (x)2 = (R(x) − Q(x))(R(x) + Q(x)), and since R(x) − Q(x) and R(x) + Q(x)
are coprime (if not, then R, Q are not coprime, hence P, Q, R are mot coprime), it follows that
they are the squares of polynomials, i.e.
R(x) − Q(x) = A(x)2
R(x) + Q(x) = B(x)2
P (x) = A(x)B(x).
√ √
Solving this and changing (A, B) 7→ (A 2, B 2) we get the desired.
Now, according to lemma we may suppose that A, B are moving along C with coordinates
(P − Q2 : 2P Q : P 2 + Q2 ) and (R2 − S 2 : 2RS : R2 + S 2 ), where P, Q, R, S ∈ R[x] (their
2

coordinates are coprime as polynomials since in opposite way we could factor their common term
and decrease deg A or deg B). Then, the line AB has equation
(2P Q(R2 +S 2 )−2RS(P 2 +Q2 ) : (P 2 +Q2 )(R2 −S 2 )−(P 2 −Q2 )(R2 +S 2 ) : 2RS(P 2 −Q2 )−2P Q(R2 −S 2 )).
Note that every coordinate is divisible by 2(P S − QR), and after division we obtain
(QS − P R : −(QR + P S) : P R + QS). (2)
Suppose that three coordinates have a common factor E ∈ R[x]. Then, E divides (QS − P R) +
+ (P R + QS) = 2QS and (P R + QS) − (QS − P R) = 2P R. Since (P, Q) = 1 and (R, S) = 1, E
divides (P, S) or (Q, R), wlog E | (P, S). But then it follows from E | (QR + P S) that E | QR,
which contradicts the fact that (P, Q) = (R, S) = 1. Therefore, the coordinates of AB in (2) are
coprime and deg AB equals max degree of QS − P R, QR + P S, P R + QS.
Obviously, degrees of A and B equal to degrees of P 2 + Q2 and R2 + S 2 , respectively. Then,
max(deg P, deg Q) = max(deg R, deg S) = d/2. If not all degrees of P, Q, R, S are equal, then
the coordinate in (2) containing the product of two polynomials with degree d/2 has degree d. If
degrees of P, Q, R, S are equal, then max(deg(QS − P R), deg(P R + QS)) = d. So, in both cases,
deg AB = d.
Theorem 3.7. Given three moving points A1 , A2 , A3 . Then, if they are collinear in at least
deg A1 + deg A2 + deg A3 + 1 cases, then they are always collinear.
Proof. Let Ai be moving according to a rule (Pi (t) : Qi (t) : Ri (t)). Then, the equation of moving
line A1 A2 is
(Q1 R2 − Q2 R1 )x + (R1 P2 − R2 P1 )y + (P1 Q2 − P2 Q1 )z = 0,
and the point A3 lies on A1 A2 is equivalent to
(Q1 R2 − Q2 R1 )P3 + (R1 P2 − R2 P1 )Q3 + (P1 Q2 − P2 Q1 )R3 = 0.
Since this is a polynomial of degree at most deg A1 + deg A2 + deg A3 , it equals zero polynomial
if there exist deg A1 + deg A2 + deg A3 + 1 distinct values of t for which it equals zero.

15
Vladyslav Zveryk The Method of Moving Points

With the last five theorems, let’s look at some examples.

Example 3.1. Given a 6-gon ABCDEF inscribed in a circle. Let AC ∩ BD = X, AE ∩ F D = Y ,

AC ∩ BF = P X, AE ∩ BF = Q, BD ∩ CE = M , F D ∩ CE = N . Lines M Q and N P intersect
at Z. Prove that X, Y, Z are collinear.
A

Q F
B P

Y
X Z

E
N
M
C
D

Solution. Let Γ be the circumcircle of ABCDEF , and let A be moving on it. Then X 7→ P 7→
A 7→ Q 7→ Y is projective. according to theorem 3.5, points X, Y, P, Q have equal degrees, so let
X be moving linearly on BD to make the degrees of X, Y, P, Q equal 1. Then, deg M P = deg P =
deg Q = deg M Q = 1, hence by theorem 3.2 deg Z ≤ 2. Thus, according to theorem 3.7 it’s left
to check 1 + 2 + 1 + 1 = 5 cases to prove that X, Y, Z are collinear.

• A = B. Here P = B, X = B, Q = B. Hence, Z = B = X, and X, Y, Z are indeed collinear.

• A = F . Symmetric to the previous case.

• A = D. Here X = Y = D, so X, Y, Z are indeed collinear.

• A = C. Then AC is tangent to Γ at C, Q = CE ∩ BF ⇒ M Q = CE → Z = N . Also

Y = N , thus X, Y, Z are collinear.

• A = E. Symmetric to the previous case.

Remark. Beautiful, but not a good example since the problem is purely projective. Just make a
projective transformation preserving Γ and sending the line through BD ∩ AE and AC ∩ DF to
infinity. You will get P QY N M X is symmetric wrt. XY , so done.

Example 3.2. Let ABC be an acute triangle with orthocenter H and circumcircle Γ. A line
through H intersects segments AB and AC at E and F , respectively. Let K be the circumcenter
of 4AEF , and suppose line AK intersects Γ again at a point D. Prove that line HK and the
line through D perpendicular to BC meet on Γ.

16
Vladyslav Zveryk The Method of Moving Points

G
A

K
F
H
E

L
B C

Solution 1. Let’s restate the problem in a bit easier way. Take a point D on Γ, and let G ∈ Γ such
that DG ⊥ BC. Let K = HG ∩ AD, and the circle ω(K, KA) intersect sides AB, AC at E, F ,
respectively. Note that since K lies on the perpendicular bisectors of AE and AF , we may define
E, F as follows: consider L ∈ AD such that K is the midpoint of AL. Then E, F are the feet of
perpendiculars from L on AB, AC, respectively. Our goal is to prove that E, H, F are collinear.
Let D be moving on Γ with degree 2. Since there is a case D = A, AD has degree at most
deg D + deg A − 1 = 2 + 0 − 1 = 1. Then, D 7→ G is projective, so deg G = 2. Thus HG has degree
2, hence deg L = deg K ≤ 2 + 1 − 1 = 2 since there is a case AD = HD when D = AH ∩ Γ. Hence,
the lines ∞HB L and ∞HC L both have degrees at most 0 + 2 = 2. But note that when DC ⊥ BC,
we have AD k HC = HG, hence K = L = ∞HC in this case. So, it follows by theorem 2.2 again
that deg ∞HC L ≤ 0 + 2 − 1 = 1. Similarly, deg ∞HB L ≤ 1, and since E and F are moving, we
have deg ∞HB L = deg ∞HC L = 1. Thus, deg E = deg F = 1, and therefore E 7→ F is projective
(an exercise for you to prove it). It’s left to check three cases to prove all lines EF pass through
H.
• D = A. Then GH = AH, and K = AD ∩ AH = A (AD is tangent to Γ as the limit case).
So E = F = A and the statement is true.
• D = B. Then G is the antipode of C on Γ. Then K = HG ∩ AD is the midpoint of AB, so
L = B. Then E = B and F = BH ∩ AC, so E, H, F collinear.
• D = C. Similar to the previous case.
Solution 2. Consider initial problem statement, and define L = ∞HC E ∩∞HB F . Let E be moving
on AB with degree 1. Note that ∞HC E 7→ E 7→ F 7→ ∞HB F is projective, hence L is moving
along a Steiner conic or a line, hence has degree at most 2, hence deg K = 2. Then, note that
as E varies, the angle between EF and AB changes by the same value as ∠(KA, AC), thus
E 7→ AK 7→ D 7→ G is projective, so G has degree 2. Now, deg GK ≤ deg G + deg K = 4, so
according to theorem 3.7 it’s left to check 0 + 2 + 2 + 1 = 5 points E to show that H, K, G are
always collinear. I leave to the reader to reformulate the three cases from the previous solution in
terms of this one. Let’s check two new points:

17
Vladyslav Zveryk The Method of Moving Points

• EF CB is concyclic. Here K ∈ AH, D = AH ∩ Γ ⇒ G = A, so H, K, G are collinear.

• E = ∞AB . Then L = ∞BH , so K = ∞BH . D is the antipode of C, thus G = B, and

H, K, D are collinear in this case.

The problems on this method appear rarer than on the methods described in the first two
sections. But it’s always good to keep it in mind when it’s difficult to prove that some map
is projective, or the set of moving points splits in several classes, in every of which there is a
projective map between points, but there is no projective map between any two different classes.
On the other hand, sometimes this method will require checking too many cases, so use it wisely.

3.1 Problems for practice

1. M is the midpoint of arc BC of the circumcircle of triangle ABC. D is also on arc BC but
different from M . AB meets CD at E. AC meets BD at F . EM, F M meet BC at P, Q,
respectively. Prove that A, P, D, Q are cyclic.

2. Given triangle ABC inscribed in a circle with center O, with orthocenter H. Point D is
such that the quadrilateral ABDC is a parallelogram. Let BH intersect circle (O) at E and
OE intersect AC at X. Take K to be the perpendicular projection of H on DX and M to
be the midpoint of BC. Prove that E, K, M are collinear.

3. Let ABC be a triangle with circumcircle ω and ` a line without common points with ω. De-
note by P the foot of the perpendicular from the center of ω to `. The side-lines BC, CA, AB
intersect ` at the points X, Y, Z different from P . Prove that the circumcircles of the trian-
gles AXP , BY P and CZP have a common point different from P or are mutually tangent
at P .

18
Vladyslav Zveryk The Method of Moving Points

Hints
Since the Method of Moving Points doesn’t always work, one should be able to solve a geometry
problem synthetically. So, it’s great if you solve some of the practice problems without using this
technique. Read a hint only if you are stuck for a long time and don’t have any ideas how to solve
the problem.

Section 1
1. Move E.

2. Move X.

3. Move C or D.

4. Move P and use inversion to show that P 7→ (AX1 Y1 ) ∩ (O) is projective.

5. Fix line AP and move P on it.

Section 2
1. Move D along the perpendicular bisector of BC. Prove that the Steiner conic of E 7→ F is
tangent to BC.

2. Inversion at A.

3. Move l and find projective maps showing that the locus of considered points is a line. Then,
try some positions of l to determine this line.

4. Move D. Is it true that Q 7→ P and R 7→ S are projective? What happens with I during
these maps?

5. The same strategy as in Example 2.3.

Section 3
1. Note that the concyclity of A, P, D, Q is equivalent to ∠CAP = ∠BDQ. Move P and define
Q2 to be such that ∠BDQ2 = ∠CAP . Find the degrees of Q and Q2 and prove Q = Q2 .
For finding the degree of rotated line, use the line at infinity.

2. Let E, K, M be collinear and we prove that X, K, D are collinear. Move A with degree 2
and find the degrees of X and line KD. Use theorem 3.6 for line KD.

3. Perform inversion at P and move B. Show that X 7→ B 7→ Y is projective, so if deg X =

= deg Y = 1, then deg B = 2 (why?). From dual of theorem 3.7, show that it’s left to check
5 cases. By the way, it’s IMO SL 2012/G8.

19
Vladyslav Zveryk The Method of Moving Points

References
[1] Evan Chen, Euclidean geometry in mathematical olympiads, USA, MAA Press, 2016.

[2] A. V. Akopyan, A. A. Zaslavsky, Geometry of Conics, American Mathematical Society, Prov-

idence, RI, 2007.

[3] H. S. M. Coxeter, Projective Geometry, Second edition, Springer-Verlag, 1994.

[4] F. Klein, Elementary Mathematics from an Advanced Standpoint: Geometry, Dover Publica-
tions, Inc., 2004.

[5] http://www.fen.bilkent.edu.tr/ franz/ag05/ag-07.pdf

20