Skip to main content

Challenging myself? [Jan 15-Jan 27]

Ehh INMO was trash. I think I will get 17/0/0/0-1/3-5/10-14, which is def not good enough for qualifying from 12th grade. Well, I really feel sad but let's not talk about it and focus on EGMO rather. 

INMO 2023 P1

Let $S$ be a finite set of positive integers. Assume that there are precisely 2023 ordered pairs $(x,y)$ in $S\times S$ so that the product $xy$ is a perfect square. Prove that one can find at least four distinct elements in $S$ so that none of their pairwise products is a perfect square.

I will use Atul's sol, cause it's the exact same as mine. 

Proof: Consider the graph $G$ induced by the elements of $S$ and edges being if the products are perfect squares. Note that if $xy = a^2$ and $xz = b^2$, then $yz = \left( \frac{ab}{x} \right)^2$, since its an integer and square of a rational number its a perfect square and so $yz$ is an edge too. So the graph is a bunch of disjoint cliques, say with sizes $c_1, c_2, \cdots, c_k$. Then $\sum_{i=1}^k c_i^2 = 2023$, which implies $k \geqslant 4$ since $2023 \equiv 7 \pmod 8$. Now pick one element from each of these cliques and it works.

I am starting with Harmonic DGX: 

A few stuffs to note for me.





2016 G2

Let $ABC$ be a triangle with circumcircle $\Gamma$ and incenter $I$ and let $M$ be the midpoint of $\overline{BC}$. The points $D$, $E$, $F$ are selected on sides $\overline{BC}$, $\overline{CA}$, $\overline{AB}$ such that $\overline{ID} \perp \overline{BC}$, $\overline{IE}\perp \overline{AI}$, and $\overline{IF}\perp \overline{AI}$. Suppose that the circumcircle of $\triangle AEF$ intersects $\Gamma$ at a point $X$ other than $A$. Prove that lines $XD$ and $AM$ meet on $\Gamma$.

Proof: Define $T$ as the mixtillinear in touch point. Define $S$, $P$ as the midpoint of major arc, minor arc $BC$. 

Claim: $BFIT, CEIT$ harmonic

Proof: Introduce the midpoint of arc $AB, BC$ ( say $M_c,M_b$) and angle chase. We have $M_cB,M_cI$ tangent to $BFIT$. And we have $T-F-M_c$.

Define $H=ST\cap BC$.

Claim: $AH,CF,BE$ concur

Proof: By ceva, we just have to show $$\frac{BF}{CE}=\frac{BH}{CH}.$$

For which, we use the fact that $BFIT, CEIT$ are harmonic.

Claim: $SX,EF,BC,TP$ concur

Proof: Note that $(Z,H;B,C)=-1$ where $Z=EF\cap BC$. Moreover, we know that $$\angle BTH=HTC$$ and $\angle HTP=90\implies Z-T-P$.

As $SH\perp ZP, ZH\perp PS\implies X-H-P$.

Since $(S,P;B,C)=-1$, we get $(X,T;B,C)=-1$. 

Now define $A'$ as the intersection of the parallel line through $A$ to $BC$ and $(ABC)$. 

Claim: $T-D-A'$

Proof: We have it because $$\angle BTA=CTD$$ and $BA=CA'$. 

Note that $(AM\cap (ABC),A';B,C)=-1$ ( just reflect over perpendicular bisector of $BC$) . But we have $(X,T;B,C)=(XD\cap (ABC),A';B,C)=-1$. So $ XD\cap (ABC)=AM\cap (ABC)$.

This was a pretty nice problem (sort of config based).. but I would recommend to go through it in future, cause pretty nice config geo!

USA EGMO TST 2023 P1

Let $ABC$ be a triangle with $AB+AC=3BC$. The $B$-excircle touches side $AC$ and line $BC$ at $E$ and $D$, respectively. The $C$-excircle touches side $AB$ at $F$. Let lines $CF$ and $DE$ meet at $P$. Prove that $\angle PBC = 90^{\circ}$. 

Proof: If $BC=a$. Note that $CE=CD=\frac{AB+BC+CA}{2}-C=a$. So $C$ is the centre of $(BDE)$ and hence $\angle BDE=90$. So $C$ is midpoint of $BE$. 

