Welcome to the first ever Brilliant Geometry contest.This contest aims to improve the brilliant user's ability to solve olympiad level Geometry problems.

This contest was originally held by ayush rai but he decided to hand the leadership over to me.

The rules of the contest are:

I will post the first problem. If someone solves it, he or she can post a solution and then must post a new problem.

A solution must be posted below the thread of the problem. Then, the solver must post a new problem as a separate thread.

Please make a substantial comment.

Make sure you know how to solve your own problem before posting it, in case no one else is able to solve it within 36 hours. Then, you must post the solution and you have the right to post a new problem.

If the one who solves the last problem does not post a new problem in 24 hours, the creator of the previous problem has the right to post another problem.

It is NOT compulsory to post original problems. But make sure it has not been posted on Brilliant.

If a diagram is involved in your problem please make sure it is drawn by a computer program.

Format your solution in \(\LaTeX\), no picture solution will be accepted. Also make sure your solution is detailed and make sure to proof all claims.

Format your proofs as

SOLUTION TO PROBLEM nproof here

Question as

PROBLEM nask question relevant question here

To answer the latest question just shift to the "newest" mode

## Comments

Sort by:

TopNewestProblem 4Let \(ABC\) be an acute triangle with \(D, E, F\) the feet of the altitudes lying on \(BC, CA, AB\) respectively. One of the intersection points of the line \(EF\) and the circumcircle is \(P.\) The lines \(BP\) and \(DF\) meet at point \(Q.\) Prove that \(AP = AQ.\) (IMO Shortlisted) – Sualeh Asif · 1 year ago

Log in to reply

Case 1: The question refers to point \(P\).Note that \(BCEF\) and \(ACDF\) are cyclic quadrilateral since the angles at \(D\), \(E\) and \(F\) are right angles. We will now perform an angle chase. Let \(\angle BAC = \alpha\), \(\angle ABC = \beta\) and \(\angle BCA = \gamma\). Thus, we have

\[\begin{align} &\angle BDF = \angle FAC = \alpha\\ &\angle BFD = \angle ACD = \gamma\\ &\angle AFE = \angle BCE = \gamma \end{align}\]

Since \(\angle BPA = 180^{\circ} - \angle ACB = 180^{\circ} - \gamma\), \(\angle PBA < \angle ACB = \gamma\). From this, we gather \(\angle PBD + \angle BDF = \angle PBA + \angle ABD + \angle BDF < \alpha + \beta + \gamma = 180^{\circ}\). This implies that \(Q\) is on the extensions of \(BP\) and \(DF\). This statement is required so as to prove I was not diagram dependent.

Because \(APBC\) is a cyclic quadrilateral, \(\angle QPA = \gamma\). But we also have \(\angle AFE = \gamma\)! Thus, \(AQPF\) is cyclic. Since \(\angle PFB = \angle AFE = \gamma\), we must have \(\angle PQA = \gamma = \angle QPA\). Thus, \(\Delta APQ\) is isosceles, so \(AP = AQ\).

