## GENERALISATION OF AN IMO GEOMETRY PROBLEM

DINA KAMBER HAMZI ´ , L ´ SZL ´ N ´ METH, AND ZENAN ˇ ABANAC C A O E S

Abstract. In this paper, we generalise an interesting geometry problem from the 1995 edition of the International Mathematical Olympiad (IMO) using analytic geometry tools.

MSC2020: Primary 51N20; Secondary 97G70

Key words and phrases: Geometry problem, International Mathematical Olympiad, analytic geometry tools

## 1. Introduction and statement of results

According to Mitchelmore [1], generalisations are the cornerstone of school mathematics, covering various aspects like numerical generalisation in algebra, spatial generalisation in geometry and measurement, as well as logical generalisations in diverse contexts. The process of generalising lies at the heart of mathematical activity, serving as the fundamental method for constructing new knowledge [2, 3]. In this paper we will generalise an interesting geometry problem appeared in 1995 edition of the International Mathematical Olympiad (IMO) [4].

Original 36th IMO Geometry Problem. Let A, B, C, D be four distinct points on a line, in that order. The circles with diameters AC and BD intersect at X and Y . The line XY meets BC at Z . Let P be a point on the line XY other than Z . The line CP intersects the circle with diameter AC at C and M , and the line BP intersects the circle with diameter BD at B and N . Prove that the lines AM, DN, XY are concurrent (Figure 1).

Its solution, employing analytic geometry, is presented in [5].

Since the line XY in the original problem represents the radical axis of the two intersecting circles, we shall now expand our investigation to encompass the radical axis in the broader context. Allow us to reiterate that the locus of points possessing equal powers concerning two circles is a line known as the radical axis (or power line) of the circles. Simpler loci problems should be studied meticulously, as they often pose difficulties for an average student (see discussion in [6]).

Figure 1. 36th IMO geometry problem

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.01071v1-figure-792be4c5-b17e-4b3f-b73a-b7724f8064d6.jpg)

Recent studies have explored misconceptions that students might have about analytical geometry and teaching practices in this subject across different educational levels and contexts (see e.g. [7, 8, 9, 10, 11]).

We will now present a generalised statement of the aforementioned problem and present its solution using analytical geometry.

Generalisation of the 36th IMO Geometry Problem. Let k 1 and k 2 be two circles, and let /lscript be the line that contains their centres. The line /lscript and the circle k 1 intersect at points A and C , while line /lscript and the circle k 2 intersect at points B and D . We assume that A B , , C D , appear in that order or in the order A C , , B D , on /lscript . Let p be a line perpendicular to line /lscript , and let P be any point on line p . The line CP intersects the circle k 1 at M (in addition to C ), and the line BP intersects the circle k 2 at N (in addition to B ). The lines AM and DN intersect at P ′ . Changing the position of the point P changes the position of the point P ′ . However, P ′ will always belong to a line p ′ , parallel to the line p (Figure 2). If p is the radical axis of circles k 1 and k 2 , then p ′ = p .

In the Figure 2 and all subsequent figures, dotted line r represents radical axis of two circles.

## 2. Analytical Geometry Proof of the Generalisation

Without loss of generality, we establish a coordinate system where /lscript represents the x -axis, and assume circles k 1 and k 2 have centers symmetrically positioned about the y -axis, with k 1 centered at ( -a, 0) with radius r 1 , and k 2 centered at ( a, 0) with radius r 2 . The equations of

Figure 2. 36th IMO geometry problem generalisation

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.01071v1-figure-780e2577-767a-42b1-bc55-1a49e2681885.jpg)

circles k 1 and k 2 are given by ( x + ) + a 2 y 2 = r 2 1 and ( x -a ) 2 + y 2 = r 2 2 , respectively. Consequently, we have A = ( - -a r , 1 0), B = ( a -r , 2 0), C = ( -a + r , 1 0) and D = ( a + r , 2 0).

As the line p is perpendicular to the x -axis, it is parallel to the y -axis, and we can express it using the equation x = p . Henceforth, the symbol p will serve a dual purpose, representing both the line p and the x -coordinate of point P . Consequently, point P can be described by P = ( p, q ), with q changing as point P moves along line p . Let P ′ = ( p , q ′ ′ ). Using the tangent-half-parametrisation for the two circles (see, e.g., [12, para. 5.13 on p. 91]), let M = ( r 1 ( 1 -u 2 ) 1+ u 2 -a, 2 r 1 u 1+ u 2 ) and N = r 2 ( 1 -v 2 ) 1+ v 2 + a, 2 r 2 v 1+ v 2 , for some u, v ∈ R ∪{∞} .

