Skip to main content

Geos are definitely cool

So, I  did G1s. Here are solutions to a few of them.
I think they were really INMO level. Not much theory was needed. It's true that almost everything was angle chase-able. Although $2017$ G$1$ was an exception, as it had pappus. But the rest were nice. The hardest would also be $2017$ G$1$. It's not hard-hard, but hard in terms of theoretically.

The second hardest would probably be $2018$ G$1.$  Anand had proof with no words. I will add the image here. One should definitely check! 

Then, the third hardest would probably be $2009$ G$1.$ The right construction was hard for me to guess. Then $2005$ G1. And then $2007$G$1,$ since the right use of similarities were required.  

Also I, fortunately(?) didn't use any ggb, so I would recommend making your own diagrams. 

And before starting, I would like to thanks every one of you who comes here almost daily and views this blog! I hope this blog is helpful to you in some way. Yeah, we crossed 6k views! 💖


So here are 5+1 problems, which I would say are perfect for INMO!


2019 G1: Let $ABC$ be a triangle. Circle $\Gamma$ passes through $A$, meets segments $AB$ and $AC$ again at points $D$ and $E$ respectively and intersects segment $BC$ at $F$ and $G$ such that $F$ lies between $B$ and $G$. The tangent to circle $BDF$ at $F$ and the tangent to circle $CEG$ at $G$ meet at point $T$. Suppose that points $A$ and $T$ are distinct. Prove that line $AT$ is parallel to $BC$.

Proof: 
  •  Redefine $FF\cap (ADFGE)=T.$
  •  Then we get $\angle ABF=\angle DFT= 180-\angle TAD\implies AT||BC$
  •  Then we show that $TG$ is tangent to $(GEC),$ then $\angle TGE=\angle TAE=\angle ACG.$
2015 G1: Let $ABC$ be an acute triangle with orthocenter $H$. Let $G$ be the point such that the quadrilateral $ABGH$ is a parallelogram. Let $I$ be the point on the line $GH$ such that $AC$ bisects $HI$. Suppose that the line $AC$ intersects the circumcircle of the triangle $GCI$ at $C$ and $J$. Prove that $IJ = AH$.

Proof: 
  • Draw ||gm $IAHA'$
  •  To show that $IJ=IA'$
  • Note that $CHBM$ cyclic and $\angle IGC=\angle IJC=90-C.$
  • But $\angle HAA'= \angle AAI'=90-C.$
  •  So $IJ=IA'=AH.$
2016 G1: Triangle $BCF$ has a right angle at $B$. Let $A$ be the point on line $CF$ such that $FA=FB$ and $F$ lies between $A$ and $C$. Point $D$ is chosen so that $DA=DC$ and $AC$ is the bisector of $\angle{DAB}$. Point $E$ is chosen so that $EA=ED$ and $AD$ is the bisector of $\angle{EAC}$. Let $M$ be the midpoint of $CF$. Let $X$ be the point such that $AMXE$ is a parallelogram. Prove that $BD,FX$ and $ME$ are concurrent.

Proof:
  •  Redefine $M$ as a point such that $CDEM$ is ||gm. We let $\angle MCD=\theta $
  •   So we get $CM=DF=EA$ and $EM=CD=DA.$ Hence $DEMA$ is isosceles trapezoid. Hence $DM=EA.$ 
  •    So we get $\angle DME=180-\angle CMD-\angle EMA=\theta.$ 
  •     Now, we have $$\angle EMF=\angle EMA=\theta =\angle MAB \implies ME||BA $$
  •    So $$\angle \theta =\angle EBA=\angle BEM.$$
  •      So if we define $Z=BE\cap MA$ then $\angle BZA=180-2\theta \implies Z=F\implies B-F-E$
  •     Hence $MF=FE$ and $\Delta MEF$ congruent to $\delta MED.$ 
  •     Hence $CM=DE=MF$Hence $M$ is the midpoint of $CF.$
2012 G1: Let $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.$

Proof: 
  • Note that $ AP^2=AF\cdot AB=AH\cdot AD=AE\cdot AC=AR^2.$ Note that $\angle BQD=C-X=\angle PAF\implies (AQPF).$
  •     We use inversion at $A$ with radius $AH\cdot AD$ so $P\rightarrow P,~~R\rightarrow R,~~F\rightarrow B,~~H\rightarrow D,~~E\rightarrow C.$
  •     Define $PB\cap FD\Leftrightarrow (PFA)\cap (ABH).$
  •      So let $Q'= (PFA)\cap (ABH)$
  •   Note that $C=180-\angle AHB=\angle AQ'B\implies \angle AQ'B=C.$
  •     note that $\angle ARF=\angle APF=\angle FQ'A=X$ So we have $FQ'B=C-X$
  •      Now note that $C-X=\angle PAF=\angle PQ'F.$
  •      So $Q'-P-B\implies Q'=Q.$
  •   So $AQ=AR=AP.$

