Stay ahead of learning milestones! Enroll in a class over the summer!

G
Topic
First Poster
Last Poster
Sequence
Titibuuu   0
39 minutes ago
Let \( a_1 = a \), and for all \( n \geq 1 \), define the sequence \( \{a_n\} \) by the recurrence
\[
a_{n+1} = a_n^2 + 1
\]Prove that there is no natural number \( n \) such that
\[
\prod_{k=1}^{n} \left( a_k^2 + a_k + 1 \right)
\]is a perfect square.
0 replies
Titibuuu
39 minutes ago
0 replies
Coolabra
Titibuuu   0
40 minutes ago
Let \( a, b, c \) be distinct real numbers such that
\[
a + b + c + \frac{1}{abc} = \frac{19}{2}
\]Find the maximum possible value of \( a \).
0 replies
Titibuuu
40 minutes ago
0 replies
Inspired by Bet667
sqing   5
N 43 minutes ago by sqing
Source: Own
Let $ a,b $ be a real numbers such that $a^3+kab+b^3\ge a^4+b^4.$Prove that
$$1-\sqrt{k+1} \leq  a+b\leq 1+\sqrt{k+1} $$Where $ k\geq 0. $
5 replies
sqing
Thursday at 1:03 PM
sqing
43 minutes ago
A tangent problem
hn111009   0
an hour ago
Source: Own
Let quadrilateral $ABCD$ with $P$ be the intersection of $AC$ and $BD.$ Let $\odot(APD)$ meet again $\odot(BPC)$ at $Q.$ Called $M$ be the midpoint of $BD.$ Assume that $\angle{DPQ}=\angle{CPM}.$ Prove that $AB$ is the tangent of $\odot(APD)$ and $BC$ is the tangent of $\odot(AQB).$
0 replies
hn111009
an hour ago
0 replies
3-var inequality
sqing   4
N an hour ago by sqing
Source: Own
Let $ a,b>0 $ and $\frac{1}{a^2+3}+ \frac{1}{b^2+ 3} \leq \frac{1}{2} . $ Prove that
$$a^2+ab+b^2\geq 3$$$$a^2-ab+b^2 \geq 1 $$Let $ a,b>0 $ and $\frac{1}{a^3+3}+ \frac{1}{b^3+ 3}\leq \frac{1}{2} . $ Prove that
$$a^3+ab+b^3 \geq 3$$$$ a^3-ab+b^3\geq 1 $$
4 replies
sqing
May 7, 2025
sqing
an hour ago
Inspired by Kosovo 2010
sqing   2
N an hour ago by sqing
Source: Own
Let $ a,b>0  , a+b\leq k $. Prove that
$$\left(1+\frac{1}{a(b+1)}\right)\left(1+\frac{1}{b(a+1)}\right)\geq\left(1+\frac{4}{k(k+2)}\right)^2$$$$\left(1+\frac {a}{b(a+1)}\right)\left(1+\frac {b}{a(b+1)}\right) \geq\left(1+\frac{2}{k+2}\right)^2$$Let $ a,b>0  , a+b\leq 2 $. Prove that
$$\left(1+\frac{1}{a(b+1)}\right)\left(1+\frac{1}{b(a+1)}\right)\geq \frac{9}{4} $$$$\left(1+\frac {a}{b(a+1)}\right)\left(1+\frac {b}{a(b+1)}\right) \geq \frac{9}{4} $$
2 replies
sqing
Yesterday at 3:56 AM
sqing
an hour ago
Find all real numbers
sqing   6
N an hour ago by sqing
Source: IMOC 2021 A1
Find all real numbers x that satisfies$$\sqrt{\sqrt{x-\frac{1}{x}}+\sqrt{1-\frac{1}{x}}-\frac{1}{\sqrt{x-\frac{1}{x}}+\sqrt{1-\frac{1}{x}}}}+\sqrt{1-\frac{1}{\sqrt{x-\frac{1}{x}}+\sqrt{1-\frac{1}{x}}}}=x.$$2021 IMOC Problems
6 replies
sqing
Aug 11, 2021
sqing
an hour ago
I accidentally drew a 200-gon and ran out of time
justin1228   24
N an hour ago by Ilikeminecraft
Source: USEMO P.5 2020
The sides of a convex $200$-gon $A_1 A_2 \dots A_{200}$ are colored red and blue in an alternating fashion.
Suppose the extensions of the red sides determine a regular $100$-gon, as do the extensions of the blue sides.