Define $I$ as the incentre of $ABC$. Let the incircle touch $CA$ at $M$, $BC$ at $L$. Let $M$ antipode be $N$ and $L$ antipode be $J$. 

Claim:$B-N-J-D$ collinear ( By symmetry we also get $C-J-F$)

Proof: By homothety, $B-N-D$. Note that if $\angle BCA=2\theta$, we get $\angle BED=\theta\implies CI||EA$.

We have $\angle EBD=90-\theta$ and $\angle ILM =\theta\implies \Delta LMJ \text{ is similar to } \Delta EDB$. 

Note that $\angle MJN=90$. Since $JL\perp BC\implies \angle LJB=90-\angle LBJ=\theta$. And $\angle LJN=\angle JLM=\theta\implies J-N-B$.

Define $P'$ as the intersection of the perpendicular at $B$ to $BC$ and $CE$.  Define $C'=CI\cap BC$. Since $LJ||BP'$ and $I$ is midpoint of $NJ\implies C'$ is midpoint of $BP'$. 

Now define $Y$ as midpoint of $NJ$. Note that $C-I-Y-C'$ ( as $CI$ is perpendicular bisector of $LM$ and $LMNJ$ rectangle).

Note that $\Delta BCY$ is similar to $\Delta BED$. So $E-D-P'$. So $P'=P$. And we are done! 

USAJMO 2011 P5

Points $A,B,C,D,E$ lie on a circle $\omega$ and point $P$ lies outside the circle.
The given points are such that
(i) lines $PB$ and $PD$ are tangent to $\omega$,
(ii) $P, A, C$ are collinear,
and (iii) ${DE} \parallel {AC}$.
Prove that ${BE}$ bisects ${AC}$.

Proof: Note that $$(A,C;B,D)=-1\text { projecting through } E \text { on } AC\implies (A,C; BE\cap AC, P_{\infty})=-1.$$ Hence  $BE\cap AC$ is the midpoint of $AC$. Hence $BE$ bisects $AC$.


APMO 2013


Let $ABCD$ be a quadrilateral inscribed in a circle $\omega$, and let $P$ be a point on the extension of ${AC}$ such that ${PB}$ and ${PD}$ are tangent to $\omega$. The tangent at $C$ intersects ${PD}$ at $Q$ and the line $AD$ at $R$. Let $E$ be the second point of intersection between ${AQ}$ and $\omega$. Prove that $B$, $E$, $R$ are collinear.

Proof: Note that $$-1=(A,E;C,D)=(A,RE\cap \omega; C,D)$$ But we know $$(A,C;B,D)=-1\implies RE\cap \omega=B.$$

China TST 2002

Let $ABCD$ be a quadrilateral. Point $E$ is the intersection of lines $AB$ and $CD$
while point $F$ is the intersection of lines $BC$ and $DA$. The diagonals of the quadrilateral meet at $P$, and point $O$ is the foot from $P$ to $\overline{EF}$.
Prove that $\angle BOC = \angle AOD$.

Proof: Let $DB\cap FE=X, FP\cap DC=Y$. Note that $$-1=(D,C;Y,E)=(D,B;P,Y)\implies PO\text{ bisects } \angle DOB.$$ Similarly we get $PO \text{ bisects } \angle AOC.$ Hence  $\angle BOC = \angle AOD$.


ELMO Shortlist 2019 G1

Let $ABC$ be an acute triangle with orthocenter $H$ and circumcircle $\Gamma$.
Let $BH$ intersect $AC$ at $E$, and let $CH$ intersect $AB$ at $F$. Let $AH$ intersect $\Gamma$ again at $P \neq A$. Let $PE$ intersect $\Gamma$ again at $Q \neq P$.
Prove that $BQ$ bisects segment $\overline{EF}$.

