Skip to main content

Number Theory is my bias wrecker

Welcome Back to mah blog!

I thought I should revise Number theory and solve problems of IOQM level! 

Also, NT is definitely my bias wrecker ( Kpop term used to describe the second favourite which has huge chances to become your favourite!)

Problem 1 (2019 AMC 12A): For some positive integer $k$, the repeating base-$k$ representation of the (base-ten) fraction $\frac{7}{51}$ is $0.23_k = 0.232323\dots_k .$ What is $k$?

Solution: Note that $$ 0.232323\dots_k= \frac{ 2}{k}+\frac{3}{k^2}+\frac{2}{k^2}+\frac{3}{k^4}\dots$$

$$= \frac{2}{k}+\frac{2}{k^3}+\dots + \frac{3}{k^2}+\frac{3}{k^4}+\dots $$

$$ = \frac{2/k+3/k^2}{1-\frac{1}{k^2}}=\frac{7}{51}\implies k= 16.$$

Problem 2[ AIME 2008 II]: There exist $r$ unique nonnegative integers $n_1 > n_2 > \cdots > n_r$ and $r$ integers $a_k$ ($1\le k\le r$) with each $a_k$ either $1$ or $- 1$ such that $$a_13^{n_1} + a_23^{n_2} + \cdots + a_r3^{n_r} = 2008.$$ Find $n_1 + n_2 + \cdots + n_r$.

Solution: Note that $$\overline{2008}_{10} = \overline{2202101}_{3}.$$ And replacing $$2\cdot 3^k=3^{k+1}-3^k.$$ We get $$2008= 1+3^2-3^3+3^4-3^5+3^6-3^6+3^7=1+3^2-3^3+3^4-3^5+3^7$$

So, we get $\boxed{21}$ as the answer.


Problem 3: Determine the smallest positive integer $n$ which satisfies the congruence

$$n + n^{-1}\equiv 25 \pmod 143.$$

Solution: Note that, $$ \frac{1}{n}+n\equiv 25 \pmod 143 $$

$$ \implies n^2+1-25n\equiv 0\pmod 143$$

$$ \implies n^2+144-25n \equiv 0\pmod 143$$

$$\implies n^2-25n+144=(n-16)(n-9)\pmod 143$$

So $n\le 9,$ also $n<9$ doesn't work. So $n=\boxed{9}.$


Problem 4: Show that there are no integers $a, b, c$ for which $a^2 + b^2 - 8c = 6.$

Proof: Take $mod 8.$

 

Problem 5: Show that $a^{p(p-1)}\equiv 1 \mod p^2$

Proof: It's true by euler's theorem, so let's not use that.

We proceed the same way, we prove euler's theorem :P

$$a\cdot 2a \cdot  3a\dots, p-1\cdot a \cdot  p+1\cdot a \dots (p^2-1) \cdot a \equiv 1\cdot 2\cdot \dots (p^2-1)\mod p^2$$

