Happy Memorial Day! Please note that AoPS Online is closed May 24-26th.

G
Topic
First Poster
Last Poster
Interesting inequality
sqing   0
a minute ago
Source: Own
Let $ (a+b)^2+(a-b)^2=1. $ Prove that$$0\geq (a+b-1)(a-b+1)\geq -\frac{3}{2}-\sqrt 2$$
0 replies
1 viewing
sqing
a minute ago
0 replies
Inequality em981
oldbeginner   20
N 7 minutes ago by mihaig
Source: Own
Let $a, b, c>0, a+b+c=3$. Prove that
\[\sqrt{a+\frac{9}{b+2c}}+\sqrt{b+\frac{9}{c+2a}}+\sqrt{c+\frac{9}{a+2b}}+\frac{2(ab+bc+ca)}{9}\ge\frac{20}{3}\]
20 replies
oldbeginner
Sep 22, 2016
mihaig
7 minutes ago
Interesting inequality
sqing   2
N 9 minutes ago by sqing
Source: Own
Let $a,b\geq 0, 2a+2b+ab=5.$ Prove that
$$a+b^3+a^3b+\frac{101}{8}ab\leq\frac{125}{8}$$
2 replies
2 viewing
sqing
32 minutes ago
sqing
9 minutes ago
Inspired by RMO 2006
sqing   4
N 39 minutes ago by sqing
Source: Own
Let $ a,b >0  . $ Prove that
$$  \frac {a^{2}+1}{b+k}+\frac { b^{2}+1}{ka+1}+\frac {2}{a+kb}  \geq \frac {6}{k+1}  $$Where $k\geq 0.03 $
$$  \frac {a^{2}+1}{b+1}+\frac { b^{2}+1}{a+1}+\frac {2}{a+b}  \geq 3  $$
4 replies
sqing
Saturday at 3:24 PM
sqing
39 minutes ago
Inspired by 2025 Beijing
sqing   11
N an hour ago by sqing
Source: Own
Let $ a,b,c,d >0  $ and $ (a^2+b^2+c^2)(b^2+c^2+d^2)=36. $ Prove that
$$ab^2c^2d \leq 8$$$$a^2bcd^2 \leq 16$$$$ ab^3c^3d \leq \frac{2187}{128}$$$$ a^3bcd^3 \leq \frac{2187}{32}$$
11 replies
sqing
Saturday at 4:56 PM
sqing
an hour ago
A functional equation
super1978   1
N an hour ago by CheerfulZebra68
Source: Somewhere
Find all functions $f: \mathbb R \to \mathbb R$ such that:$$ f(f(x)(y+f(y)))=xf(y)+f(xy) $$for all $x,y \in \mathbb R$
1 reply
super1978
an hour ago
CheerfulZebra68
an hour ago
Prove that IMO is isosceles
YLG_123   4
N 3 hours ago by Blackbeam999
Source: 2024 Brazil Ibero TST P2
Let \( ABC \) be an acute-angled scalene triangle with circumcenter \( O \). Denote by \( M \), \( N \), and \( P \) the midpoints of sides \( BC \), \( CA \), and \( AB \), respectively. Let \( \omega \) be the circle passing through \( A \) and tangent to \( OM \) at \( O \). The circle \( \omega \) intersects \( AB \) and \( AC \) at points \( E \) and \( F \), respectively (where \( E \) and \( F \) are distinct from \( A \)). Let \( I \) be the midpoint of segment \( EF \), and let \( K \) be the intersection of lines \( EF \) and \( NP \). Prove that \( AO = 2IK \) and that triangle \( IMO \) is isosceles.
4 replies
YLG_123
Oct 12, 2024
Blackbeam999
3 hours ago
Geometric mean of squares a knight's move away
Pompombojam   0
3 hours ago
Source: Problem Solving Tactics Methods of Proof Q27
Each square of an $8 \times 8$ chessboard has a real number written in it in such a way that each number is equal to the geometric mean of all the numbers a knight's move away from it.

Is it true that all of the numbers must be equal?
0 replies
Pompombojam
3 hours ago
0 replies
Circumcircle of ADM
v_Enhance   71
N 3 hours ago by judokid
Source: USA TSTST 2012, Problem 7
Triangle $ABC$ is inscribed in circle $\Omega$. The interior angle bisector of angle $A$ intersects side $BC$ and $\Omega$ at $D$ and $L$ (other than $A$), respectively. Let $M$ be the midpoint of side $BC$. The circumcircle of triangle $ADM$ intersects sides $AB$ and $AC$ again at $Q$ and $P$ (other than $A$), respectively. Let $N$ be the midpoint of segment $PQ$, and let $H$ be the foot of the perpendicular from $L$ to line $ND$. Prove that line $ML$ is tangent to the circumcircle of triangle $HMN$.
71 replies
v_Enhance
Jul 19, 2012
judokid
3 hours ago
Three operations make any number
awesomeming327.   2
N 3 hours ago by happymoose666
Source: own
The number $3$ is written on the board. Anna, Boris, and Charlie can do the following actions: Anna can replace the number with its floor. Boris can replace any integer number with its factorial. Charlie can replace any nonnegative number with its square root. Prove that the three can work together to make any positive integer in finitely many steps.
2 replies
awesomeming327.
6 hours ago
happymoose666
3 hours ago
IMO 2017 Problem 4
Amir Hossein   116
N 6 hours ago by cj13609517288
Source: IMO 2017, Day 2, P4
Let $R$ and $S$ be different points on a circle $\Omega$ such that $RS$ is not a diameter. Let $\ell$ be the tangent line to $\Omega$ at $R$. Point $T$ is such that $S$ is the midpoint of the line segment $RT$. Point $J$ is chosen on the shorter arc $RS$ of $\Omega$ so that the circumcircle $\Gamma$ of triangle $JST$ intersects $\ell$ at two distinct points. Let $A$ be the common point of $\Gamma$ and $\ell$ that is closer to $R$. Line $AJ$ meets $\Omega$ again at $K$. Prove that the line $KT$ is tangent to $\Gamma$.