Proof: Let the parallel line through $B$ to $EF$ intersect $(ABC)$ at $X.$ Let $EF\cap BC=T, TA\cap (ABC)=R.$ Then note that $(AREF), R-E-X.$ 
So $$-1=(B,C;T,D)\text{ projecting through } A \text { on } (ABC)$$ $$\implies -1= (BC; RP)\text{ projecting through } A \text { on } (ABC)\text{ projecting through } E \text { on } (ABC)$$ $$\implies (BE\cap (ABC)A;XQ)=-1\text{ projecting through } E \text { on } (ABC)\implies  (EF;\infty_{EF}BQ\cap EF)=-1.$$




We have $$FM\cdot FX=MA\cdot MD=MY\cdot MF\implies EYXF\text{ is cyclic}.$$

The following problem was done with Atul and Archit :D

SAGF part 1 P2


In an acute-angled triangle, $ABC$ $w$ is a circumscribed circle, and $O$ is inside the triangle and $OB = OC$. The point $D$ is selected on the side of $AB$,so that $OD \parallel BC$. The straight line $AO$ repeatedly intersects the circles $w$ and $(COD)$ at the points $A',P$, respectively. $M$ is the middle of the side of $BC$. Circle $(MAA')$ intersects the line $BC$ at the point $L$. The straight line $AL$ repeatedly intersects the circle $w$ at the point $K$. Prove that $\angle APK = \angle AA'M$

Proof: We start with the following lemma.
Lemma:Let $ABC$ be a triangle, $O$ be a point on the perpendicular bisector of $BC$. Let $D,E$ denote the intersection of line parallel $AB,AC$. Define $P=(DOC)\cap (EOP).$ Then points $A,O$ and $P$ are collinear.

Proof: Invert about $O$. The inverted problem is: Give $ABC$ triangle with $O$ be a point on the perpendicular bisector of $BC$. Let $D,E$ denote the intersection of line parallel $(AOB),(AOC)$. We have to show that $AO, CD,BE$ concur.

Note that as $OB=OC$ we have$$\angle DAB=\angle DOB=\angle EOC=\angle EAC.$$Define $\ell_1$ as the reflection of $DB$ over the angle bisector of $\angle B$ and $\ell_2$ as the reflection of $CE$ over the angle bisector of $\angle C$. We claim that $\ell_1 \parallel \ell_2 \parallel OP$

To see this,$$\angle AOD=\theta=\angle ABD\implies \angle AOE=180-\theta=\angle ACE.$$Let $X$ be on $\ell_1$ such that $D$ and $X$ are on opposite sides of $AB$. Similarly, define $Y$ be on $\ell_2$ such that $E$ and $Y$ are on opposite sides of $AC$. So note that$$\angle CBX=\theta,\angle BCY=180-\theta\implies \ell_1 \parallel \ell_2.$$
Note that $\angle ABX=\angle B+\theta$. And$$180-\angle OAB-180-\angle ODB=\angle DBC=\angle B+\theta\implies OA||l_1||l_2.$$So $BX\cap CY=P_{\infty}, A-O-P_{\infty}\text{ collinear}.$ By Jacobi theorem, we get $A-O-P_{\infty},CD,BE$ concur. Hence, we get $A-O-P$ collinear.

Redefine the problem in the following way: Define trinagle $ABC$, $O$ be a point on the perpendicular bisector of $BC$. Let $D,F$ denote the intersection of line parallel $AB,AC$. Define $P=(DOC)\cap (EOP).$ Define $M$ as the midpoint of $BC$. Define $I=AB\cap (DOCP), H=AC\cap (BOFP)$. Define $L'= BC\cap IH$. Define $E=AO\cap BC, A'=AO\cap (ABC)$. We will shwo that $L',A',M,A$ cyclic i.e $L'=L$. Note that $(L',E;B,C)=-1$. And hence we have$$ME\cdot EL'=EC\cdot EB=AE\cdot EA'\implies L'MAA'\text{ is cyclic}\implies L'=L.$$
Due to this, we get that $K$ is the miquel point of $BCHI$(as $K=(ABC)\cap AL$). Since $K$ is the miquel point, we have $(ABCK),(AIHK),(KCHL)$ cyclic. We actually don't need all the cyclicities, but we'll prove them because why not.

Note that $(B,C;E,L)=-1\implies LB\cdot LC=LM\cdot LE.$ But $LB\cdot LC=LA\cdot LK\implies AKEM$ is cyclic.

