Skip to main content

Recurrence relations + Christmas Blog

 Hey everyone! Welcome back to my blog! Today's topic is Recurrence relations! 

The handouts/ books I have referred to are GRAMOLY's recurrence in combinatorics, Recursion in the AIME , Combinatorics: A problem-oriented approach and principles and techniques in Combinatorics.

Recursion is as cute as a rabbit ( not really)


Here are my notes!

Recurrence Relation: A recurrence relation is a formula or rule by which each term of a sequence can be determined using one or more of the earlier terms.


Problem 1: For each of the following sequences find a recurrence pattern.
a. $1,10,100,\dots $

b. $1,3,6,10,\dots $

c. $1,2,6,24,120,\dots $

d. $1,1,2,3,5,8,13,\dots$

e. $0,1,9,44, 265, \dots $

Solution: 

a. $$a_n=10\cdot a_{n-1}$$

b. $$a_n=a_{n-1}+n$$

c. $$a_n=n\cdot a_{n-1}$$

d. This is the Fibonacci sequence. We have $$F_0=1,F_1=1, F_2=2,\dots F_n=F_{n-1}+F_{n-2}$$

e. This is the derangement number. We have $$ D_n= n \cdot D_{n-1}+(-1)^n.$$ We also have $$D_n=(n-1)(D_{n-1}+D_{n-2})$$

The Stamp problem: 

Suppose we have $1,2,5$ stamps. The problem is to find the number of ways these can be arranged in a row so that they can add up to a give value $n.$

Solution: Let $a_n$ be the number of ways the stamp can add up to $n.$

Then we have three cases considering the value of the last stamp. 

Case 1: If the last stamp is $1$. Then the total value of the remaining stamps must be $n-1.$ Therefore the number of ways in which these remaining stamps can be selected is $a_{n-1}.$

Case 2: If the last stamp is $2$. Then the total value of the remaining stamps must be $n-2.$ Therefore the number of ways in which these remaining stamps can be selected is $a_{n-2}.$

Case 3: If the last stamp is $5$. Then the total value of the remaining stamps must be $n-5.$ Therefore the number of ways in which these remaining stamps can be selected is $a_{n-5}.$

So $$ \boxed{a_n=a_{n-1}+a_{n-2}+a_{n-5}}$$

Word with no two consecutive As :

Find the number of $n$ letter of letter words using letters from the set $\{A,B\}$ in which no two consecutive $A$ can appear.

Solution: Let $w_n=$ the number of $n$ letter word satisfying the given condition 

$a_n=$ the number of $n$ letter word ending with $A$

$b_n=$ the number of $n$ letter word ending with $B$

So $w_n=a_n+b_n.$

But note that if the last letter of a word is $A$ then the second last letter of the word is $B.$ So $a_n=b_{n-1}.$

And $$b_n= b_{n-1}+a_{n-1}\implies b_n=w_{n-1}\implies a_n=w_{n-2}$$

So $$\boxed{ w_n= w_{n-1}+w_{n-2}}.$$

Subsets with no two consecutive digits: 

Find the number of subsets of the set of digits $\{0,1,2,\dots, n\}$ such that the subset contains now two consecutive digits.

Solution:  Let $X_n$ denote the subset with highest element $n.$

Here are some  examples

$$X_0=1;\{0\}$$
$$X_1=1; \{1\}$$
$$X_2=2; \{2\}, \{0,2\}$$
$$X_3=3;\{3\},  \{0,3\}, \{1,3\}$$
$$X_4=5; \{4\}, \{0,4\}, \{1,4\},\{2,4\}, \{0,2,4\} $$

Note that $$\boxed{X_n= 1+ X_1+\dots+X_{n-2}}$$

where $1$ is for the single set $\{n\}$ and rest are because $n$ is added to the subset.

Classical Stairs:

There is a $n$ stair staircase, one can climb $1$ or $2$ stairs ($1$ or $2$ steps) at a time, in how many ways he can climb the entire staircase?

Solution: Let $a_n$ denote the number of ways he can climb the $n$ stairs. Then we get two cases considering the last step.

Case 1: If the last step was $1$ stair then he was at $n-1$ staircase. There are $a_{n-1}$ ways to reach the $n-1$th staircase

Case 2: If the last step was $2$ stair, then we previously at $n-2$ th staircase. There are $a_{n-2}$ ways to reach the $n-2$th staircase.

So $$\boxed{a_n=a_{n-1}+a_{n-2}}$$