Proposed by Charles Leytem, Luxembourg
116 replies
Amir Hossein
Jul 19, 2017
cj13609517288
6 hours ago
A sharp one with 3 var
mihaig   10
N 6 hours ago by mihaig
Source: Own
Let $a,b,c\geq0$ satisfying
$$\left(a+b+c-2\right)^2+8\leq3\left(ab+bc+ca\right).$$Prove
$$ab+bc+ca+abc\geq4.$$
10 replies
mihaig
May 13, 2025
mihaig
6 hours ago
Another right angled triangle
ariopro1387   1
N Yesterday at 9:09 PM by lolsamo
Source: Iran Team selection test 2025 - P7
Let $ABC$ be a right angled triangle with $\angle A=90$. Point $M$ is the midpoint of side $BC$ And $P$ be an arbitrary point on $AM$. The reflection of $BP$ over $AB$ intersects lines $AC$ and $AM$ at $T$ and $Q$, respectively. The circumcircles of $BPQ$ and $ABC$ intersect again at $F$. Prove that the center of the circumcircle of $CFT$ lies on $BQ$.
1 reply
ariopro1387
Yesterday at 4:13 PM
lolsamo
Yesterday at 9:09 PM
4 variables with quadrilateral sides 2
mihaig   6
N May 2, 2025 by mihaig
Source: Own
Let $a,b,c,d\geq0$ satisfying
$$\frac1{a+1}+\frac1{b+1}+\frac1{c+1}+\frac1{d+1}=2.$$Prove
$$\left(a+b+c+d-2\right)^2+8\geq3\left(abc+abd+acd+bcd\right).$$
6 replies
mihaig
Apr 29, 2025
mihaig
May 2, 2025
4 variables with quadrilateral sides 2
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.
mihaig
7374 posts
#1 • 1 Y
Y by arqady
Let $a,b,c,d\geq0$ satisfying
$$\frac1{a+1}+\frac1{b+1}+\frac1{c+1}+\frac1{d+1}=2.$$Prove
$$\left(a+b+c+d-2\right)^2+8\geq3\left(abc+abd+acd+bcd\right).$$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
mihaig
7374 posts
#2
Y by
See, of course,
https://artofproblemsolving.com/community/c6t243f6h3555859_4_variables_with_quadrilateral_sides
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
mihaig
7374 posts
#3
Y by
Let $a,b,c,d\geq0$ satisfying
$$\frac1{a+1}+\frac1{b+1}+\frac1{c+1}+\frac1{d+1}=2.$$Prove or disprove
$$\left(a+b+c+d-3\right)^2+7\geq2\left(abc+abd+acd+bcd\right).$$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
arqady
30258 posts
#4
Y by
mihaig wrote:
Let $a,b,c,d\geq0$ satisfying
$$\frac1{a+1}+\frac1{b+1}+\frac1{c+1}+\frac1{d+1}=2.$$Prove or disprove
$$\left(a+b+c+d-3\right)^2+7\geq2\left(abc+abd+acd+bcd\right).$$
It's wrong.
Try $(a,b,c,d)=\left(\frac{1}{2},\frac{5}{4},\frac{5}{4},\frac{5}{4}\right).$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
arqady
30258 posts
#5
Y by
mihaig wrote:
Let $a,b,c,d\geq0$ satisfying
$$\frac1{a+1}+\frac1{b+1}+\frac1{c+1}+\frac1{d+1}=2.$$Prove
$$\left(a+b+c+d-2\right)^2+8\geq3\left(abc+abd+acd+bcd\right).$$
Nice! There is a nice solution.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
mihaig
7374 posts
#6
Y by
arqady wrote:
mihaig wrote:
Let $a,b,c,d\geq0$ satisfying
$$\frac1{a+1}+\frac1{b+1}+\frac1{c+1}+\frac1{d+1}=2.$$Prove or disprove
$$\left(a+b+c+d-3\right)^2+7\geq2\left(abc+abd+acd+bcd\right).$$
It's wrong.
Try $(a,b,c,d)=\left(\frac{1}{2},\frac{5}{4},\frac{5}{4},\frac{5}{4}\right).$

Bravo!
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
mihaig
7374 posts
#7
Y by
arqady wrote:
mihaig wrote:
Let $a,b,c,d\geq0$ satisfying
$$\frac1{a+1}+\frac1{b+1}+\frac1{c+1}+\frac1{d+1}=2.$$Prove
$$\left(a+b+c+d-2\right)^2+8\geq3\left(abc+abd+acd+bcd\right).$$
Nice! There is a nice solution.

Thank you!
Z K Y
N Quick Reply
G
H
=
a