$P\in (AKHI)$ as$$\angle IPH=\angle IPO+\angle OPH=\angle ADO+\angle AFO=180-\angle A\implies P\in(AKI).$$
Define $G=DF\cap AL$, then $KFGH$ cyclic, this is because$$\angle KGF=\angle KLC=\angle KLB=\angle KIB=\angle KHC.$$The last equality follows as $K$ is the spiral center taking $BI$ to $CH$.

So by PoP, we get$$AK\cdot AG=AF\cdot AH=AO\cdot AP=AD\cdot AI$$which gives $KDIG,KGOP$ cyclic.

$EKLP$ cyclic as$$\angle KLE=\angle KLB=\angle KIB=\angle KIA=\angle KPA=\angle KPE.$$
$AKME$ cyclic as$$LM\cdot LE=LB\cdot LC=LA\cdot LK\implies AKME\text{ is cyclic}.$$
Now to finish proving $\angle APK=\angle AA'M$, note that$$\angle APK=\angle AIK=\angle BIK=\angle BLK=\angle MLA=\angle AA'M$$so we're done.

GOTEEM 2020


Let $ABC$ be a scalene triangle. The incircle of $\triangle ABC$ is tangent to sides ${BC}$, ${CA}$, ${AB}$ at $D$, $E$, $F$, respectively. Let $G$ be a point on the incircle of $\triangle ABC$ such that $\angle AGD = 90^\circ$. If lines $DG$ and $EF$ intersect at $P$,prove that $AP$ is parallel to $BC$.

Proof: Let $D'$ be the antipode of $D$ wrt incircle. Note that $$(D',G;E,F)=-1\text { projecting through } D \text { on } EF\implies (DD'\cap EF, P;E,F)=-1.$$ Let $M$ be the midpoint of $BC$. Define $X=EF\cap BC$. We have $EF,DD',AM$ concur at say $R$.  Projecting through $R$ on $BC$,  $$-1=(R,P;E,F)=(M,PA\cap BC;B,C)\implies PA||BC.$$


AHH I have more to post but I will post in different blogpost! Bie people!

Comments

Post a Comment

Popular posts from this blog

Some problems in Olympiad Graph theory!

Hello there! It has been a long time since I uploaded a post here. I recently took a class at the European Girls' Mathematical Olympiad Training Camp 2024, held at CMI. Here are a few problems that I discussed! My main references were Po-Shen Loh's Graph theory Problem set (2008), Adrian tang's Graph theory problem set (2012) and Warut Suksompong's Graph Cycles and Olympiad Problems Handout and AoPS. I also referred to Evan Chen's Graph theory Otis Problem set for nice problems! Text Book Problems which are decent A connected graph $G$ is said to be $k$-vertex-connected (or $k$-connected) if it has more than $k$ vertices and remains connected whenever fewer than $k$ vertices are removed. Show that every $k$-connected graph of order atleast $2k$ contains a cycle of length at least $2k$. We begin with a lemma. Prove that a graph $G$ of order $n \geq 2k$ is $k$ connected then every 2 disjoint set $V_1$ and $V_2$ of $k$ distinct vertices each, there exist $k$...
2 comments
Read more

Introduction

  Hey Everyone!! This is my first Blog post. So let me give a brief introduction about myself. I am Sunaina Pati. I love solving Olympiad math problems,  learning crazy astronomical facts , playing hanabi and anti-chess, listening to Kpop , love making diagrams in Geogebra and  teaching other people maths 😊 . I love geometry , number theory and Combinatorics . I am starting this blog to keep myself a bit motivated in doing studies 😎 . Right now, I am planning to write walkthroughs on some of the best problems I tried over the week which can refer for hints 'cause solutions contain some major spoilers and one learns a lot while solving the problem on his own rather than seeing solutions . Also, there will be some reviews about Kpop songs, study techniques, my day to day lifestyles,exam reviews and ofc some non-sense surprises 😂.  I am planning to  try  posting every week on Sundays or Saturdays ( most probably) ! Though there is no guarantee about when I ...
20 comments
Read more

My experiences at EGMO, IMOTC and PROMYS experience

Yes, I know. This post should have been posted like 2 months ago. Okay okay, sorry. But yeah, I was just waiting for everything to be over and I was lazy. ( sorry ) You know, the transitioning period from high school to college is very weird. I will join CMI( Chennai Mathematical  Institue) for bsc maths and cs degree. And I am very scared. Like very very scared. No, not about making new friends and all. I don't care about that part because I know a decent amount of CMI people already.  What I am scared of is whether I will be able to handle the coursework and get good grades T_T Anyways, here's my EGMO PDC, EGMO, IMOTC and PROMYS experience. Yes, a lot of stuff. My EGMO experience is a lot and I wrote a lot of details, IMOTC and PROMYS is just a few paras. Oh to those, who don't know me or are reading for the first time. I am Sunaina Pati. I was IND2 at EGMO 2023 which was held in Slovenia. I was also invited to the IMOTC or International Mathematical Olympiad Training Cam...
10 comments
Read more

New year with a new beginning! And a recap of 2024..and all the best for INMO 2025!

Hi everyone! Happy New Year :)  Thank you so much for 95k+ views!!! How was everyone's 2024? What are everyone's resolutions? ( Do write down in the comment section! And you can come back 1 year later to see if you made them possible!). And.. What about me?  A Better human being Well, I want to become a better human being this year compared to last year. From a very young age, my father has been saying to me, "It does not matter if you are a good mathematician, but you should be a nice human being." As a teenager, I never took the statement seriously. Well, all that mattered to me was to do good mathematically. Why should I care about other people's feelings? These were all my thoughts in high school.  So I ended up saying a few hurtful statements without realising that they were hurtful.  I never actually cared throughout my high school. You know, the world is too big, if I hurt person A, no worries, I will move on to person B and start a new friendship! As a res...
5 comments
Read more