2001 G1: In the plane we are given two circles intersecting at $ X$ and $ Y$. Prove that there exist four points with the following property:
(P) For every circle touching the two given circles at $ A$ and $ B$, and meeting the line $ XY$ at $ C$ and $ D$, each of the lines $ AC$, $ AD$, $ BC$, $ BD$ passes through one of these points.

Proof:  
  •  Define $AD\cap (O_1)=G,~~BD\cap (O_2)=H,~~AC\cap (O_1)=E,~~BC\cap (O_2)=F$
  •    Note that $\angle GAE=\angle GAD,~~\angle EO_1A=\angle AO_3C\implies \angle EGA=\angle ADC\implies GE||XY$
  •     Similarly we get HF||XY, so $HF||XY||GE.$
  •      by pop we have $ABGH,~~ABEF$ cyclic.
  •      Also we have now $GAH\sim DAC$ and so.
  •      Now we angle chase, we get $$\angle EFB=\angle BAC=\angle BDC=\angle BHD\implies EF\text{~tangent to~~}(O_2).$$
  •     Similar for others too, so we get $EF,GH$ as the common tangent. Hence fixed.
And the 2018 G1.

2018 G1: Let $\Gamma$ be the circumcircle of acute triangle $ABC$. Points $D$ and $E$ are on segments $AB$ and $AC$ respectively such that $AD = AE$. The perpendicular bisectors of $BD$ and $CE$ intersect minor arcs $AB$ and $AC$ of $\Gamma$ at points $F$ and $G$ respectively. Prove that lines $DE$ and $FG$ are either parallel or they are the same line.

Anand is really the best


So that's it for this week's post, hope you have a great week! And see you all in next week's post!
Also, do comment if you want a non-geo or geo post. I would probably prefer a non-geo, number-theory post. If geo is requested then I will post the solutions to another 5 of the ISL G1s.

On a side note, I have opened " Anand is the best Fanclub" :P.

Hope you enjoyed it. See you all soon 
Sunaina 💜


Comments

  1. This comment has been removed by the author.

    ReplyDelete
  2. Awesome geos. 2017 G1 was beautiful. 2018 G1 proof without words was really cool. I request you to make a geo post part 2. If you do non-geo, please post some combis.

    ReplyDelete
    Replies
    1. Sure! Regarding combos, I am doing Number theory, but I can try to add nice combo-nt games ( If I am able to solve it). So after I am done with NT, then it's full combo. Also I realised, I don't have a full combo post till now!

      P.S. Thanks for commenting, this is probably the first comment which actually answered the question I asked at the end. It made me quite happy!

      Delete
    2. Yeah, combo-nt games would be a nice choice. If you're doing geos currently, you may make a geo post part 2, after that you may try out combo-nt. That would be really nice.

      Delete
  3. Pro yaar gawd yaar
    You synthetic solved 2016 G1
    I trigbashed the hardest part

    ReplyDelete
  4. 2019 G1 was so disappointing smh lol

    ReplyDelete
    Replies
    1. Yeah kindo of agreed. Undoubtedly the easiest G1!

      Delete
    2. I pretty much found 2011 G1 easy! It's like the idea is pretty common :P

      Delete

Post a Comment

Popular posts from this blog

How to prepare for RMO?

"Let's wait for this exam to get over".. *Proceeds to wait for 2 whole fricking years!  I always wanted to write a book recommendation list, because I have been asked so many times! But then I was always like "Let's wait for this exam to get over" and so on. Why? You see it's pretty embarrassing to write a "How to prepare for RMO/INMO" post and then proceed to "fail" i.e not qualifying.  Okay okay, you might be thinking, "Sunaina you qualified like in 10th grade itself, you will obviously qualify in 11th and 12th grade." No. It's not that easy. Plus you are talking to a very underconfident girl. I have always underestimated myself. And I think that's the worst thing one can do itself. Am I confident about myself now? Definitely not but I am learning not to self-depreciate myself little by little. Okay, I shall write more about it in the next post describing my experience in 3 different camps and 1 program.  So, I got...

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...

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...