Prove that the $50$ diagonals $\overline{A_1A_{101}},\ \overline{A_3A_{103}},\ \dots,
\ \overline{A_{99}A_{199}}$ are concurrent.

Proposed by: Ankan Bhattacharya
24 replies
justin1228
Oct 25, 2020
Ilikeminecraft
an hour ago
IMO 2016 Problem 4
termas   54
N an hour ago by OronSH
Source: IMO 2016 (day 2)
A set of positive integers is called fragrant if it contains at least two elements and each of its elements has a prime factor in common with at least one of the other elements. Let $P(n)=n^2+n+1$. What is the least possible positive integer value of $b$ such that there exists a non-negative integer $a$ for which the set $$\{P(a+1),P(a+2),\ldots,P(a+b)\}$$is fragrant?
54 replies
termas
Jul 12, 2016
OronSH
an hour ago
Number theory sequences : sums divisible by n
Muradjl   43
N an hour ago by OronSH
Source: IMO Shortlist 2017 N3
Determine all integers $ n\geq 2$ having the following property: for any integers $a_1,a_2,\ldots, a_n$ whose sum is not divisible by $n$, there exists an index $1 \leq i \leq n$ such that none of the numbers $$a_i,a_i+a_{i+1},\ldots,a_i+a_{i+1}+\ldots+a_{i+n-1}$$is divisible by $n$. Here, we let $a_i=a_{i-n}$ when $i >n$.

Proposed by Warut Suksompong, Thailand
43 replies
Muradjl
Jul 10, 2018
OronSH
an hour ago
beautiful functional equation problem
Medjl   6
N Apr 6, 2025 by Sadigly
Source: Netherlands TST for BxMO 2017 problem 2
Let define a function $f: \mathbb{N} \rightarrow \mathbb{Z}$ such that :
$i)$$f(p)=1$ for all prime numbers $p$.
$ii)$$f(xy)=xf(y)+yf(x)$ for all positive integers $x,y$
find the smallest $n \geq 2016$ such that $f(n)=n$
6 replies
Medjl
Feb 1, 2018
Sadigly
Apr 6, 2025
beautiful functional equation problem
G H J
G H BBookmark kLocked kLocked NReply
Source: Netherlands TST for BxMO 2017 problem 2
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Medjl
757 posts
#1 • 4 Y
Y by Muradjl, Adventure10, Mango247, PikaPika999
Let define a function $f: \mathbb{N} \rightarrow \mathbb{Z}$ such that :
$i)$$f(p)=1$ for all prime numbers $p$.
$ii)$$f(xy)=xf(y)+yf(x)$ for all positive integers $x,y$
find the smallest $n \geq 2016$ such that $f(n)=n$
This post has been edited 2 times. Last edited by Medjl, Feb 1, 2018, 3:16 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Math-Ninja
3749 posts
#2 • 2 Y
Y by Adventure10, PikaPika999
Why is this named beautiful problem. Titles are meant for description please.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
ThE-dArK-lOrD
4071 posts
#3 • 7 Y
Y by rkm0959, Muradjl, Math-Ninja, Com10atorics, Adventure10, Mango247, PikaPika999
Not hard to prove by induction on $s\in \mathbb{Z}^+$ that $$f(n)=n\sum_{i=1}^{k}{\frac{\alpha_i }{p_i}}$$where $n=\prod_{i=1}^{k}{p_i^{\alpha_i}}$ is the canonical form of $n$ with $\sum_{i=1}^{k}{\alpha_i} =s$.
Hence, $f(n)=n\sum_{i=1}^{k}{\frac{\alpha_i }{p_i}}$ where $n=\prod_{i=1}^{k}{p_i^{\alpha_i}}$ is the canonical form of $n$ is true for all positive integer $n$.
We want to find $n=\prod_{i=1}^{k}{p_i^{\alpha_i}}$ that $f(n)=n\iff \sum_{i=1}^{k}{\frac{\alpha_i }{p_i}} =1$.