INMO Scores and Results

Heya! INMO Results are out! Well, I am now a 3 times IMOTCer :D. Very excited to meet every one of you! My INMO score was exactly 26 with a distribution of 17|0|0|0|0|9, which was a fair grading cause after problem 1, I tried problem 6 next. I was hoping for some partials in problem 4 but didn't get any.  I am so so so excited to meet everyone! Can't believe my olympiad journey is going to end soon..  I thought to continue the improvement table I made last year! ( I would still have to add my EGMO performance and also IMO TST performance too) 2018-2019[ grade 8]:  Cleared PRMO, Cleared RMO[ State rank 4], Wrote INMO 2019-2020[ grade 9]:  Cleared PRMO, Cleared RMO[ State topper], Wrote INMO ( but flopped it) 2020-2021[grade 10]:  Cleared IOQM, Cleared INMO [ Through Girl's Quota] 2021-2022[grade 11]:  Wrote EGMO 2022 TST[ Rank 8], Qualified for IOQM part B directly, Cleared IOQM-B ( i.e INMO) [Through general quota],  2022-2023 [grade 12]:  Wrote E...
Post a Comment
Read more

How to prepare for INMO

Since INMO is coming up, it would be nice to write a post about it! A lot of people have been asking me for tips. To people who are visiting this site for the first time, hi! I am Sunaina Pati, an undergrad student at Chennai Mathematical Institute. I was an INMO awardee in 2021,2022,2023. I am also very grateful to be part of the India EGMO 2023 delegation. Thanks to them I got a silver medal!  I think the title of the post might be clickbait for some. What I want to convey is how I would have prepared for INMO if I were to give it again. Anyway, so here are a few tips for people! Practice, practice, practice!! I can not emphasize how important this is. This is the only way you can realise which areas ( that is combinatorics, geometry, number theory, algebra) are your strength and where you need to work on. Try the problems as much as you want, and make sure you use all the ideas you can possibly think of before looking at a hint. So rather than fixing time as a measure to dec...
7 comments
Read more

Geometry ( Finally!!!)

 This is just such an unfair blog.  Like if one goes through this blog, one can notice how dominated  Algebra is!! Like 6 out of 9 blog post is Algebra dominated -_- Where as I am not a fan of Algebra, compared to other genres of Olympiad Math(as of now). And this was just injustice for Synthetic Geo. So this time , go geo!!!!!!!!!!!  These problems are randomly from A Beautiful Journey through Olympiad Geometry.  Also perhaps I will post geo after March, because I am studying combi.  Problem:  Let $ABC$ be an acute triangle where $\angle BAC = 60^{\circ}$. Prove that if the Euler’s line of $\triangle ABC$ intersects $AB$ and $AC$ at $D$ and $E$, respectively, then $\triangle ADE$ is equilateral. Solution:  Since $\angle A=60^{\circ}$ , we get $AH=2R\cos A=R=AO$. So $\angle EHA=\angle DOA.$ Also it's well known that $H$ and $O $ isogonal conjugates.$\angle OAD =\angle EAH.$ By $ASA$ congruence, we get $AE=AD.$ Hence $\triangle ADE$ is equilateral....
3 comments
Read more

Problems I did this week [Jan8-Jan14]

Yeyy!! I am being so consistent with my posts~~ Here are a few problems I did the past week and yeah INMO going to happen soon :) All the best to everyone who is writing!  I wont be trying any new problems and will simply revise stuffs :) Some problems here are hard. Try them yourself and yeah~~Solutions (with sources) are given at the end! Problems discussed in the blog post Problem1: Let $ABC$ be a triangle whose incircle $\omega$ touches sides $BC, CA, AB$ at $D,E,F$ respectively. Let $H$ be the orthocenter of $DEF$ and let altitude $DH$ intersect $\omega$ again at $P$ and $EF$ intersect $BC$ at $L$. Let the circumcircle of $BPC$ intersect $\omega$ again at $X$. Prove that points $L,D,H,X$ are concyclic. Problem 2: Let $ ABCD$ be a convex quadrangle, $ P$ the intersection of lines $ AB$ and $ CD$, $ Q$ the intersection of lines $ AD$ and $ BC$ and $ O$ the intersection of diagonals $ AC$ and $ BD$. Show that if $ \angle POQ= 90^\circ$ then $ PO$ is the bisector of $ \angle AOD$ ...
Post a Comment
Read more