Tower of Hanoi: 

Given a stack of $n$ disks arranged from largest on the bottom to smallest on top placed on a rod, together with two empty rods, the tower of Hanoi puzzle asks for the minimum number of moves required to move the stack from one rod to another, where moves are allowed only if they place smaller disks on top of larger disks. 

Solution: The minimum number of moves is $\boxed{2^n-1}.$

Proof: Let the discs be $[1,2,3,\dots, n]$ with $[1]<[2]<\dots<[n].$ Denote $A_n$ as the number of moves requires to move discs $[1,2,3,\dots, n].$

Also let's name the rods as $A, B, C.$

Claim: we need atleast require  $2\cdot A_{n-1}+1$ moves.

Proof: Now, consider the step when we keep disk $[n]$ from some rod $X$ to rod $C.$ This will require us $1$ move. Also during this move the $[n-1]$ discs must be in rod other than $X$ and $C.$ ( arranging the $[n-1]$ discs would have took us at least $A_{n-1}$) And then to bring back the $n-1$ disks back to rod $C$ would have took us at least another $A_{n-1}$ moves.

So we know that the required moves is $\ge 2\cdot A_{n-1}+1.$

Claim: $2\cdot A_{n-1}+1$ works

Proof: We shift the $[1,2,\dots , n-1]$ disc from $A$ to $B$ which will be done in $A_{n-1}$ moves, shift $[n]$ from $A$ to $C$ in one move and then shift $[1,2,\dots , n-1]$ disc from $B$ to $C$   in $A_{n-1}$ moves.

So $$ A_n= 2\cdot A_{n-1}+1.$$

Another way of proving the bound was just strong induction.

We have $A_1= 1, A_2=3, A_3=7, \dots$ and by induction we get $\boxed{A_n=2^n-1}.$

Okay, now we should know how to "solve" linear recurrence relations..

Open and closed Brackets: 

How many ways are there to arrange $n$ open brackets ”[” and $n$ closed brackets ”]” such that when read left to right, the number of closed brackets is less than or equal to the number of open brackets?

Solution: The answer is the Catalan number.

Let $C_n$ denote the number of ways.  

Let us consider  the sequence of closed and open brackets as $a_1,a_2,\dots a_{2n}$ where $a_i $ is either $[, ]$ 

Let $f(j)$ denote the number of [ which are there in the sequence from $a_1,\dots ,a_i$ and $g(j)$ denote the number of ] which are there in the sequence from $a_1,\dots ,a_i.$

Now we consider cases. At first, we have $f(1)>g(1)$ but at the end of the sequence, we have $f(2n)=g(2n).$ So there would be an index $k$ where $f(k)=g(k).$ Note that in this index our first open bracket will complete.

So we have the sequence of the form $$ [A]B$$

Now, both $A$ and $B$ also have to balance and can max contain $n-1$ pairs inside.

So $$C_n=\boxed{C_0\cdot C_{n-1}+C_1\cdot C_{n-2}+C_3\cdot C_{n-4}+\dots + C_{n-1}\cdot C_0}$$

Also, we have $$\boxed{C_n=  \frac{1}{n+1}\binom{2n}{n}}$$

Dominoe tiling:

How many ways are there to fill in a $ 2 \times n$  grid with $1 \times 2$ or $ 2\times 1$ dominos?

Solution:  Now we consider the last $2 x 1$ cell. We consider in what ways we can tile. Denote $T_n$ as the number of ways to tile. We consider cases.









So we get $$ \boxed{T_n=T_{n-1}+T_{n-2}}$$



Linear Recurrence:  A linear recurrence


is a recurrence relation where $a_n$ is expressed as a linear combination of previous terms of the sequence.

Wait what about other non-linear recurrence relations? It's hopeless to solve them :) 

Also, a recurrence relation is homogeneous if it doesn’t contain any constant terms. Else, not homogeneous.


So a linear homogeneous recurrence is $$c_0a_n+c_1a_{n-1}+\dots +c_ra_{n-r}=0$$

The  characteristic equation  of the recurrence is $$c_0x^r+c_1x^{r-1}+\dots +c_r=0$$

If $\alpha_1,\dots \alpha_r$ are the distinct roots then $$ a_n= A_1(\alpha_1)^n+A_2(\alpha_2)^n+\dots +A_r(\alpha_r)^n$$

What about repetitions?



So for two-degree equation whose root repeat we get,

