Skip to main content

TOP 10 problems of Week#1

This week was full Geo and NT 😊 .

Do try all problems first!! And if you guys get any nice solutions , do post in the comments section!

Here are the walkthroughs of this week's top 5 geo problems!

5th position (PUMac 2009 G8): Consider $\Delta ABC$ and a point $M$ in its interior so that $\angle MAB = 10^{\circ}, \angle MBA = 20^{\circ}, \angle MCA =30^{\circ}$ and $\angle MAC = 40^{\circ}$. What is $\angle MBC$? 

Walkthrough: a. Take $D$ as a point on $CM$ such that $\angle DAC=30^{\circ}$, and define $BD\cap AC=E$ . So $\Delta DAC$ is isosceles .

b. Show M is the incentre of $\Delta ABD$

c. Show $\angle EDC=60^{\circ}$

d. Show $\Delta BAC$ is isosceles .

e. So $\boxed{\angle MBC=60^{\circ}}$


4th position (IMO SL 2000 G4): Let $ A_1A_2 \ldots A_n$ be a convex polygon, $ n \geq 4.$ Prove that $ A_1A_2 \ldots A_n$ is cyclic if and only if to each vertex $ A_j$ one can assign a pair $ (b_j, c_j)$ of real numbers, $ j = 1, 2, \ldots, n,$ so that $ A_iA_j = b_jc_i - b_ic_j$ for all $ i, j$ with $ 1 \leq i < j \leq n.$

Walkthrough : Thanks to crystal1011 :)

a. Ptolemy is OP for both the cases

b. For the case where real numbers exists; prove it by ptolemy !

c. For the other case , we need to find one construction, find one!

d. $b_2=A_1A_2, c_1=1,b_1=0,c_2=0 $ . What can you say about $b_j$ and $c_j$?

e. Find about $b_j$ using formula on $A_1A_j$ and $c_j$ using formula on $A_2A_j$.

f. verify by ptolemy!

3rd position (AIME 2010 I P15):In $ \triangle{ABC}$ with $ AB = 12$, $ BC = 13$, and $ AC = 15$, let $ M$ be a point on $ \overline{AC}$ such that the incircles of $ \triangle{ABM}$ and $ \triangle{BCM}$ have equal radii. Let $ p$ and $ q$ be positive relatively prime integers such that $ \tfrac{AM}{CM} = \tfrac{p}{q}$. Find $ p + q$.

Walkthrough:  I kept it in 3rd position, not because it's cute or anything, I just want the people to go through the lethal pain I went through while solving this!

a. Denote $I_1,I_2$ as the centres and $D_1, D_2$ as the touch points. Let $AM=2x, CM=15-2x, BM=2y$

b. Use formula $ r = \sqrt {\frac {(s - a)(s - b)(s - c)}{s}}$ to get 2 equations. $(6+y-x)(x+6-y)= (-x+y+1)(x+y+6)$

c. The equations should be $r^2=\frac {(x+y-6)(6+y-x)(x+6-y)}{x+y+c}$ and $r^2=\frac{(x+y-1)(-x+14-y)(y+1-x)}{-x+y+14}$

d. Show $r^2=MD_1\cdot MD_2$ using the fact $\Delta MD_1I_1\sim \Delta ID_2M$.

e. Now we need to solve these equations, which I suffered 'cause I did a lot of sillies, anyways we get $(6+y-x)(x+6-y)= (-x+y+1)(x+y+6)$ 

$\implies -x^2+2xy-y^2+36=-x^2-5x+y^2+7y+6$ 

$ \implies 2y^2+7y-2xy-5x-30=0$ .

 Similarly $(x+y-1)(-x+14-y)=(x+y-6)(-x+y+14)$ 

$\implies -x^2-2xy+15x-y^2+15y-14=-x^2+20x+y^2+8y-84$ 

$\implies 2y^2 -7y+2xy+5x-70=0 $

f. Now it's trivial , and we get $\boxed{y=5}$. Find rest on your own :P.

2nd position (AIME II 2016/10): Triangle $ABC$ is inscribed in circle $\omega$. Points $P$ and $Q$ are on side $\overline{AB}$ with $AP<AQ$. Rays $CP$ and $CQ$ meet $\omega$ again at $S$ and $T$ (other than $C$), respectively. If $AP=4,PQ=3,QB=6,BT=5,$ and $AS=7$, then $ST=\frac{m}{n}$, where $m$ and $n$ are relatively prime positive integers. Find $m+n$ 

Walkthrough: Thanks to Crystal1011

a. Project through $C$ and notice  $ (A,Q;P,B)=(A,T;S,B) $ . Done!

1st Position (USAJMO 2016 P5): Let $\triangle ABC$ be an acute triangle, with $O$ as its circumcenter. Point $H$ is the foot of the perpendicular from $A$ to line $\overleftrightarrow{BC}$, and points $P$ and $Q$ are the feet of the perpendiculars from $H$ to the lines $\overleftrightarrow{AB}$ and $\overleftrightarrow{AC}$, respectively.

Given that$$AH^2=2\cdot AO^2,$$prove that the points $O,P,$ and $Q$ are collinear.