Reflecting on past

INMO Scores are out!! I am now a two times INMO awardee :) I got 16|0|1, so 17 in total! Yes, 16 in P1 T_T. I was thinking I would lose marks because of the way I wrote.  Lemme tell ya'll what happened that day but first I should share a few thoughts I had before the exam. My thoughts Honestly, my preparation for INMO was bad. In fact, I should say I didn't work hard at all. As I have said earlier, I had lost all my hopes for INMO and Olympiads as a whole after EGMO TSTs happened.  Art by Jelena Janic EGMO TSTs i.e European Girl's Mathematical Olympiad Team selection Tests 2022.  Literally my thoughts after EGMO TSTs I feel very ashamed to share but I got 1 mark in my EGMO TSTs. Tests in which I literally gave my whole life. I did so many ISLs ( like SO MANY), I mocked EGMO 2021 TST where my score was 28/42 and I perfected Day 2. 1 mark in the TST just showed my true potential. There are way better people than me in olys. A friend even said to me, "If I wouldn't...
7 comments
Read more

Let's complex bash Part 1

I have to learn complex bash. And almost everyone knows that I am notes taking girl so thought why not make a post on complex bash ( so that I don't get emotionally demotivated lol).😇 There wasn't any need for learning complex bash, but it was in my dream checklist i.e " To learn a bash." And since I am not loaded with exams, I think it's high time to learn Bash and new topics.  Also if anyone from the "anti-bash" community is reading, sorry in advance and R.I.P.  Notes:- 1. Complex numbers are of the form $z=a+ib,$ where $a$ and $b$ are real numbers and $i^2=-1.$ 2. In polar form, $z=r(\cos \theta+~~i\sin\theta)=~~re^{i\theta},$ where $r=~~|z|=~~\sqrt{a^2+b^2},$ which is called the magnitude. 3. Here we used euler's formula i.e $\cos \theta+~~i\sin\theta=~~e^{i\theta}.$ 4. The $\theta $ is called the argument of $z,$ denored $\arg z.$ ( $\theta$ can be considered in $\mod 360$ and it is  measured anti-clockwise). 5. The complex conjugate of $z$ is ...
4 comments
Read more