$$a_n= (A+Bn)r^n$$


Solving Fibonacci: 

We have to solve the recurrence $$a_n-a_{n-1}-a_{n-2}=0$$

So the characteristic equation is $$ x^2-x-1=0$$

and it's roots are $$ \alpha_1=\frac{1+\sqrt{5}}{2}$$ and $$\alpha_2=\frac{1-\sqrt{5}}{2}$$ 

Hence $$ a_n= A\Big(\frac{1+\sqrt{5}}{2}\Big)^n+B\Big(\frac{1-\sqrt{5}}{2}\Big)^n$$

Since $$a_0=a_1=1\implies A+B=1, A\Big(\frac{1+\sqrt{5}}{2}\Big)+B\Big(\frac{1-\sqrt{5}}{2}\Big)=1$$

Solving gives us $$A= \frac{1+\sqrt{5}}{2\sqrt{5}}, B=\frac{-1+\sqrt{5}}{2\sqrt{5}}$$

So $$a_n= \frac{1}{\sqrt{5}}\Big[ \Big(\frac{1+\sqrt{5}}{2}\Big)^{n+1}-\Big(\frac{1-\sqrt{5}}{2}\Big)^{n+1}\Big]$$


Another example: 

Find solution to the recurrence relation $$ a_n=3a_{n-1}+4a_{n-2}$$ with $a_0=2, a_1=3.$

Solution: We have $x^2-3x-4=0\implies (x-4)(x+1)=0$

So $$a_n=A\cdot 4^n+B\cdot (-1)^n$$
So $$a_0=2\implies A+B=2$$

$$a_1=3\implies 4a-B=3$$

$$\implies A=1,B=1$$

Hence $$a_n= 4^n+(-1)^n$$

Olympiad Problems:

Problem [India postal 2006]: Consider the set $A = \{1, 2, 3, ..., 2008\}$. We say that a set is of type $r, r \in \{0, 1, 2\}$, if that set is a nonempty subset of $A$ and the sum of its elements gives the remainder $r$ when divided by $3$. Denote by $X_r, r \in \{0, 1, 2\}$ the class of sets of type $r$. Determine which of the classes $X_r, r \in \{0, 1, 2\}$, is the largest.

Proof: Consider set $B=\{1,2,\dots , 3k\}, k>1.$

Claim 1:$X_0$ is the largest for set $B.$

We can say by symmetry, $|X_1|=|X_2|.$ And we can show this by induction on $k.$ 

For base case take $k=2,$ we get $|X_1|=|X_2|=2$ and $|X_3|=3.$ So $X_3 $ is largest. Now if we add $\{4,5,6\}, $ we will get previous set using only 

$E=\{1,2,3\}$  , sets  using only $F=\{4,1,2,3\}$ , sets  using only $G=\{5,1,2,3\}$ ,sets  using only $H=\{6,1,2,3\}$, sets  using only $I=\{4,5,1,2,3\}$,  sets  using only $J=\{4,6,1,2,3\}$,  sets  using only $K=\{5,6,1,2,3\}$,  sets  using only $L=\{4,5,6,1,2,3\}.$

For now sets $F,G,H,I,J,K,L$ will use at least two elements from there sets with $F$ must having $4$, $G$ having $5$, and so on.

Now initially we has $X_1=2,X_2=2, X_3=3$ . Now if we see sets, $\{4\},\{5\},\{6\},\{4,5\},\{4,6\}, \{5,6\}.$ Now $X_1=3,X_2=3,X_3=5.$

Now set $E's$ all non empty subset ahs been counted. Now consider set $F.$ Since $F's $ subsets will must have $4,$ it's same as having $E's$ subsets, but everything shifting to $1\mod 3,$ hence it will have $X_1=3,X_2=2,X_3=2.$

Similarly Since $G's $ subsets will must have $5,$ it's same as having $E's$ subsets, but everything shifting to $2\mod 3,$ hence it will have $X_1=2,X_2=3,X_3=2.$

And so on.. adding we get $X_1=20,X_2=20,X_3=23.$ For set $\{1,2,3,4,5,6\}.$

Now for $\{1,2,3,4,5,6,7,8,9\}, $ we will have $X_3$ and infact by this method, we get $|X_3| - |X_1|=2\cdot 3+1=7.$

For $\{1,2,3,4,5,6,7,8,9,10,11,12\}, $ we will have $X_3$ and  we get $|X_3| - |X_1|=2\cdot 7+1.$