Walkthrough: a. $2AO^2$ looks nice.. introduce antipode of $A$(say $A'$)

b. invert wrt $A$ with radius $AH$.

c. Note that $O\rightarrow A', P\rightarrow B, Q\rightarrow C$. Conclude!


Next are the walkthroughs of this week's top 5 Number theory problems!

5th position(IMO 2009/1): Let $ n$ be a positive integer and let $ a_1,a_2,a_3,\ldots,a_k$ $ ( k\ge 2)$ be distinct integers in the set $ { 1,2,\ldots,n}$ such that $ n$ divides $ a_i(a_{i + 1} - 1)$ for $ i = 1,2,\ldots,k - 1$. Prove that $ n$ does not divide $ a_k(a_1 - 1).$

Walkthrough: a. For the sake of contradiction assume $n|a_k(a_1 - 1).$ 

b. Note that $a_ia_{i+1} \equiv a_i \pmod n\text{ for }i=1,2, \dots , k-1.$

c. Show $ a_1 \equiv a_1a_2a_3\cdots a_k \pmod n. $

d. So $a_1\equiv a_2 \pmod n$. contradiction

4th position (HMMT Feb 2017 NT): Find all pairs of positive integers $(a, b)$ for which $ab$

divides $a^{2017} + b.$

Walkthrough: a. Since $ab|a^{2017} + b \implies a|b $ . So let $b=b_1a$

b. Again we get $a^2b_1|a^{2017} + ab_1 \implies a|b_1 $. So let $b_1=b_2a$ , and the process continues .

c. Finally show $ab_{2017}|1+b_{2017}$

d. Hence $a=1,2 $ . 

e. Conclude using the fact that $b|a^{2017}$

3rd position (IMO 2013 N1): Let $\mathbb{Z} _{>0}$ be the set of positive integers. Find all functions $f: \mathbb{Z} _{>0}\rightarrow \mathbb{Z} _{>0}$ such that

$$ m^2 + f(n) \mid mf(m) +n $$

for all positive integers $m$ and $n$.

Walkthrough: Part b and c are useless TBH.

 a. take $P(n,n)$ and show $n\leq f(n)$ (for $n>1$)

b. with $P(x,1)$, where $f(1)=x$ ,show that $1=f(1)$ 

c. with $P(2,2)$, show that $f(2)=2$.

d. with $P(2,x)$, show that $f(x)\le x$, so $f(x)=x$

2nd position (IMO ShortList 2004, number theory problem 3):Find all functions $ f: \mathbb{N^{*}}\to \mathbb{N^{*}}$ satisfying

$ \left(f^{2}\left(m\right)+f\left(n\right)\right) \mid \left(m^{2}+n\right)^{2}$

for any two positive integers $ m$ and $ n$.

Walkthrough: a. take $P(1,1)$ and show $f(1)=1$

b. take $P(1,p-1)$ for prime $p$ , show $f(p-1)=p-1$ or $p(p-1) $

c.take $P(p-1,1)$ , show that if $f(p-1)=p(p-1)$ then $(p(p-1))^2 +1 \leq (p^2 - 2p + 2)^2 $ . which is not possible for large $p$. So $f(p-1)=p-1$.

d. take $P(x,n)$ , where x is a  very large number of the form $p-1 $. 

e. Show that $x^2+f(n)|(f(n)-n)^2 \implies f(n)=n$

1st position(APMO 2009/P4): Prove that for any positive integer $ k$, there exists an arithmetic sequence $ \frac{a_1}{b_1}, \frac{a_2}{b_2}, \frac{a_3}{b_3}, ... ,\frac{a_k}{b_k}$ of rational numbers, where $ a_i, b_i$ are relatively prime positive integers for each $ i = 1,2,...,k$ such that the positive integers $ a_1, b_1, a_2, b_2, ...,  a_k, b_k$ are all distinct.

Walkthrough: Credits to anser and SnowPanda . This very intuitive problem, and in my opinion, walkthrough won't be that good.

a. try to introduce $k!$ as denominator.  What about $\frac{1}{k!}, \frac{2}{k!},\dots \frac{k}{k!}$ ? This does form an AM sequence and we can reduce it to lowest form too , but this doesn't ensure that the  numerators and denominators will be different. 

b. One way to ensure this is multiply some large $p$ ( should be greater than $k$). 

c. Still $\frac{p}{k!},\frac{ p}{(k!/2)}, ..., \frac{p }{(k!/k)}$ doesn't satisfy all the a_i's to be different 

d. So what about  $\frac{p(k! + 1)}{k!},\frac{ p(k!/2 + 1)}{(k!/2)}, ..., \frac{p(k!/k + 1)}{(k!/k)}$ for some very large prime $p$ ? Show that this works!

So these were my top 10 ! I personally loved the 1st position geo problem 😊. It was first giving so bad computational vibes, but it turned out to be so good! 

What are your top 10s, do write in the comments section (at least write something ! I will be happy to hear your comments ). Follow this blog if you want to see more contest math problems! See you all soon 😊.

---

I also compiled them in a pdf here https://drive.google.com/file/d/1OB-lFxxPDP_SbaK4yy0k8lTGYiE1_y9G/view?usp=sharing

Sunaina 💜




Comments

  1. Oh computational geo ;( :(

    The NT are nice though :D

    ReplyDelete
  2. Idea of walkthroughs is awesome! Also, nice problem selection!

    About G3, a (kind of) synthetic solution was posted here

    ReplyDelete
    Replies
    1. Huh... idk why that hyperlink is not working...anyway: https://artofproblemsolving.com/community/c5h338911p7778627

      Delete
  3. This comment has been removed by the author.

    ReplyDelete
    Replies
    1. This comment has been removed by the author.

      Delete
  4. A suggestion I have with me, If possible please upload diagrams didi like you can make it in geogebra and take a screenshot from their, no need to draw.

    ReplyDelete
    Replies
    1. Oh so, I prefer drawing over ggb 'cause ggb is hanikarak for oly people

      Delete
    2. yeah i also try to avoid ggb as due to it i failed to draw a nice diagram in INMO 2022 P1 and nice construction is always a merit

      Delete

Post a Comment

Popular posts from this blog

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

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

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

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

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

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

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

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