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

G
Topic
First Poster
Last Poster
hard inequality omg
tokitaohma   3
N an hour ago by tokitaohma
1. Given $a, b, c > 0$ and $abc=1$
Prove that: $ \sqrt{a^2+1} + \sqrt{b^2+1} + \sqrt{c^2+1} \leq \sqrt{2}(a+b+c) $

2. Given $a, b, c > 0$ and $a+b+c=1 $
Prove that: $ \dfrac{\sqrt{a^2+2ab}}{\sqrt{b^2+2c^2}} + \dfrac{\sqrt{b^2+2bc}}{\sqrt{c^2+2a^2}} + \dfrac{\sqrt{c^2+2ca}}{\sqrt{a^2+2b^2}} \geq \dfrac{1}{a^2+b^2+c^2} $
3 replies
tokitaohma
Yesterday at 5:24 PM
tokitaohma
an hour ago
Diophantine involving cube
Sadigly   1
N 2 hours ago by mashumaro
Source: Azerbaijan Senior NMO 2020
$a;b;c;d\in\mathbb{Z^+}$. Solve the equation: $$2^{a!}+2^{b!}+2^{c!}=d^3$$
1 reply
Sadigly
6 hours ago
mashumaro
2 hours ago
Old hard problem
ItzsleepyXD   2
N 2 hours ago by ItzsleepyXD
Source: IDK
Let $ABC$ be a triangle and let $O$ be its circumcenter and $I$ its incenter.
Let $P$ be the radical center of its three mixtilinears and let $Q$ be the isogonal conjugate of $P$.
Let $G$ be the Gergonne point of the triangle $ABC$.
Prove that line $QG$ is parallel with line $OI$ .
2 replies
ItzsleepyXD
Apr 25, 2025
ItzsleepyXD
2 hours ago
The Return of Triangle Geometry
peace09   9
N 3 hours ago by mathfun07
Source: 2023 ISL A7
Let $N$ be a positive integer. Prove that there exist three permutations $a_1,\dots,a_N$, $b_1,\dots,b_N$, and $c_1,\dots,c_N$ of $1,\dots,N$ such that \[\left|\sqrt{a_k}+\sqrt{b_k}+\sqrt{c_k}-2\sqrt{N}\right|<2023\]for every $k=1,2,\dots,N$.
9 replies
peace09
Jul 17, 2024
mathfun07
3 hours ago
Set Partition
Butterfly   0
3 hours ago
For the set of positive integers $\{1,2,…,n\}(n\ge 3)$, no matter how its elements are partitioned into two subsets, at least one of the subsets must contain three numbers $a,b,c$ ($a=b$ is allowed) such that $ab=c$. Find the minimal $n$.
0 replies
Butterfly
3 hours ago
0 replies
Points Lying on its Cevian Triangle's Thomson Cubic
Feuerbach-Gergonne   1
N 3 hours ago by golue3120
Source: Own
Given $\triangle ABC$ and a point $P$, let $\triangle DEF$ be the cevian triangle of $P$ with respect to $\triangle ABC$. Let $H$ be the orthocenter of $\triangle ABC$, and denote the isotomic conjugate of $H, P$ with respect to $\triangle ABC$ by $X, Q$, respectively. Let the centroid of $\triangle DEF$ be $M$, and denote the isogonal conjugate of $P$ with respect to $\triangle DEF$ by $R$. Prove that
$$
P, Q, X \text{ are collinear} \iff P, R, M \text{ are collinear}. 
$$or in brief
$$
P \in \text{ K007 of } \triangle ABC \iff P \in \text{ K002 of } \triangle DEF. 
$$
1 reply
Feuerbach-Gergonne
Jul 19, 2024
golue3120
3 hours ago
Areas of triangles AOH, BOH, COH
Arne   71
N 3 hours ago by EpicBird08
Source: APMO 2004, Problem 2
Let $O$ be the circumcenter and $H$ the orthocenter of an acute triangle $ABC$. Prove that the area of one of the triangles $AOH$, $BOH$ and $COH$ is equal to the sum of the areas of the other two.
71 replies
Arne
Mar 23, 2004
EpicBird08
3 hours ago
Problem 6
termas   68
N 4 hours ago by HamstPan38825
Source: IMO 2016
There are $n\ge 2$ line segments in the plane such that every two segments cross and no three segments meet at a point. Geoff has to choose an endpoint of each segment and place a frog on it facing the other endpoint. Then he will clap his hands $n-1$ times. Every time he claps,each frog will immediately jump forward to the next intersection point on its segment. Frogs never change the direction of their jumps. Geoff wishes to place the frogs in such a way that no two of them will ever occupy the same intersection point at the same time.