Birthday Functional Equations problems

Heyoo!!! Birthday FEs!!!!!! $11$ FEs!! Also I would be posting solutions to RG's FE handout, I am done with 10 prs :P!! Problem: Find all functions $f :\Bbb R \rightarrow \Bbb R$ such that $$2f (x) - 5f (y) = 8, \forall x, y \in \Bbb R$$ Solution: $$2f(x)-5f(y)=8$$ $$\implies 2f(x)-5f(x)=8$$ $$\implies f(x)=\frac{-8}{3}, \text{ a constant function }$$ We did this in Rohan Bhaiya's FE class..Oh btw the EGMO camp is sooo niceee! I am loving it!! It's such a big deal to be able to train and attend the camp with EGMO team members! Problem: Find all functions $f :\Bbb R \rightarrow \Bbb R$ such that $$f (x) + xf (1 -x) = x, \forall x\in \Bbb R.$$ Solution: $$f(x)+xf(1-x)=x$$ $$f(1-x)+(1-x)f(x)=1-x$$ This is actually in the linear equations in two variable form! $$x+ay=a$$ $$y+bx=b$$ Anyways,  $$f(x)+xf(1-x)=x$$ $$xf(1-x)+f(x)(1-x)x=(1-x)x$$ $$ \implies f(x)(x-x^2)-f(x)=-x^2\implies f(x)=\frac{-x^2}{x-x^2-1}=\frac{x^2}{x^2-x+1}$$ But verifying, this doesn't work. Problem: ...

Problems done in August

  Welcome back! So today I will be sharing a few problems which I did last week and some ISLs. Easy ones I guess. Happy September 2021!  Problem[APMO 2018 P1]: Let $ABC$ be a triangle with orthocenter $H$ and let $M$ and $N$ denote the midpoints of ${AB}$ and ${AC}$. Assume $H$ lies inside quadrilateral $BMNC$, and the circumcircles of $\triangle BMH$ and $\triangle CNH$ are tangent. The line through $H$ parallel to ${BC}$ intersects $(BMH)$ and $(CNH)$ again at $K$, $L$ respectively. Let $F = {MK} \cap {NL}$, and let $J$ denote the incenter of $\triangle MHN$. Prove that $FJ = FA$. Proof:  By angle chase, we get $\angle FKL=\angle FLK.$    Hence $KL||MN\implies FM=FN.$   And we get $\angle MFN=2A\implies F$ is circumcentre if $(AMN)\implies FA=FM=FN.$   And we get $\angle MHN=180-2A$    Hence $MFHN$ is cyclic.    By fact 5, $ME=FJ=FN\implies FJ=FA.$ Problem[Shortlist 2007 G3]: Let $ABCD$ be a trapezoid whose diagonals meet at $P$....

Some NMTC sub-junior level Problems

Well.. Many people don't know but I was a part of STEM's Horizon ( Now, I have left them due to boards etc.) BTW STEM's Horizons is really great! And anyone interested in Olympiad math should join it! More info about it in below (make sure to check it out!). So here are some problems I sent to them. They are fairly easy, and most of them are repetitive ideas. But they are my first sets of problems ( I know UMO was there but still..) The solutions will be posted in another blog posts. You guys can type out sols in the comments sections too :) Problems:- 1. What is maximum possible number dividing  $x^2+x+1$ and $x^5 +x^4 +x^3 + 3x^2 +2 x +4$ for all $x\in \Bbb{N}$ 2. Let $P$ be the sum of all $x$ and $y$ satisfying $45^x-2^x=2021^y.$ What is the last two digits of $p^2+p+1.$ 3. What is the greatest value of $r$ such that $3^r$ is factor of $10^{2022}-8^{674}$. 4. Find all possible tuples $ (x,y,l)$ such that $\frac{x}{100}=\frac{20}{y}=\frac{5}{l}.$ 5. Consider the following...

Problems with meeting people!