So this forming recurrence stuff. Clearly $K$ grows more, the difference between $X_3$ and $X_1$ grows very much too.

Now consider $C=\{1,2,\cdots,3k,3k+1\},$ It's just the set $B$ but we added ${3k+1}. $ So there are $3$ types of subsets, 

Subset's of $B$, $\{3k+1\}, D=$Subsets must containing $3k+1.$

Claim2: $X_1$  is the largest for $C.$

Now if for $B,$ we have by our claim, $X_1=X_2=a$ and $X_3=b$ and $b>>a.$ 

Again, note that $D's$ subets are just $ B's$ subsets, but everything shifted with $1\mod 3.$ 

So $D's$ contribution to $X_1=b,X_2=a,X_3=a$ and the single set $\{3k+1\} $ contributes $1$ to $X_{1}.$

So for set $C,$ we get $X_1=a+b+1,X_2=a+a,X_3=a+b.$ Hence we get $X_1$ to be the largest. 

Note that $2008=2007+1= 3l+1,$ so by our Claim2, we get $X_1$ to be the largest. And we are done!

Problem[ Modified INMO from Gramoly handout]: For any natural number $n,$ consider a $1 \times n$ rectangular board made up of n unit squares. This is covered by $3$ types of tiles : $1 \times 1$ red tile, $1 \times 1$ green tile and $1 ×\times 2$ domino. Let $T_n$ denote the number of ways of covering $1 \times n$ rectangular board by these $3$ types of tiles. Find a recursion for $T_n$

Proof: Clearly, $$T_n=2\cdot T_{n-1}+ T_{n-2}.$$
Solving, we $$x^2-2x+1=0 \implies a_n= A(1+\sqrt{2})^n+B(1-\sqrt{2})^n$$

Then $$a_1=2, a_2 =3\implies A+B=2, A-B=\frac{3}{\sqrt{2}}$$

Problem [2018 USAJMO]: For each positive integer $n$, find the number of $n$-digit positive integers that satisfy both of the following conditions:

no two consecutive digits are equal, and the last digit is a prime.

Proof: Note that the unit digit can be filled up in $4$ ways and then we can fill up the rest $n-1$ digits in $9^{n-1}$ ways ( allowing $0$ to be in the first digit). Now, note that the no. of numbers has $0$ in the first place is $a_{n-1}.$

Hence $$4\cdot 9^{n-1}=a_n+a_{n-1}\implies a_n+a_{n-1}= \frac{ a_n+a_{n-1}}{9}$$

$$\implies 8a_{n-1}+9a_{n-2}=a_n$$ And $a_1=4, a_2=32$

Solving we get $$x^2-8x-9=0\implies \alpha_1= -1, \alpha_2=9 \implies a_n= A(-1)^n+B(9)^n$$

$$ \implies A=\frac{-2}{5}, B=\frac{2}{5}$$

So $$\boxed{a_n=\frac{2}{5}\left(9^n-(-1)^{n}\right)}$$

Problem[ 2020 C1]: Let $n$ be a positive integer. Find the number of permutations $a_1$, $a_2$, $\dots a_n$ of the sequence $1$, $2$, $\dots$ , $n$ satisfying

$$a_1 \le 2a_2\le 3a_3 \le \dots \le na_n$$

Proof: Let $F_0=1,F_1=1,F_2=2, F_n=F_{n-1}+F_{n-2}.$ We claim that the number of permutation is $F_n.$ 
We use strong induction. For $n=1$ it is true. For $n=2$ we get $(1,2)$ and $(2,1).$

Claim:  $k+1$ is $a_k$ or $a_{k+1}$ in a valid permutation

Proof: If not then let $k+1$ be $a_y.$ Then let $y$ be $a_i.$ Also $i\cdot y\le (k+1) y$ for any $i.$

So $i \le y.$ Hence by PHP, there is a number $x<y$ which is $a_j$ and $j>y.$ But then we must have $j\cdot x\ge (k+1) y$ which is false. A contradiction.

So $k+1$ is $a_k$ or $a_{k+1}.$

Case 1: If $k+1$ is $a_{k+1}$ then by induction, we have $F_k$ valid permutaion.

Case 2: If $k+1$ is $a_{k}$ then $a_{k+1}$ must be $k,$ then by induction, we have $F_{k-1}$ valid permuations.

So $$\boxed{F_{k+1}=F_k+F_{k-1}}.$$