$$^ { r } = \left ( \frac { r _ { 2 } \left ( 1 - v$$

Now, we examine the condition for points P , C and M to be collinear by considering the vanishing of the determinant ([12, para. 1.72 on pp. 14-15])

$$\begin{vmatrix} \iota ^ { - 1 } \iota _ { \j$$

∣ ∣ Subtracting the second row from the third row, and then taking out the common factors from the third row, we have

$$o s \, \hom \, \L i m u \, \text{for}, \$$

Expanding the determinant along the third row, we obtain

$$\begin{array} {$$

Solving for u , and discarding the solution u = 0, which would entail M = C , we get

$$= \frac { r _ { 1 } - a - p } { a }.$$

$$u = \frac { r _ { 1 } - a - p } { q }.$$

The cases u = 0 and q = 0, where the latter leads to u = ∞ and M = A , will be addressed later, along with the cases when the denominator becomes zero or tends to infinity.

Similarly, the condition for the collinearity of P ′ , A and M is the vanishing of the determinant

$$\begin{vmatrix} \text{vmmam} \\ \left | \frac { p ^ { \prime } } { 1 + u ^ { 2 } } - a \, \frac { q ^ { \prime } } { 1 + u ^ { 2 } } \, 1 \right |. \\ \left | \frac { r _ { 1 } \left ( 1 - u ^ { 2 } \right ) } { 1 + u ^ { 2 } } - a \, \frac { 2 r _ { 1 } u } { 1 + u ^ { 2 } } \, 1 \right | \end{vmatrix}.$$

$$\frac { 2 r _ { 1 } } { 1 + u ^ { 2 } } \left ( q ^ { \prime } - u p ^ { \prime } - u a - u r _ { 1 } \right ) = 0. \\ \dots \substack { \lambda \colon \dots \dots \lambda \colon \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \end{$$

∣ ∣ The last determinant can be obtained from (2.1) by replacing p , q , r 1 and u by p ′ , q ′ , -r 1 and -u -1 , respectively. Applying this to (2.2) leads to

Solving for u , and discarding the solution u = ∞ , which would entail M = A , we get

$$u = \frac { q ^ { \prime } } { r _ { 1 } + a + p ^ { \prime } }.$$

From this and (2.3) we now have

$$\frac { r _ { 1 } - a - p } { q } = \frac { q ^ { \prime } } { r _ { 1 } + a + p ^ { \prime } }.$$

Likewise, the conditions for collinearity among points P , B N , , and of P ′ , D N , , are determined by the vanishing of the respective determinants

$$\begin{array} { c | c c c c c c c } \text{nants} \\ \left | \frac { p } { 2 } a - r _ { 2 } & 0 & 1 \right | \text{ and } \left | \text{ and } \left | \frac { p ^ { \prime } } { 2 } a + r _ { 2 } & 0 & 1 \right |. \\ \frac { r _ { 2 } \left ( 1 - v ^ { 2 } \right ) } { 1 + v ^ { 2 } } + a & \frac { 2 r _ { 2 } v } { 1 + v ^ { 2 } } & 1 \right |. \\ \end{array} \right |. \\ \text{The first one can be obtained from (2.1) by replacing a, r _ { 1 } \text{ and } u \text{ by} \\ - a. - r _ { 2 } \text{ and } - v ^ { - 1 }. \text{respectively: and the second one by replacing } p. a. \end{array}$$

∣ ∣ ∣ ∣ ∣ The first one can be obtained from (2.1) by replacing a , r 1 and u by -a , -r 2 and -v -1 , respectively; and the second one by replacing p , q , a , r 1 and u by p ′ , q ′ , -a , r 2 and v , respectively. Applying the same

changes to (2.2), we obtain v = q r 2 -a + p and v = r 2 + a -p ′ q ′ , respectively. Hence,

$$\frac { q } { r _ { 2 } - a + p } = \frac { r _ { 2 } + a - p ^ { \prime } } { q ^ { \prime } }.$$

Multiplying (2.4) and (2.5) yields the following relationship

$$\frac { r _ { 1 } - a - p } { r _ { 2 } - a + p } = \frac { r _ { 2 } + a - p ^ { \prime } } { r _ { 1 } + a + p ^ { \prime } },$$

which indicates that p ′ depends on p (as well as on a , r 1 and r 2 ) but is independent of q . This results in P ′ lying on a line perpendicular to the x -axis and, thus, parallel to line p , which was what we wanted to prove.

To get an explicit value for p ′ , we perform crosswise multiplication in (2.6), and obtain

$$\left ( r _ { 1 } - a - p \right ) \left ( r _ { 1 } + a + p ^ { \prime } \right ) = \left ( r _ { 2 } - a + p \right ) \left ( r _ { 2 } + a - p ^ { \prime } \right ).$$

This yields

$$\left ( r _ { 1 } & - a - p \right ) p ^ { \prime } + \left ( r _ { 2 } - a + p \right ) p ^ { \prime } = \left ( r _ { 2 } - a + p \right ) \left ( r _ { 2 } + a \right ) - \left ( r _ { 1 } - a - p \right ) \left ( r _ { 1 } + a \right ) \\ & = \left ( r _ { 2 } - a \right ) \left ( r _ { 2 } + a \right ) + p \left ( r _ { 2 } + a \right ) - \left ( r _ { 1 } - a \right ) \left ( r _ { 1 } + a \right ) + p \left ( r _ { 1 } + a \right ).$$

From this we obtain

$$\left ( r _ { 1 } + r _ { 2 } - 2 a \right ) p ^ { \prime } = r _ { 2 } ^ { 2 } - r _ { 1 } ^ { 2 } + p \left ( r _ { 1 } + r _ { 2 } + 2 a \right ),$$

and so

$$p ^ { \prime } & = \frac { r _ { 2 } ^ { 2 } - r _ { 1 } ^ { 2 } + p \left ( r _ { 1 } + r _ { 2 } + 2 a \right ) } { r _ { 1 } + r _ { 2 } - 2 a }.$$

To get q ′ , we take the reciprocal of (2.4) to obtain q r 1 - -a p = r 1 + + a p ′ q ′ , and upon adding this to (2.5), we arrive at

$$q \left ( \frac { 1 } { r _ { 1 } - a - p } + \frac { 1 } { r _ { 2 } - a + p } \right ) = \frac { r _ { 1 } + r _ { 2 } + 2 a } { q ^ { \prime } }.$$

Now,

$$q ^ { \prime } = \frac { \left ( r _ { 1 } + r _ { 2 } + 2 a \right ) \left ( a - r _ { 1 } + p \right ) \left ( a - r _ { 2 } - p \right ) } { q \left ( r _ { 1 } + r _ { 2 } - 2 a \right ) }.$$

From (2.7) and (2.8), we see that

$$P ^ { \prime } = \left ( \frac { r _ { 2 } ^ { 2 } - r _ { 1 } ^ { 2 } + p \left ( r _ { 1 } + r _ { 2 } + 2 a \right ) } { r _ { 1 } + r _ { 2 } - 2 a }, \frac { \left ( r _ { 1 } + r _ { 2 } + 2 a \right ) \left ( a - r _ { 1 } + p \right ) \left ( a - r _ { 2 } - p \right ) } { q \left ( r _ { 1 } + r _ { 2 } - 2 a \right ) } \right ).$$

Now, we will consider special cases.

If P is on the x -axis, i.e., if q = 0, then q ′ = ∞ , and P ′ is the point at infinity. Then, by the equations u = r 1 - -a p q and v = q r 2 -a + p , we have u = ∞ and v = 0, i.e., M = A and N = D . The tangent lines of the circles k 1 and k 2 at points A and D , respectively, represent the limiting position of the lines AM and DN in the previous case (see Figure 3). Their intersection point disappears (or we can say that they intersect at the infinite point P ′ ∞ on the line p ′ ).

Figure 3. P ′ is at infinity

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.01071v1-figure-2c314097-a77a-4197-893c-3846d8ff719e.jpg)

If the line x = p passes through the points B or C , then p = a -r 2 or r 1 -a , respectively, and by (2.6), p ′ = - -a r 1 or a + r 2 , respectively. Then, by (2.8), q ′ = 0 in either case, so P ′ = A or D , respectively, and loci of point P ′ consist of a single point (see Figure 4). Within lines passing through the point A , resp. D , there is obviously the line p ′ tangent to the circle k 1 , resp. k 2 , and parallel to p .

Figure 4. p touching k 2 at point B

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.01071v1-figure-e2d76a0d-2bfe-4e52-be02-1c8da1ca686e.jpg)

Next, if r 1 + r 2 = 2 a , the circles k 1 and k 2 touch externally (in which case B = C ), and by (2.7) and (2.8) we have p ′ = ∞ and q ′ = ∞ ; therefore, point P ′ is at infinity. Thus, lines AM and ND are parallel (see Figure 5), resulting in the vanishing of line p ′ . Notice that one may conclude the same from the fact that the points P , C , B M N , , are collinear, and ∠ AMC = ∠ DNB = 90 ◦ as angles subtended by the respective diameters.

Figure 5. Touching circles

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.01071v1-figure-8f39e613-6820-4c23-8fb7-5a5c184512a0.jpg)

Finally, the equation defining the radical axis for circles k 1 and k 2 gives us (see [12, para. 5.51 on p. 99])

$$( x + a ) ^ { 2 } + y ^ { 2 } - r _ { 1 } ^ { 2 } = ( x - a ) ^ { 2 } + y ^ { 2 } - r _ { 2 } ^ { 2 },$$

which simplifies to

$$x = \frac { r _ { 1 } ^ { 2 } - r _ { 2 } ^ { 2 } } { 4 a }.$$

From (2.7), p = p ′ if, and only if, p = r 2 1 -r 2 2 4 a , which means that if p is the radical axis of the two circles k 1 and k 2 , then p ′ = p .

Remark. In case that points on line /lscript appear in order A B C D , , , , and line p passes through the intersection points of the two circles (in which case line p is the radical axis of the circles), we obtain the original IMO problem.

Note that more cases can be considered by changing the roles of points A and C , and/or B and D , placing one circle inside the other, or having one touch the other internally. We invite interested reader to investigate these other cases.

## References

- [1] M. C. Mitchelmore, The Role of Abstraction and Generalisation in the Development of Mathematical Knowledge, East Asia Regional Conference on Mathematics Education (EARCOME) (2nd) and the Southeast Asian Conference on Mathematics Education (SEACME) (9th), Singapore, May 27-31, 2002.
- [2] A. Ellis, E. Tillema, Generalization Across Domains: The Relating-FormingExtending Generalization Framework, In E. Galindo, J. Newton (Eds.), Proceedings of the 39th annual meeting of the North American Chapter of the International Group for the Psychology of Mathematics Education. Indianapolis, IN: Hoosier Association of Mathematics Teacher Educators (2017).
- [3] A. B. Ellis, E. Lockwood, E. Tillema, K. Moore, Generalization Across Multiple Mathematical Domains: Relating, Forming, and Extending, Cognition and Instruction 40:3 (2022), pp. 351-384. doi.org/10.1080/07370008.2021.2000989.
- [4] 36th International Mathematical Olympiad (1995, July 19-20), Toronto, 1995. Retrieved from https://www.imo-official.org/problems.aspx.
- [5] D. Kamber Hamzic, Z. Sabanac, Two plane geometry problems approached through analytic geometry, Math. Gaz. 104:560 , pp. 255-261. doi.org/10.1017/mag.2020.48.
- [6] A. E. Young, (1909). On the teaching of analytic geometry, Amer. Math. Monthly 16:12 (1909), pp. 205-212. doi.org/10.1080/00029890.1909.11997524.
- [7] A. Ozkan, E. M. Ozkan, S. Karapıcak, On the Misconceptions of 10th Grade Students about Analytical Geometry. The Educational Review, USA 2:8 (2018), pp. 417-426. doi.org/10.26855/er.2018.08.002.
- [8] M. Khalil, R. A. Farooq, E. Chakıro˘lu, ¸ g U. Khalil, D. M. Khan, The Development of Mathematical Achievement in Analytic Geometry of Grade-12 Students through GeoGebra Activities, EURASIA J Math Sci and Tech Ed 14: ) (2018), pp. 1453-1463. doi.org/10.29333/ejmste/83681.
- [9] X. Hua, M. Tang, S. Sun, Z. Han, Inquiry into Mathematics Teaching in Senior High School -Taking 'Planar Analytic Geometry' as an Example, In Proceedings of the 3rd International Seminar on Education Innovation and Economic Management (SEIEM 2018) (2019), pp. 312-315. doi.org/10.2991/seiem-18.2019.81.
- [10] A. A. Ara´ ujo, The teaching of analytic geometry in secondary school, Rev. U.D.C.A Act. Div. Cient. 22:1 (2019), e1222. https://doi.org/10.31910/rudca.v22.n1.2019.1222.
- [11] L. Cheng, Z. Yang, The Research on How to Teach Analytic Geometry in Universities in China, Journal of Social Sciences and Humanities 7:1 (2021), pp. 59-63.
- [12] A. Robson, An Introduction to Analytical Geometry. I. Cambridge: At The University Press (1940).

University of Sarajevo, Department of Mathematics and Computer Science, Zmaja od Bosne 33-35, 71000 Sarajevo, Bosnia and Herzegovina

Email address : dinakamber@pmf.unsa.ba

University of Sopron, Institute of Basic Sciences, Bajcsy-Zsilinszky 4, 9400 Sopron, Hungary

Email address : nemeth.laszlo@uni-sopron.hu

University of Sarajevo, Department of Mathematics and Computer Science, Zmaja od Bosne 33-35, 71000 Sarajevo, Bosnia and Herzegovina

Email address : zsabanac@pmf.unsa.ba
Dina Kamber Hamzić László Németh Zenan Šabanac
Generalisation of an IMO Geometry Problem
In this paper, we generalise an interesting geometry problem from the 1995
edition of the International Mathematical Olympiad (IMO) using analytic
geometry tools.