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

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

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

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

Symmetric Polynomials #week 6

Well... I haven't seen much symmetric polynomials in Olympiads, but still I am learning, because I found them cute. And I am basically using this blog as my notes :P What are symmetric polynomials?  One can understand this with  examples. If we are considering over 3 variables, $x_1,x_2,x_3$ then  $$\sum_{sym}x_1^2\cdot x_2^3\cdot x_3=x_1^2\cdot x_2^3\cdot x_3+x_1^2\cdot x_3^3\cdot x_2+x_2^2\cdot x_1^3\cdot x_3+x_2^2\cdot x_3^3\cdot x_1+x_3^2\cdot x_1^3\cdot x_2.$$ See? $3!$ terms! Let's take one more example with again over 3 variables, $x_1,x_2,x_3$ then $$\sum_{sym}x_1^2\cdot x_2^2= x_1^2\cdot x_2^2+x_1^2\cdot x_3^2+x_2^2\cdot x_1^2+x_2^2\cdot x_3^2+x_3^2\cdot x_1^2+x_3^2\cdot x_2^2$$ Wait.. why 2 times ? So basically what happens in symmetrictric sums, is we go through all $n!$ possible permutations. So, here we have $a^2\cdot b^2\cdot c^0$ as like the "general" form type, right? Now, list down all the $3!=6$ permutations of $x_1,x_2,x_3$, and put them in the gene...
3 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!). A Better Mathematician  Well, technically a theoretical computer scientist.  I am so grateful to be allowed to study at CMI where I can interact with so many brilliant professors, access the beautiful library and obviously discuss mathematics ( sometimes non math too ) with the students.    And this year, I want to learn more mathematics and clear my fundamentals. I have become much worse in math actually. And hopefully, read some research papers too :)  And discuss a lot of mathematics with other people.  However, with that whole depressing 2024 year, I have lost a lot of my confidence in mathematics. And to be a better mathematician, I should gain the confidence that I can be a mathematician. And well, I am working on...
6 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...
2 comments
Read more

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

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

Some Geometry Problems for everyone to try!

 These problems are INMO~ish level. So trying this would be a good practice for INMO!  Let $ABCD$ be a quadrilateral. Let $M,N,P,Q$ be the midpoints of sides $AB,BC,CD,DA$. Prove that $MNPQ$ is a parallelogram. Consider $\Delta ABD$ and $\Delta BDC$ .Note that $NP||BD||MQ$. Similarly, $NM||AC||PQ$. Hence the parallelogram. In $\Delta ABC$, $\angle A$ be right. Let $D$ be the foot of the altitude from $A$ onto $BC$. Prove that $AD^2=BD\cdot CD$. Note that $\Delta ADB\sim \Delta CDA$. So by similarity, we have $$\frac{AD}{BD}=\frac{CD}{AD}.$$ In $\Delta ABC$, $\angle A$ be right. Let $D$ be the foot of the altitude from $A$ onto $BC$. Prove that $AD^2=BD\cdot CD$. Let $D\in CA$, such that $AD = AB$.Note that $BD||AS$. So by the Thales’ Proportionality Theorem, we are done! Given $\Delta ABC$, construct equilateral triangles $\Delta BCD,\Delta CAE,\Delta ABF$ outside of $\Delta ABC$. Prove that $AD=BE=CF$. This is just congruence. N...
3 comments
Read more