If $k\geq 2$, we get that $\alpha_i \leq p_i$ for all $i\in \{ 1,2,...,k\}$.
But we've $\sum_{i=1}^{k}{\alpha_i \times \frac{P}{p_i} }=P$ where $P=\prod_{i=1}^{k}{p_i}$. Modulo $p_1$ gives us $p_1\mid \alpha_1 \times \frac{P}{p_1}$, impossible since all $p_i$s are distinct.

So, $k=1$. This gives $n=p^p$ for some prime number $p$.
Easy to see that the smallest such $n$ that not smaller than $2016$ is $3125=5^5$.
This post has been edited 1 time. Last edited by ThE-dArK-lOrD, Feb 1, 2018, 4:58 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
soryn
5342 posts
#4 • 2 Y
Y by Adventure10, PikaPika999
Very nice! I like this problem, I like this solution! Congratulations!:))))))
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
User335559
472 posts
#5 • 3 Y
Y by Adventure10, Mango247, PikaPika999
ThE-dArK-lOrD wrote:
Not hard to prove by induction on $s\in \mathbb{Z}^+$ that $$f(n)=n\sum_{i=1}^{k}{\frac{\alpha_i }{p_i}}$$where $n=\prod_{i=1}^{k}{p_i^{\alpha_i}}$ is the canonical form of $n$ with $\sum_{i=1}^{k}{\alpha_i} =s$.
Hence, $f(n)=n\sum_{i=1}^{k}{\frac{\alpha_i }{p_i}}$ where $n=\prod_{i=1}^{k}{p_i^{\alpha_i}}$ is the canonical form of $n$ is true for all positive integer $n$.
We want to find $n=\prod_{i=1}^{k}{p_i^{\alpha_i}}$ that $f(n)=n\iff \sum_{i=1}^{k}{\frac{\alpha_i }{p_i}} =1$.

If $k\geq 2$, we get that $\alpha_i \leq p_i$ for all $i\in \{ 1,2,...,k\}$.
But we've $\sum_{i=1}^{k}{\alpha_i \times \frac{P}{p_i} }=P$ where $P=\prod_{i=1}^{k}{p_i}$. Modulo $p_1$ gives us $p_1\mid \alpha_1 \times \frac{P}{p_1}$, impossible since all $p_i$s are distinct.

So, $k=1$. This gives $n=p^p$ for some prime number $p$.
Easy to see that the smallest such $n$ that not smaller than $2016$ is $3125=5^5$.

How did you find the function? What's the motivation behind that?
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
liekkas
370 posts
#6 • 3 Y
Y by Adventure10, Mango247, PikaPika999
It's 2015 Austria MO (maybe not posted yet)
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Sadigly
183 posts
#7 • 1 Y
Y by PikaPika999
Easy to see that $f(0)=0$ and $f(1)=0$, and them being the only zeroes of this function. One can also say $f$ doesn't take any negative numbers.

Induct to get $f(p^x)=xp^{x-1}$

Let $n=p^x\cdot A$, where $p\nmid A$, and assume this number satisfies the given condition

$p^x\cdot A=n=f(n)=f(p^x\cdot A)=p^xf(A)+Af(p^x)=p^xf(A)+xAp^{x-1}$

$LHS\equiv 0~(mod~p^x)\Rightarrow RHS\equiv0~(mod~p^x).$ We get that $p\mid x$. Rewriting $x=p\cdot k$ gives $$(1-k)A=f(A)$$It should be obvious that $k=1$ and $f(A)=0$. Since $A\neq0$ (Or else $n=0$), we have $n=p^p$. All that is left to find the smallest prime that satisfies $p^p\geq 2016$, which is $5$
Z K Y
N Quick Reply
G
H
=
a