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

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

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

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

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

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

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

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

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

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