Yeah, I did some problems and here are a few of them! I hope you guys try them! Putnam, 2018 B3 Find all positive integers $n < 10^{100}$ for which simultaneously $n$ divides $2^n$, $n-1$ divides $2^n - 1$, and $n-2$ divides $2^n - 2$. Proof We have $$n|2^n\implies n=2^a\implies 2^a-1|2^n-1\implies a|n\implies a=2^b$$ $$\implies 2^{2^b}-2|2^{2^a}-2\implies 2^b-1|2^a-1\implies b|a\implies b=2^c.$$ Then simply bounding. USAMO 1987 Determine all solutions in non-zero integers $a$ and $b$ of the equation $$(a^2+b)(a+b^2) = (a-b)^3.$$ Proof We get $$ 2b^2+(a^2-3a)b+(a+3a^2)=0\implies b = \frac{3a-a^2\pm\sqrt{a^4-6a^3-15a^2-8a}}{4}$$ $$\implies a^4-6a^3-15a^2-8a=a(a-8)(a+1)^2\text{ a perfect square}$$ $$\implies a(a-8)=k^2\implies a^2-8a-k^2=0\implies \implies a=\frac{8\pm\sqrt{64+4k^2}}{2}=4\pm\sqrt{16+k^2}. $$ $$ 16+k^2=m^2\implies (m-k)(m+k)=16.$$ Now just bash. USAMO 1988 Suppose that the set $\{1,2,\cdots, 1998\}$ has been partitioned into disjoint pairs $\{a_i,b_i\}$ ($1...

Just spam combo problems cause why not

This post is mainly for Rohan Bhaiya. He gave me/EGMO contestants a lot and lots of problems. Here are solutions to a very few of them.  To Rohan Bhaiya: I just wrote the sketch/proofs here cause why not :P. I did a few more extra problems so yeah.  I sort of sorted the problems into different sub-areas, but it's just better to try all of them! I did try some more combo problems outside this but I tried them in my tablet and worked there itself. So latexing was tough. Algorithms  "Just find the algorithm" they said and they died.  References:  Algorithms Pset by Abhay Bestrapalli Algorithms by Cody Johnson Problem1: Suppose the positive integer $n$ is odd. First Al writes the numbers $1, 2,\dots, 2n$ on the blackboard. Then he picks any two numbers $a, b$ erases them, and writes, instead, $|a - b|$. Prove that an odd number will remain at the end.  Proof: Well, we go $\mod 2$. Note that $$|a-b|\equiv a+b\mod 2\implies \text{ the final number is }1+2+\dots ...

Orders and Primitive roots

 Theory  We know what Fermat's little theorem states. If $p$ is a prime number, then for any integer $a$, the number $a^p − a$ is an integer multiple of $p$. In the notation of modular arithmetic, this is expressed as \[a^{p}\equiv a{\pmod {p}}.\] So, essentially, for every $(a,m)=1$, ${a}^{\phi (m)}\equiv 1 \pmod {m}$. But $\phi (m)$ isn't necessarily the smallest exponent. For example, we know $4^{12}\equiv 1\mod 13$ but so is $4^6$. So, we care about the "smallest" exponent $d$ such that $a^d\equiv 1\mod m$ given $(a,m)=1$.  Orders Given a prime $p$, the order of an integer $a$ modulo $p$, $p\nmid a$, is the smallest positive integer $d$, such that $a^d \equiv 1 \pmod p$. This is denoted $\text{ord}_p(a) = d$. If $p$ is a primes and $p\nmid a$, let $d$ be order of $a$ mod $p$. Then $a^n\equiv 1\pmod p\implies d|n$. Let $n=pd+r, r\ll d$. Which implies $a^r\equiv 1\pmod p.$ But $d$ is the smallest natural number. So $r=0$. So $d|n$. Show that $n$ divid...

IMO Shortlist 2022 C1

  Today we shall try IMO Shortlist $2022$ C1. A $\pm 1$-sequence is a sequence of $2022$ numbers $a_1, \ldots, a_{2022},$ each equal to either $+1$ or $-1$. Determine the largest $C$ so that, for any $\pm 1$-sequence, there exists an integer $k$ and indices $1 \le t_1 < \ldots < t_k \le 2022$ so that $t_{i+1} - t_i \le 2$ for all $i$, and$$\left| \sum_{i = 1}^{k} a_{t_i} \right| \ge C.$$ We claim that the answer is $\boxed{506}$. $506$ is the upper bound. Just consider the sequence $$+1,-1,-1,+1,+1,-1,-1,+1\dots,-1,-1,+1,+1,-1.$$ Here $1, -1, -1, 1$ is repeated $505$ times and $1,-1$ is concatted to it. Now,our sequence would be $a_1,a_3,a_4,a_5,a_7,\dots$ which on summing would give $506$. And clearly, this would give the upper bound. Now, we show that $506$ is attainable by every sequence. WLOG there are at least $1011$ positive numbers in the sequence. Then we choose $+1$ whenever we can. Let the sequence be $c_1,b_1,\dots, c_n,b_n$ where $c_i$ are ...