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

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

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

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

IMO 2023 P2

IMO 2023 P2 Well, IMO 2023 Day 1 problems are out and I thought of trying the geometry problem which was P2.  Problem: Let $ABC$ be an acute-angled triangle with $AB < AC$. Let $\Omega$ be the circumcircle of $ABC$. Let $S$ be the midpoint of the arc $CB$ of $\Omega$ containing $A$. The perpendicular from $A$ to $BC$ meets $BS$ at $D$ and meets $\Omega$ again at $E \neq A$. The line through $D$ parallel to $BC$ meets line $BE$ at $L$. Denote the circumcircle of triangle $BDL$ by $\omega$. Let $\omega$ meet $\Omega$ again at $P \neq B$. Prove that the line tangent to $\omega$ at $P$ meets line $BS$ on the internal angle bisector of $\angle BAC$. Well, here's my proof, but I would rather call this my rough work tbh. There are comments in the end! Proof Define $A'$ as the antipode of $A$. And redefine $P=A'D\cap (ABC)$. Define $L=SP\cap (PDB)$.  Claim1: $L-B-E$ collinear Proof: Note that $$\angle SCA=\angle SCB-\angle ACB=90-A/2-C.$$ So $$\angle SPA=90-A/2-C\implies \ang...

IMO Shortlist 2021 C1

 I am planning to do at least one ISL every day so that I do not lose my Olympiad touch (and also they are fun to think about!). Today, I tried the 2021 IMO shortlist C1.  (2021 ISL C1) Let $S$ be an infinite set of positive integers, such that there exist four pairwise distinct $a,b,c,d \in S$ with $\gcd(a,b) \neq \gcd(c,d)$. Prove that there exist three pairwise distinct $x,y,z \in S$ such that $\gcd(x,y)=\gcd(y,z) \neq \gcd(z,x)$. Suppose not. Then any $3$ elements $x,y,z\in S$ will be $(x,y)=(y,z)=(x,z)$ or $(x,y)\ne (y,z)\ne (x,z)$. There exists an infinite set $T$ such that $\forall x,y\in T,(x,y)=d,$ where $d$ is constant. Fix a random element $a$. Note that $(x,a)|a$. So $(x,a)\le a$.Since there are infinite elements and finite many possibilities for the gcd (atmost $a$). So $\exists$ set $T$ which is infinite such that $\forall b_1,b_2\in T$ $$(a,b_1)=(a,b_2)=d.$$ Note that if $(b_1,b_2)\ne d$ then we get a contradiction as we get a set satisfying the proble...

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

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

Solving Random ISLs And Sharygin Solutions! And INMO happened!!

Some of the ISLs I did before INMO :P  [2005 G3]:  Let $ABCD$ be a parallelogram. A variable line $g$ through the vertex $A$ intersects the rays $BC$ and $DC$ at the points $X$ and $Y$, respectively. Let $K$ and $L$ be the $A$-excenters of the triangles $ABX$ and $ADY$. Show that the angle $\measuredangle KCL$ is independent of the line $g$ Solution: Note that $$\Delta LDK \sim \Delta XBK$$ and $$\Delta ADY\sim \Delta XCY.$$ So we have $$\frac{BK}{DY}=\frac{XK}{LY}$$ and $$\frac{DY}{CY}=\frac{AD}{XC}=\frac{AY}{XY}.$$ Hence $$\frac{BK}{CY}=\frac{AD}{XC}\times \frac{XK}{LY}\implies \frac{BK}{BC}=\frac{CY}{XC}\times \frac{XK}{LY}=\frac{AB}{BC}\times \frac{XK}{LY} $$ $$\frac{AB}{LY}\times \frac{XK}{BK}=\frac{AB}{LY}\times \frac{LY}{DY}=\frac{AB}{DL}$$ $$\implies \Delta CBK\sim \Delta LDK$$ And we are done. We get that $$\angle KCL=360-(\angle ACB+\angle DKC+\angle BCK)=\angle DAB/2 +180-\angle DAB=180-\angle DAB/2$$ Motivation: I took a hint on this. I had other angles but I did...

Some random problems

  I know, I know. Different font indeed. I have deleted a few of my MSE answers. I felt they weren't that good in quality. And a few questions are from my prev aops account which I have deactivated now. I also have posted 10 IOQM types of problems. These can be used while preparing for IOQM. Problem: Prove that $\dfrac{ab}{c^3}+\dfrac{bc}{a^3}+\dfrac{ca}{b^3}> \dfrac{1}{a}+\dfrac{1}{b}+\dfrac{1}{c}$, where $a,b,c$  are different positive real numbers.  Proof: Note that by AM-GM $$\frac{ab}{c^3}+\frac{bc}{a^3}\ge \frac{2b}{ac}$$ and we also have $$\frac {b}{ac}+\frac{c}{ab}\ge \frac{2}{a}$$. Hence, $$\sum_{cyc}\frac{ab}{c^3}\ge\sum_{cyc}\frac{b}{ac}\ge\sum_{cyc}\frac{1}{a}$$ where everything we got is by applying AM-GM on $2$ terms and then dividing by $2$. USA TST 2007: Triangle $ABC$ which is inscribed in circle $\omega$. The tangent lines to $\omega$ at $B$ and $C$ meet at $T$. Point $S$ lies on ray $BC$ such that $AS$ is perpendicular to $AT$. Points $B_1$ and $C_1...

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