Skip to main content

Weird Theorems

Welcome back to this blog.

 Oki it's a new day and I decided to prove some weird theorems/lemmas with weird names. So, you can try proving it too! 

In my list we have, 

  • Sawayama theorem
  • Butterfly Theorem
  • Iran lemma
  • Simon's Trick
  • Chicken McNugget Theorem
  • Pick's theorem
  • Fermat's Christmas Theorem
Sawayama Thebault Theorem: Let $ABC$ be a triangle with circumcircle $\Gamma$ and incenter I. Let $D \in BC.$ Let $\Omega_1$ be the circle tangent to the line segments $DA$ and $DB$ and to the circle $\Gamma$, and let $\Omega_2$ be the circle tangent to the line segments $DA$ and $DC$ and to the circle $\Gamma$. If $O_1$ and $O_2$ are the centres of  $\Omega_1$ and $\Omega_2$, respectively, prove that $O_1 -I -O_2$ are collinear.

Walkthrough: 

  • Note $I\in EF,~~I\in GH$
  • Prove $O_1DO_2=90$
  • $DO_1|| GH$ and $DO_2 || EF.$
  • Since we want to prove that $I \in O_1 O_2 $, let $EF \cap O_1 O_2 = I '$ and let $GH \cap O_1 O_2 = I".$ 
  • $$\frac {O_1I'}{I'O_2}=\frac{O_1X}{DX}, \frac {O_1I''}{O_2I"}=\frac{DY}{O_2Y}$$
  • Note that $$\frac{O_1X}{DX}=\frac{DY}{O_2Y}$$

Butterfly's theorem: Let $M$ be the midpoint of a chord $PQ$ of a circle $\omega,$ through which two other chords $AB$ and $CD$ are drawn. Let $AD \cap PQ = X$ and $BC \cap PQ = Y.$ Prove that $M $ is also the midpoint of $XY.$

Walkthrough: Introduce the midpoint and then drop perps.
Introduce the midpoints of $AD$ and $CB.$
  • Note that $$\frac{AD}{AM}=\frac{CB}{CM}$$
  • So $$\frac{AR}{AM}=\frac{CS}{CM}$$
  • So we have $AMR$ similar to $CMS.$
  • So by cycilcity stuff $\angle MOX=\angle MOY.$
Incenter perpendicularity: The incircle of $\Delta ABC$ is tangent to $BC, CA, AB$ at $D, E, F$ respectively. Let $M_{BC}$ and $M_{AC}$ be the midpoints of $BC$ and $AC.$ If $K$ is the intersection of lines $BI$ and $EF, $ then $BK \perp KC.$ In addition, $K$ lies on line $MN.$




Walkthrough: 
  • Define $K$ as a point on $BI$ such that $BI\cap CK.$ So $I, D, E,K, C$ is cyclic. Now, note that $M_{BC}$ is the centre of the right angle triangle $BKC.$ So $$\angle KM_{BC}C=2\angle IBC=\angle B\implies M_{BC}-M_{AC}-K$$
  • Note that $$\angle EKI=\angle ECI=C/2=\angle (FE,BI)\implies F-E-K$$
Simon's trick: It's pretty famous and the origin of the name is discussed here. Also, Simon is Akshay Venkatesh's student :O

$$ mn+m+n+1= (m+1)(n+1)$$

Yeah, that's it.

The Chicken McNugget Theorem: For any two relatively prime positive integers $m,n$, the greatest integer that cannot be written in the form $am + bn$ for nonnegative integers $a, b$ is $mn-m-n$.

Moreover, exactly $\frac{(m - 1)(n - 1)}{2}$ positive integers which cannot be expressed in the form $am + bn$.

Walkthrough: 

I think the picture is enough :P




Pick's theorem: The area of a lattice  polygon is

$$A = I + \frac{1}{2}B - 1$$

where $I$ is the number of lattice points in the interior and $B$ is the number of lattice points on the boundary.

Proof: Define nice triangles as triangles with no interior points. Clearly nice triangles satisfy the theorem.


 Now, for any arbitrary triangle, we kinda use induction. And consider a point inside the arbitrary triangle ( there exist, else the triangle is a nice triangle). And then find the area of new triangles ( where we can again divide and so on, till we get nice triangles).



Now $$[ABC]=[AOC]+[BOC]+[AOB]$$ 
$$ [AOB]=I_1+\frac{B_1+B_2+B_4}{2}$$
$$ [AOC]=I_2+\frac{B_1+B_3+B_5}{2}$$
$$ [OBC]=I_3+\frac{B_3+B_2+B_6}{2}$$

Now, the boundary points $B_1,B_2,B_3$ are actually the interior point of $ABC.$
So $$[AOC]+[BOC]+[AOB]= I_1+\frac{B_1+B_2+B_4}{2}+I_2+\frac{B_1+B_3+B_5}{2} +I_3+\frac{B_3+B_2+B_6}{2}$$ 
$$= [I_1+I_2+I_3+ B_1+B_2+B_3]+\frac{B_4+B_5+B_6}{2}$$

And then we can divide the polygon into triangles and proceed the same.

Fermat's Christmas Theorem: An odd prime can be written as the sum of two squares iff the prime is $1 \pmod 4.$


Direction1: If the odd prime is $3\pmod 4$ then it can not be written as a sum of two squares.

Proof: Consider $\mod 4,$ an odd square is always $0,1,\mod 4.$

The other direction uses Gaussian integers and more fancy stuff..so I will probably dedicate a whole blogpost on it :P

Moreover, we also have, 

Corollary: If $p$ is an odd prime $p\equiv 3  $ mod $4$ and $p|(x^2+y^2)$ then prove that $p|x$ and $p|y$

Proof: Let $p=4k+3,$ and $p\not\mid x, p\not\mid y,$
$$x^2\equiv -y^2\mod p $$
$$(x^2)^{2k+1}\equiv (-y^2)^{2k+1}\mod p $$
$$(x^2)^{p-1}\equiv -(y^2)^{p-1}\mod p $$
By FLT, we get a contradiction. 


So yeee! That's it for today's blog post! I think the names are very funny :P and proving them was equally fun! Summary of 2021 blog post coming soon :P

See ya soon! ( thanks to Anand, now I too say "ya" instead of "you")
Sunaina💜

Comments

  1. Bandwala pagol chhagolJanuary 2, 2022 at 10:48 PM

    I am.the same commenter from the previous blog post!

    Also Fermats last theorem,Zsigmondy's theorem belong to this category.

    And the most weird one is pascal's theorem other than anything else 😡

    ReplyDelete
  2. IshanviJanuary 9, 2022 at 2:54 PM

    this blog is kinda cute

    ReplyDelete

Post a Comment

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

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

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

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...
Post a Comment
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

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

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

Guess what? I will do class 8 geos ..

Obviously, I have become very rusted. So to unrust me ( oh god, is it unrust ?  I have become so bad in English). Okie wait.. "polish myself." I tried problems from ABJTOG 1.4. Easy ones TBH. Without further ado, here are the problems and solutions I tried. You guys can try too! I can assure you the difficulty is less than class 8. ( or class 7). I didn't try harder problems, because that would take me sometime. I did these in break :P . So yeah.. sorry for so easy  levels. Milk and Mocha  Problem 2 of ABJTOG:-  Let $ABC$ be a triangle and let $M$ be a point on the ray $AB$ beyond $B$ such that $\overline{BM} = \overline{BC}$. Prove that $MC$ is parallel to the angle bisector of $\angle ABC$. Solution :-  Note that$$\angle BMC=\frac{1}{2} \cdot (180-B)= \frac{B}{2}=\frac{1}{2}\angle ABC.$$ Problem 1 of ABJTOG :-  Let $C$ be a point on the line segment $AB$. Let $D$ be a point that doesn’t lie on the line $AB$. Let $M$ and $N$ be points on the angle bisector...
1 comment
Read more

Birthday Functional Equations problems

Heyoo!!! Birthday FEs!!!!!! $11$ FEs!! Also I would be posting solutions to RG's FE handout, I am done with 10 prs :P!! Problem: Find all functions $f :\Bbb R \rightarrow \Bbb R$ such that $$2f (x) - 5f (y) = 8, \forall x, y \in \Bbb R$$ Solution: $$2f(x)-5f(y)=8$$ $$\implies 2f(x)-5f(x)=8$$ $$\implies f(x)=\frac{-8}{3}, \text{ a constant function }$$ We did this in Rohan Bhaiya's FE class..Oh btw the EGMO camp is sooo niceee! I am loving it!! It's such a big deal to be able to train and attend the camp with EGMO team members! Problem: Find all functions $f :\Bbb R \rightarrow \Bbb R$ such that $$f (x) + xf (1 -x) = x, \forall x\in \Bbb R.$$ Solution: $$f(x)+xf(1-x)=x$$ $$f(1-x)+(1-x)f(x)=1-x$$ This is actually in the linear equations in two variable form! $$x+ay=a$$ $$y+bx=b$$ Anyways,  $$f(x)+xf(1-x)=x$$ $$xf(1-x)+f(x)(1-x)x=(1-x)x$$ $$ \implies f(x)(x-x^2)-f(x)=-x^2\implies f(x)=\frac{-x^2}{x-x^2-1}=\frac{x^2}{x^2-x+1}$$ But verifying, this doesn't work. Problem: ...
7 comments
Read more