(a) Prove that Geoff can always fulfill his wish if $n$ is odd.

(b) Prove that Geoff can never fulfill his wish if $n$ is even.
68 replies
1 viewing
termas
Jul 12, 2016
HamstPan38825
4 hours ago
2n^2+4n-1 and 3n+4 have common powers
bin_sherlo   2
N 4 hours ago by Assassino9931
Source: Türkiye 2025 JBMO TST P5
Find all positive integers $n$ such that a positive integer power of $2n^2+4n-1$ equals to a positive integer power of $3n+4$.
2 replies
bin_sherlo
Yesterday at 7:13 PM
Assassino9931
4 hours ago
combi/nt
blug   2
N 4 hours ago by aaravdodhia
Prove that every positive integer $n$ can be written in the form
$$n=a_1+a_2+...+a_k,$$where $a_m=2^i3^j$ for some non-negative $i, j$ such that
$$a_x\nmid a_y$$for every $x, y\leq k$.
2 replies
1 viewing
blug
May 9, 2025
aaravdodhia
4 hours ago
System of equations in juniors' exam
AlperenINAN   2
N 4 hours ago by Assassino9931
Source: Turkey JBMO TST 2025 P3
Find all positive real solutions $(a, b, c)$ to the following system:
$$
\begin{aligned}
a^2 + \frac{b}{a} &= 8, \\
ab + c^2 &= 18, \\
3a + b + c &= 9\sqrt{3}.
\end{aligned}
$$
2 replies
AlperenINAN
Yesterday at 7:41 PM
Assassino9931
4 hours ago
Non-negative real variables inequality
KhuongTrang   2
N Apr 29, 2025 by NguyenVanHoa29
Source: own
Problem. Let $a,b,c\ge 0: ab+bc+ca>0.$ Prove that$$\color{blue}{\frac{\left(2ab+ca+cb\right)^{2}}{a^{2}+4ab+b^{2}}+\frac{\left(2bc+ab+ac\right)^{2}}{b^{2}+4bc+c^{2}}+\frac{\left(2ca+bc+ba\right)^{2}}{c^{2}+4ca+a^{2}}\ge \frac{8(ab+bc+ca)}{3}.}$$
2 replies
KhuongTrang
Apr 24, 2025
NguyenVanHoa29
Apr 29, 2025
Non-negative real variables inequality
G H J
G H BBookmark kLocked kLocked NReply
Source: own
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
KhuongTrang
731 posts
#1 • 4 Y
Y by math90, NguyenVanHoa29, Zuyong, TNKT
Problem. Let $a,b,c\ge 0: ab+bc+ca>0.$ Prove that$$\color{blue}{\frac{\left(2ab+ca+cb\right)^{2}}{a^{2}+4ab+b^{2}}+\frac{\left(2bc+ab+ac\right)^{2}}{b^{2}+4bc+c^{2}}+\frac{\left(2ca+bc+ba\right)^{2}}{c^{2}+4ca+a^{2}}\ge \frac{8(ab+bc+ca)}{3}.}$$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Quantum-Phantom
272 posts
#2
Y by
Are there any easier methods?

After multiplying both sides by \(\prod\limits_{\rm cyc}\left(a^2+4ab+b^2\right)\), we need to show that
\[\frac13\sum_{\rm cyc}a^2b^2(a+3b)(3a+b)(a-b)^2+abc\cdot f(a,b,c)\ge0,\]where $f(a,b,c)$ is a fifth degree polynomial:
\[\sum_{\rm cyc}\left(2a^5+\frac83a^4b+\frac83ab^4+\frac{22}3a^2b^2c-\frac{14}3a^3b^2-\frac{14}3a^2b^3-\frac{16}3a^2b^2c\right).\]By the $uvw$ method, it is not hard to show that $f(a,b,c)\ge0$ is true.

Click to reveal hidden text
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
NguyenVanHoa29
7 posts
#3 • 1 Y
Y by arqady
I think it is a concave function according to w^3 and the rest is easy checking.
Z K Y
N Quick Reply
G
H
=
a