Yayy!! That's it for today's recurrence blog post!! There will be a sequel of harder problems ( I asked Rohan bhaiya to send some handouts, which he did and the problems look hard)! 

Also a short Christmas blog :P

So I had an appointment with the dentist ( cause I have braces). So, we went for a regular checkup. After the check-up, we went to Rudrakh mall which has my favourite shop in Guwahati! MUMUSO!! It has so cute stationery items :pleading: and as always I bought so cute stuff. Although, my mom always says the items are just useless -_-..

I bought these paper clips.. They are so cute!

After Mumuso, Suhan played a virtual reality cricket game, where he lost terribly :P And then we realised Pantaloons had sale! My mom after hearing the word "sale" turned into Sinchan's mom 😂

The sale was " Buy 5000+ rupees cloth,  get 5000 rupee cloth for free." And boom! We spent 3 hours buying clothes 😇. My mom was very proud of herself.

The mall looked so beautiful


After that, we went to dominoes, where I ate my fav food item, Moroccan chicken chunks ( try it!!) 😋

Then we went to a Turkish ice cream stall, where the ice cream maker guy played tricks like not giving Suhan his ice cream ( you know those viral shorts videos?)
And the icre cream was so nice!!


Suhan was looking weird :P

Yeah! That's what we did yesterday! It was quite fun!! I hope you guys are also having fun during this vacation! 


Stay safe
Sunaina 💜



Comments

Popular posts from this blog

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

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

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

INMO Scores and Results

Heya! INMO Results are out! Well, I am now a 3 times IMOTCer :D. Very excited to meet every one of you! My INMO score was exactly 26 with a distribution of 17|0|0|0|0|9, which was a fair grading cause after problem 1, I tried problem 6 next. I was hoping for some partials in problem 4 but didn't get any.  I am so so so excited to meet everyone! Can't believe my olympiad journey is going to end soon..  I thought to continue the improvement table I made last year! ( I would still have to add my EGMO performance and also IMO TST performance too) 2018-2019[ grade 8]:  Cleared PRMO, Cleared RMO[ State rank 4], Wrote INMO 2019-2020[ grade 9]:  Cleared PRMO, Cleared RMO[ State topper], Wrote INMO ( but flopped it) 2020-2021[grade 10]:  Cleared IOQM, Cleared INMO [ Through Girl's Quota] 2021-2022[grade 11]:  Wrote EGMO 2022 TST[ Rank 8], Qualified for IOQM part B directly, Cleared IOQM-B ( i.e INMO) [Through general quota],  2022-2023 [grade 12]:  Wrote E...

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

Reflecting on past

INMO Scores are out!! I am now a two times INMO awardee :) I got 16|0|1, so 17 in total! Yes, 16 in P1 T_T. I was thinking I would lose marks because of the way I wrote.  Lemme tell ya'll what happened that day but first I should share a few thoughts I had before the exam. My thoughts Honestly, my preparation for INMO was bad. In fact, I should say I didn't work hard at all. As I have said earlier, I had lost all my hopes for INMO and Olympiads as a whole after EGMO TSTs happened.  Art by Jelena Janic EGMO TSTs i.e European Girl's Mathematical Olympiad Team selection Tests 2022.  Literally my thoughts after EGMO TSTs I feel very ashamed to share but I got 1 mark in my EGMO TSTs. Tests in which I literally gave my whole life. I did so many ISLs ( like SO MANY), I mocked EGMO 2021 TST where my score was 28/42 and I perfected Day 2. 1 mark in the TST just showed my true potential. There are way better people than me in olys. A friend even said to me, "If I wouldn't...

Bio is Love..

Adios, everyone! Boards preparation at its peak :(  However, I am not able to study how I used to. Every time I try to study for boards, I just keep thinking much about a topic, stare at the book, jam a song or just start doing procrastination by bookmarking random cute problems in HSO. It's been more than a year I have studied like with a focus on a book. My lappy is being a big distraction tbh. So after INMO score come out, I will just give my lappy for repair and say papa to bring it back home after June 2.  Milk and Mocha I literally am taking 2 days to complete 1 bio chapter, some times even 3. The rate of my "slowness" is probably because I am like every 15 minutes checking discord to see if the INMO scores are out or not. So HBCSE, thank you for keeping me anxious.  Funfact:- we must be grateful that there is an organisation that is conducting these national Olys. There are some countries where no Olys are being conducted. ( Same dialogue which mumma uses, but in p...

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

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

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