Case 2: The question refers to \(P'\).Let the intersection of \(BP'\) and \(DF\) be \(Q'\). Using a similar argument as above, we prove I was not diagram dependent and that \(Q'\) is on the interiors of \(DF\) and \(BP'\). We also have that since \(AP'CB\) is cyclic, \(\angle AP'Q' = \gamma\). We also have that \(\angle BFD = \gamma\), so \(P'AFQ'\) is cyclic. Since \(\angle AFP'=\gamma\), we must have \(\angle AQ'P' = \gamma\). Thus, \(\Delta AP'Q'\) is isosceles. Therefore, \(AP' = AQ'\). – Sharky Kesa · 1 year ago

Log in to reply

A much clever way is to use directed angles to even skip the second case! – Sualeh Asif · 1 year ago

Log in to reply

– Sharky Kesa · 1 year ago

True, but I'm used to making sure I'm not diagram dependent.Log in to reply

– Prince Loomba · 1 year ago

Great solution. No doubt you were in IMO training!Log in to reply

PROBLEM 10Consider a right triangle \(ABC\) with \(m \angle C = 90°\). Let \(D\) be the foot of the altitude from \(C\). Let \(E\) be a point in the on the line segment \(CD\).

Let \(F\) be the point on the segment \(AE\) such that \(BF = BC\). Similarly, let \(G\) be the point on the segment \(BE\) such that \(AG = AC\). Let \(X\) be the point of intersection of \(AG\) and \(BF\).

Show that \(XF = XG\).

(IMO Past Question)– Michael Fuller · 1 year agoLog in to reply

Firstly, we will create some more labels. Let the circle with radius \(AG\) be \(\Gamma_1\), and the circle with radius \(BF\) be \(\Gamma_2\). Also, Let \(A'\) be the intersection of \(AE\) and \(\Gamma_2\), \(B'\) be the intersection of \(BE\) and \(\Gamma_1\), and \(C'\) be the reflection of \(C\) over \(AB\).

Some preliminary investigation leads us to conclude \(AC\) is tangent to \(\Gamma_2\) since \(\angle ACB\) is \(90^{\circ}\). Similarly, \(BC\) is tangent to \(\Gamma_1\).

We will now prove \(F\), \(G\), \(A'\) and \(B'\) are cyclic. Note that \(C\) and \(C'\) are the intersections of \(\Gamma_1\) and \(\Gamma_2\), so \(CC'\) is the common chord of \(\Gamma_1\) and \(\Gamma_2\). We have

\[EF \times EA' = EC \times EC' = EG \times EB'\]

by Power of a Point. Thus, \(EF \times EA' = EG \times EB'\), so \(FGA'B'\) is a cyclic quadrilateral. Let the circle circumscribing this be \(\Gamma_3\). We will now prove \(BF\) is tangent to \(\Gamma_3\). We have

\[\begin{align} BF &= BC\\ BF^2 &= BC^2\\ &= BG \times BB' \end{align}\]

The last statement is from Power of a Point in \(\Gamma_1\). Now, from Power of a Point in \(\Gamma_3\), since \(BF^2 = BG \times BB'\), we have \(BF\) is tangent to \(\Gamma_3\). Similarly, \(AG\) is tangent to \(\Gamma_3\) as well. Thus, \(XG\) and \(XF\) are both tangents to \(\Gamma_3\), so \(XG=XF\). – Sharky Kesa · 1 year ago

Log in to reply

– Michael Fuller · 1 year ago

Great job! I can reveal the problem was IMO 2012 Question 5.Log in to reply

No odffence to Sharky's great solution tho! – Sualeh Asif · 1 year ago

Log in to reply

Which year is this from btw? – Sualeh Asif · 1 year ago

Log in to reply

– Sharky Kesa · 1 year ago

Thanks! I got no idea, but it was a really good question.Log in to reply

Problem 9Let two circles \(\Gamma_1\) and \(\Gamma_2\) (with \(\Gamma_1\) being larger than \(\Gamma_2\)) be internally tangent at \(M\). \(A\), \(B\) and \(C\) are points on \(\Gamma_1\), such that \(AB\) and \(AC\) are tangent to \(\Gamma_2\) at \(P\) and \(Q\) respectively. Let \(MP\) and \(MQ\) intersect \(\Gamma_1\) for the second time at \(X\) and \(Y\) respectively. Prove that the intersection of \(XC\) and \(YB\) is on the line \(PQ\). – Sharky Kesa · 1 year ago

Log in to reply

– Michael Fuller · 1 year ago

Consider the hexagram \(MXCABY\), then Pascal's Mystic Hexagram Theorem states that the intersections of the opposite sides: \(MY\) and \(AC\) (\(Q\)), \(MX\) and \(AB\) (\(P\)), and \(BY\) and \(CX\) (the intersection in question), are collinear.Log in to reply

– Sharky Kesa · 1 year ago

Just as an extension, prove this intersection is the incentre of \(\Delta ABC\).Log in to reply

– Sualeh Asif · 1 year ago

Follows from it lying on the angle-bisector and \(AP=AQ\)Log in to reply

Problem 7\(ABCD\) is an isosceles trapezium with \(BC \parallel AD\) and \(\angle CAD = 45^{\circ}\). \(E\) is a point on \(AB\) such that \(DE \perp AB\). \(F\) is a point on \(DE\) such that \(CF \perp DE\). Prove that \(2 \angle FBD = \angle FCD\). – Sharky Kesa · 1 year ago

Log in to reply

Finishing off we have \(\angle FCD=\angle FGD=2\angle BFG\) – Sualeh Asif · 1 year ago

Log in to reply

However the following are true: \(EA=EF\) and that \((EFA)\) is tangent to \(CF\) – Zoha Asif · 1 year ago

Log in to reply

– Sharky Kesa · 1 year ago

Sorry, I forgot one other condition.Log in to reply

– Sualeh Asif · 1 year ago

Ah, so now the problem becomes a simple angle-chase:Log in to reply

Problem 6Let \(ABC\) be an isosceles triangle, with \(\angle ABC = \angle ACB = 80^{\circ}\). Point \(P\) is on \(AB\) such that \(AP = BC\). Find \(\angle PCB\) with proof.

Log in to reply

Construct point \(X\) such that \(X\) is closer \(C\) than \(B\) and \(\Delta XAP \equiv ABC\). Angle chasing results in \(\angle CAX = 60^{\circ}\). Notice that \(\Delta ACX\) is isosceles, but \(\angle CAX = 60^{\circ}\). Therefore, \(\Delta ACX\) is equilateral. Further angle chasing results in \(\angle PXC = 40^{\circ}\), and after a few angles, we get \(\angle PCA = 10^{\circ}\). Therefore, \(\angle BCP = 70^{\circ}\). – Sharky Kesa · 1 year ago

Log in to reply

– Harsh Shrivastava · 1 year ago

What was the motivation for the construction?Log in to reply

– Harsh Shrivastava · 1 year ago

What was the motivation?Log in to reply

– Sharky Kesa · 1 year ago

The length \(AP=BC\) is the motivation, since we want to try to relate these unrelated segments in some manner.Log in to reply

– Harsh Shrivastava · 1 year ago

Another approach could be to observe that line joining C and P passes through the circumcenter of the triangle ABC.Log in to reply

– Brilliant Member · 1 year ago

I used trigonometry and got the answer as 70 degrees. Should I post the solution?Log in to reply

– Sharky Kesa · 1 year ago

Can you find a solution that doesn't use trigonometry? The problem is meant as a challenge to solve via only Euclidean geometry.Log in to reply

– Armain Labeeb · 1 year ago

But if i post a solution with trigonometry, will my solution be ignored?Log in to reply

– Sharky Kesa · 1 year ago

I would ignore it, since this contest is meant to be a challenge. However, you could share both trig and non-trig solution if you so wish to. This question is meant to help you think creatively for later, harder problems.Log in to reply

And the answer is correct I guess – Sualeh Asif · 1 year ago

Log in to reply

Problem 5Let \(D\), \(E\), \(F\) be points on side \(BC\), \(CA\), \(AB\) respectively of triangle \(ABC\). Prove that

\[\min \{|AEF|, |BDF|, |CDE| \} \leq |DEF|\] – Sharky Kesa · 1 year ago

Log in to reply

SolutionHere is my proof to this question, since no one has posted one themselves correctly.

Perform an affine transformation to convert \(\Delta DEF\) into an equilateral triangle. Let \(X\) be the point distinct from \(D\) such that \(\Delta XEF\) is also an equilateral triangle. WLOG \(\angle BAC \geq 60^{\circ}\). Since \(\angle BAC \geq \angle EXF\), \(A\) must not exist outside the circumcircle of \(XEF\). Thus, the area of \(AEF\) is less than or equal to the area of \(XEF\). But the area of \(XEF\) is the same as the area of \(DEF\). Thus, \(|AEF| \leq |DEF|\). Therefore, \(\min \{|AEF|, |BDF|, |CDE| \} \leq |DEF|\).

affine transformationis defined as the transformation of a plane in which you stretch or contract a plane in certain directions. Because of this, all triangles can be mapped into one another so it is always possible to map any arbitrary triangle into a specific one.Log in to reply

First minimise area of \(DEF\). This you will get when suppose D and F coincide with B and E with C. But here the area of triangle \(FBD\) will become smaller. So LHS is less.

Then Maximise the minimum value of RHS. It can be 1/4 of the area of \(ABC\) At max.

So here the equality holds.

After considering the worst cases, the equation is proved.

ProofLet \(f (x)\leq g (x)\) to be proved. If we prove that whenever f (x) attains its max value, then too g (x) is greater and when g (x) is minimum then too it is greater than f (x), our result is proved

Thats what I used here! – Prince Loomba · 1 year ago

Log in to reply

– Sharky Kesa · 1 year ago

This proof is incorrect. Firstly, you have only considered two specific cases. Furthermore, for the rest of the cases, the area of \(DEF\) gains, but so is true for the other three triangles, so you cannot apply this method.Log in to reply

– Prince Loomba · 1 year ago

You dont understand my method! Read it carefully, especially the last paragraph!Log in to reply

– Sharky Kesa · 1 year ago

I do understand your proof. But it is incorrect. You say that the when the RHS is minimum, then LHS satisfies and when the LHS is minimum, the RHS satisfies. This doesn't imply that it is always satisfying. Furthermore, you give no proof of what the minimum value of the LHS is.Log in to reply

If we prove that g (x) is less than the least value of f (x), and that f (x) is greater than the greatest value of g (x), dont you think this is enough for the proof of f (x)>g (x)? – Prince Loomba · 1 year ago

Log in to reply

– Sharky Kesa · 1 year ago

No it isn't. Example is \(f(x)=\cos(x)\) and \(g(x)=\sin(x)\). Say we claim that \(f(x)>g(x)\). We have that the greatest value of \(f(x)\) is \(1\) at \(x=2n\pi\), which is greater than \(g(x)\). Also, the least value of \(g(x)\) is \(-1\) is at \(x=\frac {3\pi}{2} + 2n\pi\), which is less than \(f(x)\). Thus, by what you are saying, \(f(x)>g(x)\), which is clearly incorrect.Log in to reply

– Prince Loomba · 1 year ago

Here || represent?Log in to reply

– Sualeh Asif · 1 year ago

The area of that TriangleLog in to reply

PROBLEM 2Let \(D\), \(E\) be points on sides \(BC\), \(AC\) respectively of triangle \(ABC\) such that \(DE||AB\). Let \(X\) be a point outside the triangle such that segments \(XD\) and \(XE\) intersect side \(AB\) at points \(P\), \(Q\) respectively. Find the smallest value \(\gamma\) such that we must have

\[|PQED| < \gamma |ABC|\]

The problem has been solved by michael fuller– Sharky Kesa · 1 year agoLog in to reply

Place the triangle base on the \(x\) axis with \(B\) at the origin and \(A\) on the \(x\) axis. Let the side length of the triangle be \(s\). Let the line \(y=a\) be between \(C\) and the \(x\) axis - it will cut the triangle at the two points \(D\) and \(E\) from left to right.

The point \(X\) can be in the region below the line \(AB\) and anywhere "trapped" inside the region bounded by the lines \(BC\) extended and \(AC\) extended. To find the smallest value of \(\gamma\) we must find the largest value of \(PQED\) and this is maximised as the \(y\) ordinate of \(X\) tends to \(- \infty\), where \(XD\) and \(EQ\) are perpendicular to \(AB\).

\(|PQED|\) must be less than the maximum area of a rectangle inscribed in \(\triangle ABC\). Using the line \(y=a\), \( |PQED| = a(s-2a \cot 60^{\circ}) = as-\dfrac{2 \sqrt3}{3}a^2\). Differentiating etc to find the optimal value of \(a\) gives \(a=\dfrac{\sqrt3}{4}s\) and thus \(|PQED|=\dfrac{\sqrt3}{8}s=\dfrac{|ABC|}{2}\).

Therefore \(\dfrac{|PQED|}{|ABC|}<\large \color{green}{\boxed{\dfrac{1}{2}}}\). – Michael Fuller · 1 year ago

Log in to reply

– Sualeh Asif · 1 year ago

Neat Solution!Log in to reply

Let \(F\) and \(G\) be the feet of the perpendiculars from \(D\) and \(E\) respectively on \(AB\). Note that \(FG\) must contain points \(P\) and \(Q\). We have

\[|PQED| < |FGED| \leq \frac {1}{2} |ABC|\]

This is sufficient to prove that \(\gamma = \frac {1}{2}\). – Sharky Kesa · 1 year ago

Log in to reply

– Michael Fuller · 1 year ago

Great, I'll get to work on the next problem \(:)\)Log in to reply

– Armain Labeeb · 1 year ago

Next problem?Log in to reply

PROBLEM 1Let \(X\) and \(Y\) be points inside equilateral triangle \(ABC\). Let \(Y'\) be the reflection of \(Y\) in line \(BC\). Prove that

\[XY+XB+XC \geq Y'A\]

note: this problem was originally made by @Sharky Kesa in ayush's thread, i decided to start the contest with this, all credit goes to him

prince loomba posted his solution first but since his solution was wrong the credit goes to sharky kesa, he might post the next problem– Aareyan Manzoor · 1 year agoLog in to reply

If \(XY+XB+XC<AY'\),

\[\begin{align} & \implies X'Y' + X'B+X'C < AY'\\ & \implies X'B + X'C < AY' - X'Y'\\ & AY' - X'Y' \geq 0\\ & \implies X'B + X'C <0 \end{align}\]

This is clearly untrue. Thus, we have a contradiction. Therefore \(XY+XB+XC \geq Y'A\). – Sharky Kesa · 1 year ago

Log in to reply

– Prince Loomba · 1 year ago

??? My solution is incorrect?Log in to reply

Solution to problem 1We have to prove that LHS can be greater than RHS, let's take X=centroid of triangle than \(XA=XB=XC\) and \(Y\) be at the furthest point from \(A\) which is \(B\) and \(C\). So \(XY+XB+XC=3XA=3XB=3XC\). and \(AY'=AY\). Clearly \(3XA\) is greater than \(YA\) because \(Y\) is not close to being 3 times as far from \(X\). SO, \(XY + XB+XC >Y'A\).

Combining two equations we have the result

Proof for this to be the worst caseLHS is understood to be minimum when \(X\) is centroid

RHS is maximum when \(Y=A\). It can be proved by taking that \(YY'\) is perpendicular to \(BC\) and When \(Y'\) is at maximum distance from \(A\), this means that \(YY'\) is maximum. Maximum value of \(Y'\) can be \(A\).

So by the rule of inequality, if we have to prove f (a)>f (b), we prove that the minimum value of f (a) is greater than the maximum value of f (b), So obviously the result is true. – Prince Loomba · 1 year ago

Log in to reply

– Sharky Kesa · 1 year ago

OK, you havent considered allcases. You specifically checked centroid, but what about an arbitrary point?Log in to reply

– Prince Loomba · 1 year ago

I told my solution to KVPY 22nd ranker. He told my solution is absolutely correctLog in to reply

– Sharky Kesa · 1 year ago

The LHS cannot be minimum at just \(X\) being the centroid, since \(Y\) is still variable. This is where you have gone wrong.Log in to reply

– Prince Loomba · 1 year ago

No. Y is A so lhs becomes XA+XB+XC which is min when X is centroidLog in to reply

– Sharky Kesa · 1 year ago

But you didn't state that in the statement! Thus, both \(X\) and \(Y\) have to be fixed for LHS to be minimum. Then, from here, you say that because of \(Y\)'s location, the RHS is maximised.Log in to reply

– Prince Loomba · 1 year ago

Talk in slack. Here its difficultLog in to reply

– Sharky Kesa · 1 year ago

Thus, after careful discussion, this solution is indeed incorrect/incomplete.Log in to reply

Problem 13:\(X\) and \(Y\) are two points lying on or on the extensions of side \(BC\) of \(\triangle{ABC}\) such that \(\widehat{XAY} = 90\). Let \(H\) be the orthocenter of \(\triangle{ABC}\). Take \(X'\) and \(Y'\) as the intersection points of \((BH,AX)\) and \((CH,AY)\) respectively. Prove that circumcircle \(\triangle{CYY'}\),circumcircle of \(\triangle{BXX'}\) and \(X'Y'\) are concurrent.

Pakistan TST 2016 Problem 4, Iranian 3rd round Geometry exam P5 - 2014– Sualeh Asif · 1 year agoLog in to reply

1 week,12 problems. – Prince Loomba · 1 year ago

Log in to reply

Problem 12Here is a problem I loved alot when I was given this, because of its utter simplicity:

Let the nine-point circle of \(\triangle ABC\) intersect \(BOC\) at \(X,Y\).Prove that \(\angle BAX=\angle CAY\)

(I guess this is from Serbia) – Sualeh Asif · 1 year ago

Log in to reply

Let \(C'\in AB,B'\in AC\) such that \(B,C,B',C'\) are concyclic. Suppose \(\omega, \omega'\) are two circles through \(B,C\) and \(C',B'\) respectively, such that they are corresponding circles between similar triangles \(ABC, AB'C'\). If \(\omega \cap \omega'=X,Y\), prove that \(AX,AY\) are isogonals wrt \(\angle BAC\).

Here are two solutions by him:

Serbian Problem – Sualeh Asif · 1 year ago

Log in to reply

The transformation \(\mathcal{T}\) composed of an inversion with center \(A\) and power \(\tfrac{1}{2} \cdot AB \cdot AC\) with a reflection in \(\ell\) swaps \(B, M_b\) and \(C, M_c.\) Moreover, note that \(\mathcal{T}(O) \in AH\) (because circumcenter and orthocenter are isogonal conjugates) and \(B, C, \mathcal{T}(O)\) are collinear because \(A, M_b, M_c, O\) are concyclic. Hence, \(\mathcal{T}(O) \equiv H_a.\) It follows that \(\mathcal{T}\) swaps \(\odot(M_bH_a M_c)\) and \(\odot(BOC).\) Then since \(\odot(M_bH_aM_c)\) is just the nine-point circle of \(\triangle ABC\), the intersections \(X, Y\) of the nine-point circle and \(\odot(BOC)\) are swapped by \(\mathcal{T}.\) Hence, \(AX, AY\) are isogonal WRT \(\ell\), as desired.

(Solution by Dukejukem on AoPS.)

Challenge: There is a nice solution using similar triangles and angle-chasing, Find it.

Hint: Construct \(O,H\) – Sualeh Asif · 1 year ago

Log in to reply

Problem 11Definitions:Let \(O\) be the centre of a circle \(\Gamma\) with radius \(r\). Let \(K\) be a point. Let \(K'\) be the point on \(OK\) (possibly extended) satisfying \(OK \times OK' = r^2\), with respect to \(\Gamma\). Let \(f(K)\) denote the line perpendicular to \(K'\).Given a cyclic quadrilateral \(ABCD\). Let \(AC \cap BD = P\), \(AB \cap CD = Q\), \(AD \cap BC = R\). Prove \(f(P)=QR\), \(f(Q)=PR\), \(f(R)=PQ\). – Sharky Kesa · 1 year ago

Log in to reply

Brokard – Sualeh Asif · 1 year ago

Log in to reply

It claims that \(PQR\) is self-polar,(what you stated above), and that as a corollary \(O\) is the orthocenter of \(PQR\) – Sualeh Asif · 1 year ago

Log in to reply

– Sharky Kesa · 1 year ago

But can you prove it?Log in to reply

Note that \(f(Q)=PR\implies PR\)is the polar of Q. So now we define a few more points:\(PR\cap CD=E,PR\cap AB=F,AC\cap QR=G,BD\cap QR=H\), now just note that by perspecting through P, we have, \[(Q,R;G,H)=(Q,E;C,D)=(Q,F;A,B)=-1\]

Which simply implies that \(EF=PR\) is the polar of \(Q\). similarly \(f(R)=PQ\implies PR\),

We can now end in several different ways, here is one of them that I like a lot.

1) Note that the two polar relationships imply that \(O\) is the orthocenter of \(PQR\), and hence \(OP\perp QR\). But inverting in \((O)\), we have that the inverse of \(P=AC\cap BD\) is the \(M\), the miquel point of \(ABCD\) , which we know by simple angle-chasing that it lies on \(QR\). This combined with \(OP\perp QR \implies P'=M \implies QR\) is the polar of \(P \implies f(P)=QR\) – Sualeh Asif · 1 year ago

Log in to reply

But Ill write the proof in a bit – Sualeh Asif · 1 year ago

Log in to reply

Problem 8Let \(ABC\) be triangle with incenter \(I\) . A point \(P\) in the interior of the triangle satisfies \(\angle PBA+\angle PCA = \angle PBC+\angle PCB\) . Show that \(AP \geq AI\) , and that equality holds if and only if \(P=I\).

(IMO shortlisted)– Sualeh Asif · 1 year agoLog in to reply

\(\angle PBA + \angle PCA +\angle PBC + \angle PCB= \beta + \gamma\), so \(\angle PBC + \angle PCB = \frac{\beta+\gamma}{2}\). Note that this implies \(\angle BPC = 90^{\circ} + \frac {\alpha}{2}\).

Since \(I\) is the incentive of \(ABC\), it can be angle chased to be shown that \(\angle BIC = 180^{\circ} - \frac {\beta + \gamma}{2} = 90+\frac{\alpha}{2}\). Therefore, \(\angle BPC = \angle BIC\), so \(BIPC\) is a cyclic quadrilateral.

By Charles' Lemma, we must have the centre of this cyclic quad is the intersection of the line \(AI\) extended with the circumcircle of \(ABC\). Call this point \(X\). We have the following:

\[AP + PX \geq AX = AI + IX = AI + PX \implies AP \geq AI\]

with equality if \(I\) and \(P\) concur. – Sharky Kesa · 1 year ago

Log in to reply

PROBLEM 3Let \(ABCD\) be a convex quadrilateral such that diagonals \(AC\) and \(BD\) intersect at right angles - let \(E\) be their intersection.

Prove that the reflections of \(E\) across \(AB\), \(BC\), \(CD\), \(DA\) are concyclic, i.e. the four reflected points connect to form a cyclic quadrilateral.

This problem has been solved by Sualeh Asif.– Michael Fuller · 1 year agoLog in to reply

Let the Refleted points be \(E_{ab},E_{bc},E_{cd},E_{da}\). Now consider the circles through the points \(E,E_{ab},E_{ad}\) and so on. Call them \(\Gamma_A,\Gamma_B,\Gamma_C,\Gamma_D\). Note that \(\Gamma_A\) is centered at \(A\) since \(AE=AE_{ab}=AE_{ad}\). Now apply an inversion about E with arbitrary radius. Note that \(\Gamma_A,\Gamma_C,\) are tangent and so are \(\Gamma_B,\Gamma_D,\). Under the inversion \(A',B',C',D'\) are arbitrary such that \(A'C'\perp B'D'\). The critical observation is that \(\Gamma_A ' \) is inverted to a line perpendicular to \(A'C'\) since \(\Gamma_A\) is perpendicular to \(AC\). Similarly we get two pairs of parallel lines \(\Gamma_A ', \Gamma_C '\) and \(\Gamma_B ', \Gamma_D '\). And hence the points \(E_{ab} ',E_{bc} ',E_{cd} ',E_{da} '\) are just the vertices of a rectangle which is obviously cyclic. Hence \(E_{ab},E_{bc},E_{cd},E_{da}\) are also cyclic! – Sualeh Asif · 1 year ago

Log in to reply

– Michael Fuller · 1 year ago

Can you explain?Log in to reply

– Sualeh Asif · 1 year ago

Is this good?Log in to reply

My solution (or rather, the one I found with this problem) goes as follows:

Let \(X\), \(Y\), \(Z\), \(W\) be the feet of the altitudes from point \(E\) to \(\triangle AEB\), \(\triangle BEC\), \(\triangle CED\), \(\triangle DEA\) respectively.

Note that the reflection of \(E\) over the 4 lines is \(XYZW\) with a scale factor of \(2\) with center \(E\). Thus, if \(XYZW\) is cyclic, then the reflections are also cyclic.

\(\angle EWA\) is right angle and so is \(\angle EXA\). Thus, \(EXAW\) is cyclic with \(EA\) being the diameter of the circumcircle.

It follows that \(\angle EWX\cong\angle EAX\cong \angle EAB\) because they inscribe the same angle. Similarly \(\angle EWZ\cong \angle EDC\), \(\angle EYX\cong \angle EBA\), \(\angle EYZ\cong \angle ECD\).

Futhermore, \( m \angle XYZ+ m \angle XWZ \\ = m \angle EWX+ m \angle EYX+ m \angle EYZ+ m \angle EWZ \\ =360^{\circ}- m \angle CED- m \angle AEB \\ =180^{\circ}.\)

Thus, \(\angle XYZ\) and \(\angle XWZ\) are supplementary and it follows that \(XYZW\) is cyclic. – Michael Fuller · 1 year ago

Log in to reply