Maths Olympiad Prep

Track / Stage 6 / 335 of 400 #1815 of 2444

Problem 1815

National Olympiad, first round
Geometry Difficulty 6.7 Prove it Fifteenth IMAR Mathematical Competition · Romania

Let PP be a point in the interior of the triangle ABCABC, and let the lines APAP, BPBP, CPCP meet the sides BCBC, CACA, ABAB respectively at the points D,E,FD, E, F. Let the circles on diameters BCBC and ADAD meet at points aa and aa'; the circles on diameters CACA and BEBE meet at points bb and bb'; and the circles on diameters ABAB and CFCF meet at points cc and cc'. Show that the points a,a,b,b,c,ca, a', b, b', c, c' lie on a circle.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official solution

Figure 1

Let AA, BB, CC and PP have position vectors a\mathbf{a}, b\mathbf{b}, c\mathbf{c} and
p=αα+β+γa+βα+β+γb+γα+β+γc, \mathbf{p} = \frac{\alpha}{\alpha + \beta + \gamma} \mathbf{a} + \frac{\beta}{\alpha + \beta + \gamma} \mathbf{b} + \frac{\gamma}{\alpha + \beta + \gamma} \mathbf{c},
where α\alpha, β\beta, γ\gamma are the barycentric coordinates of PP. Then DD has position vector
ββ+γb+γβ+γc, \frac{\beta}{\beta + \gamma} \mathbf{b} + \frac{\gamma}{\beta + \gamma} \mathbf{c},
so the circles on diameters BCBC and ADAD have equations
(rb)(rc)=0and(ra)(rββ+γbγβ+γc)=0, (\mathbf{r} - \mathbf{b}) \cdot (\mathbf{r} - \mathbf{c}) = 0 \quad \text{and} \quad (\mathbf{r} - \mathbf{a}) \cdot \left( \mathbf{r} - \frac{\beta}{\beta + \gamma} \mathbf{b} - \frac{\gamma}{\beta + \gamma} \mathbf{c} \right) = 0,
respectively; alternatively, but equivalently, the latter reads
β(ra)(rb)+γ(ra)(rc)=0. \beta(\mathbf{r} - \mathbf{a}) \cdot (\mathbf{r} - \mathbf{b}) + \gamma(\mathbf{r} - \mathbf{a}) \cdot (\mathbf{r} - \mathbf{c}) = 0.
Any linear combination of the two is the equation of a circle or straight line through aa and aa'. In particular, the linear combination formed by multiplying the first equation by βγ\beta\gamma and the second by α\alpha, and adding, is
αβ(ra)(rb)+βγ(rb)(rc)+γα(rc)(ra)=0. \alpha\beta(\mathbf{r} - \mathbf{a}) \cdot (\mathbf{r} - \mathbf{b}) + \beta\gamma(\mathbf{r} - \mathbf{b}) \cdot (\mathbf{r} - \mathbf{c}) + \gamma\alpha(\mathbf{r} - \mathbf{c}) \cdot (\mathbf{r} - \mathbf{a}) = 0.
The symmetry of this equation shows that this circle (or, possibly, straight line) also passes through bb, bb' and cc, cc'. Finally, notice that αβ+βγ+γα\alpha\beta + \beta\gamma + \gamma\alpha is positive when PP lies inside the triangle ABCABC, so the locus is indeed a circle centered at the point whose barycentric coordinates are α(β+γ)\alpha(\beta + \gamma), β(γ+α)\beta(\gamma + \alpha), γ(α+β)\gamma(\alpha + \beta), respectively.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.