$$\implies a^{p(p-1}\equiv 1\mod p^2$$ 


Another way is to use the fact that $$a^{p-1}\equiv 1\mod p\implies a^{p-1}\equiv 1, p+1, 2p+1,\dots p(p-1)+1\mod p^2$$ 

So $$a^{p(p-1)}\equiv 1^p, (p+1)^p,\dots , (p(p-1))^p \mod p^2$$

So $$a^{p(p-1)}\equiv 1\mod p^2$$


Problem 6 [ Math prize 2009]: When the integer $ {\left(\sqrt{3} + 5\right)}^{103} - {\left(\sqrt{3} - 5\right)}^{103}$ is divided by 9, what is the remainder?

Solution: Note that $$ {\left(\sqrt{3} + 5\right)}^{103} - {\left(\sqrt{3} - 5\right)}^{103}={\left(\sqrt{3} + 5\right)}^{103}+{\left(5-\sqrt{3} \right)}^{103}$$

$$=2\left( 5^{103}+\binom{103}{2}5^{101}\cdot 3+\dots +3^{51}\right)\equiv 2\left( 5^{103}+\binom{103}{2}5^{101}\cdot 3 \right)\equiv \boxed{1}\mod 9. $$


Problem 7[ 2016 CMIMC]: Determine the smallest positive prime $p$ which satisfies the congruence

$$p+ p^{-1}\equiv 25 \pmod 143.$$

Solution: We know that 

$$(p-9)(p-16)\equiv 0\mod 11\cdot 13$$ 

Then by CRT $$(p-9)(p-16)\equiv 0\mod 11\implies 9, 5\mod 11$$

$$(p-9)(p-16)\equiv 0\mod 13\implies 9,3 \mod 13$$

So the solutions are $$9, 16, 42, 126 \mod 143.$$ The smallest is $\boxed{269}.$


Problem 8: Find all primes $p$ such that $p$ divides $2^p + 1.$

Solution: Note that $2^p+1\equiv 3\mod p\implies p=3$


Problem 9[ Wilson theorem]: Prove that if $p$ is a prime then $(p - 1)! \equiv -1 \pmod p.$

Proof: It's pretty well known, but I will write for myself. We use the fact that only $1,p-1$ are self inverses of itself. Rest all the numbers have a unique and distinct inverse, forming pair whose product is $1\mod p.$ So

$$2\cdot 3\cdot 4\dots p-2\equiv 1\mod p\implies 1\cdot 2\cdot 3\cdot 4\dots p-1\equiv p-1\mod p $$


Problem 10[ 1989 IMO P5]: Prove that for each positive integer $ n$ there exist $ n$ consecutive positive integers none of which is an integral power of a prime number.

Proof: We consider $k!+2, k!+3,\dots k!+n+1$ and take $k>>>>>n.$ Then

For any $2\le a\le n+1,$ $k!+a=a(k!/a+1)$ but $a|k!/a\implies $ two distinct prime factors divide $k!+a.$


Problem 11[Simpler CMIMC 2016]: Define a tasty residue of $n$ to be an integer

$1 \le a \le  n$ such that there exists an integer $m > 1$ satisfying $a^m \equiv a (mod n). Find

the number of tasty residues of prime $p.$

Solution: It's $\phi{p}+1$ as $$a^{m}-a\equiv 0\mod p\implies p|a , p|a^{m-1}-1$$ 


Problem 12[CMIMC 2016]: Define a tasty residue of $n$ to be an integer

$1 \le a \le  n$ such that there exists an integer $m > 1$ satisfying $a^m \equiv a (mod n). Find

the number of tasty residues of prime $2016.$

Solution: $2016= 2^5\cdot 3^2 \cdot 7$

We know that for any prime $p$ dividing $a^m-a$ we get $\phi{p}+1$ values of $a$ satisfying. 

By CRT, we get $(\phi{2^5}+1)(\phi{3^2}+1)(\phi{7}+1)=\boxed{833}$ values. 


Problem 13[ 2019 AIME P1]: Find the least odd prime factor of $2019^8 + 1.$

Solution: Since $$p|2019^8+1\implies p|2019^{16}-1\implies \phi{p}|16 \implies ord_p(2019)=16|\phi{p-1}$$

Clearly, $p=17$ doesn't work, and $p=97$ work.


Problem 14[USAMO]:Suppose that the set $\{1, 2, \dots  , 1998\}$ has been parti-

tioned into disjoint pairs $\{a_i , b_i \} (1 ≤\le i \le 999)$ so that for all $i$, $|a_i - b_i |$ equals $1$ or $6.$

Prove that the sum

$$|a_1 - b_1 | + |a_2 - b_2 | + \dots + |a_{999} − b_{999} |$$

ends in the digit $9$.

Proof: Note we just have to show that the answer is $-1 \pmod {10}$. We will show that

the answer is $1 \pmod 2  , 4  \pmod 5$ .

Note that $a_i - b_i$ and $a_i + b_i$ have the same parity.

So the sum is $1+2+\dots +1998 \pmod 2 \equiv  1 \pmod 2 .$

And $|a_i - b_i |$ is always $1  \pmod 5$  . Hence the sum is $1\cdot 999\equiv 4\pmod 5 $ .

By CRT we are done.


So yeee! Hope you have a nice day!

Sunaina 💜





Comments

  1. Thanks a lot for posting ioqm level problems!

    ReplyDelete
  2. Nice!
    Also try All Russian MO 2014 G9 P1,All Russsian MO 2015 G11P?(Forgot the problem number but pretty sure that the year is correct),2018 ARO G10 P4

    For more beautiful NT probs

    ReplyDelete
    Replies
    1. hey! Thanks for commenting! I will try those! Actually I have an upcoming post, where I am going to share ARMO problems! So really thankyou!

      Delete

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

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

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

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

Problems done in August

  Welcome back! So today I will be sharing a few problems which I did last week and some ISLs. Easy ones I guess. Happy September 2021!  Problem[APMO 2018 P1]: Let $ABC$ be a triangle with orthocenter $H$ and let $M$ and $N$ denote the midpoints of ${AB}$ and ${AC}$. Assume $H$ lies inside quadrilateral $BMNC$, and the circumcircles of $\triangle BMH$ and $\triangle CNH$ are tangent. The line through $H$ parallel to ${BC}$ intersects $(BMH)$ and $(CNH)$ again at $K$, $L$ respectively. Let $F = {MK} \cap {NL}$, and let $J$ denote the incenter of $\triangle MHN$. Prove that $FJ = FA$. Proof:  By angle chase, we get $\angle FKL=\angle FLK.$    Hence $KL||MN\implies FM=FN.$   And we get $\angle MFN=2A\implies F$ is circumcentre if $(AMN)\implies FA=FM=FN.$   And we get $\angle MHN=180-2A$    Hence $MFHN$ is cyclic.    By fact 5, $ME=FJ=FN\implies FJ=FA.$ Problem[Shortlist 2007 G3]: Let $ABCD$ be a trapezoid whose diagonals meet at $P$....

How to prepare for INMO

Since INMO is coming up, it would be nice to write a post about it! A lot of people have been asking me for tips. To people who are visiting this site for the first time, hi! I am Sunaina Pati, an undergrad student at Chennai Mathematical Institute. I was an INMO awardee in 2021,2022,2023. I am also very grateful to be part of the India EGMO 2023 delegation. Thanks to them I got a silver medal!  I think the title of the post might be clickbait for some. What I want to convey is how I would have prepared for INMO if I were to give it again. Anyway, so here are a few tips for people! Practice, practice, practice!! I can not emphasize how important this is. This is the only way you can realise which areas ( that is combinatorics, geometry, number theory, algebra) are your strength and where you need to work on. Try the problems as much as you want, and make sure you use all the ideas you can possibly think of before looking at a hint. So rather than fixing time as a measure to dec...

Some NMTC sub-junior level Problems

Well.. Many people don't know but I was a part of STEM's Horizon ( Now, I have left them due to boards etc.) BTW STEM's Horizons is really great! And anyone interested in Olympiad math should join it! More info about it in below (make sure to check it out!). So here are some problems I sent to them. They are fairly easy, and most of them are repetitive ideas. But they are my first sets of problems ( I know UMO was there but still..) The solutions will be posted in another blog posts. You guys can type out sols in the comments sections too :) Problems:- 1. What is maximum possible number dividing  $x^2+x+1$ and $x^5 +x^4 +x^3 + 3x^2 +2 x +4$ for all $x\in \Bbb{N}$ 2. Let $P$ be the sum of all $x$ and $y$ satisfying $45^x-2^x=2021^y.$ What is the last two digits of $p^2+p+1.$ 3. What is the greatest value of $r$ such that $3^r$ is factor of $10^{2022}-8^{674}$. 4. Find all possible tuples $ (x,y,l)$ such that $\frac{x}{100}=\frac{20}{y}=\frac{5}{l}.$ 5. Consider the following...

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

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