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

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

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 ...
2 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...
11 comments
Read more

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...
1 comment
Read more

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...
4 comments
Read more

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

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