JBMO Shortlist 2023 A4

Art of Problem Solving

AoPS Online

High School Olympiads Regional, national, and international math olympiads

Regional, national, and international math olympiads

3 M G

BBookmark VNew Topic kLocked

High School Olympiads Regional, national, and international math olympiads

Regional, national, and international math olympiads

3 M G

BBookmark VNew Topic kLocked

No tags match your search

M

JBMO Shortlist 2023 A4

G H J

Reveal topic tags

L

G H BBookmark kLocked kLocked NReply

Source: JBMO Shortlist 2023, A4

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

558 posts

#1 h Jun 28, 2024, 6:00 AM • 1 Y

Y by xytunghoanh

Let $a,b,c,d$ be positive real numbers with $abcd=1$ . Prove that

$\sqrt{\frac{a}{b+c+d^2+a^3}}+\sqrt{\frac{b}{c+d+a^2+b^3}}+\sqrt{\frac{c}{d+a+b^2+c^3}}+\sqrt{\frac{d}{a+b+c^2+d^3}} \leq 2$

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

837 posts

#3 h Jun 28, 2024, 9:42 AM • 2 Y

Y by aqusha_mlp12, xytunghoanh

By Cauchy-Schwarz or Jensen, we have
$\sum_{cyc}{\sqrt{\dfrac{a}{b+c+d^2+a^3}}}\leq \sqrt{4\sum_{cyc}{\dfrac{a}{b+c+d^2+a^3}}}\leq 2$ It sufficies to show
$\sum_{cyc}{\dfrac{a}{b+c+d^2+a^3}}\leq 1$ But by C-S $\left(b+c+d^2+a^3\right)\left(b+c+1+\dfrac{1}{a}\right)\geq \left(a+b+c+d\right)^2$ then
$\sum_{cyc}{\dfrac{a}{b+c+d^2+a^3}}\leq \dfrac{\sum\limits_{cyc}{a\left(b+c+1+\dfrac{1}{a}\right)}}{\left(a+b+c+d\right)^2}$ $=\dfrac{\sum\limits_{sym}{(ab)}+ac+bd+a+b+c+d+4}{\left(a+b+c+d\right)^2}\overbrace{\leq}^{?} 1$ which is easy since
$a^2+b^2+c^2+d^2+\left(a+c\right)\left(b+d\right)\geq a+b+c+d+4$ $\Longleftrightarrow a^2+b^2+c^2+d^2\geq a+b+c+d$ where the last inequality is true by $abcd=1$ .
.

This post has been edited 1 time. Last edited by ehuseyinyigit, Aug 1, 2024, 10:58 PM

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

837 posts

#4 h Jun 28, 2024, 9:54 AM • 1 Y

Y by Assassino9931

I think that main idea in the problem is the same with JBMO 2019 #A.5. These problems are very related in their basis.

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

3 posts

Duk168

#6 h Aug 21, 2024, 3:45 PM

Y by

ehuseyinyigit wrote:

By Cauchy-Schwarz or Jensen, we have
$\sum_{cyc}{\sqrt{\dfrac{a}{b+c+d^2+a^3}}}\leq \sqrt{4\sum_{cyc}{\dfrac{a}{b+c+d^2+a^3}}}\leq 2$ It sufficies to show
$\sum_{cyc}{\dfrac{a}{b+c+d^2+a^3}}\leq 1$ But by C-S $\left(b+c+d^2+a^3\right)\left(b+c+1+\dfrac{1}{a}\right)\geq \left(a+b+c+d\right)^2$ then
$\sum_{cyc}{\dfrac{a}{b+c+d^2+a^3}}\leq \dfrac{\sum\limits_{cyc}{a\left(b+c+1+\dfrac{1}{a}\right)}}{\left(a+b+c+d\right)^2}$ $=\dfrac{\sum\limits_{sym}{(ab)}+ac+bd+a+b+c+d+4}{\left(a+b+c+d\right)^2}\overbrace{\leq}^{?} 1$ which is easy since
$a^2+b^2+c^2+d^2+\left(a+c\right)\left(b+d\right)\geq a+b+c+d+4$ $\Longleftrightarrow a^2+b^2+c^2+d^2\geq a+b+c+d$ where the last inequality is true by $abcd=1$ .
.

can you expl why
a^2 + b^2 + c^2 + d^2 >= a + b + c + d for abcd = 1

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

30252 posts

arqady

#7 h Aug 21, 2024, 3:49 PM • 1 Y

Y by ehuseyinyigit

Duk168 wrote:

can you expl why
a^2 + b^2 + c^2 + d^2 >= a + b + c + d for abcd = 1

It's Muirhead

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

87 posts

#8 h Nov 15, 2024, 2:08 PM

Y by

Duk168 wrote:

ehuseyinyigit wrote:

By Cauchy-Schwarz or Jensen, we have
$\sum_{cyc}{\sqrt{\dfrac{a}{b+c+d^2+a^3}}}\leq \sqrt{4\sum_{cyc}{\dfrac{a}{b+c+d^2+a^3}}}\leq 2$ It sufficies to show
$\sum_{cyc}{\dfrac{a}{b+c+d^2+a^3}}\leq 1$ But by C-S $\left(b+c+d^2+a^3\right)\left(b+c+1+\dfrac{1}{a}\right)\geq \left(a+b+c+d\right)^2$ then
$\sum_{cyc}{\dfrac{a}{b+c+d^2+a^3}}\leq \dfrac{\sum\limits_{cyc}{a\left(b+c+1+\dfrac{1}{a}\right)}}{\left(a+b+c+d\right)^2}$ $=\dfrac{\sum\limits_{sym}{(ab)}+ac+bd+a+b+c+d+4}{\left(a+b+c+d\right)^2}\overbrace{\leq}^{?} 1$ which is easy since
$a^2+b^2+c^2+d^2+\left(a+c\right)\left(b+d\right)\geq a+b+c+d+4$ $\Longleftrightarrow a^2+b^2+c^2+d^2\geq a+b+c+d$ where the last inequality is true by $abcd=1$ .
.

can you expl why
a^2 + b^2 + c^2 + d^2 >= a + b + c + d for abcd = 1

u can also use c.s like;
$(1+1+1+1)(a^2+b^2+c^2+d^2) \ge (a+b+c+d)^2$
$a^2+b^2+c^2+d^2 \ge \frac{(a+b+c+d)^2}{4}$
$(a+b+c+d)^2 \ge 4*(a+b+c+d)$ ==> $a+b+c+d \ge 4$ which is true by $AM-GM$

This post has been edited 2 times. Last edited by zaidova, Mar 4, 2025, 7:55 PM

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

126 posts

MR.1

#10 h May 9, 2025, 11:01 AM • 1 Y

Y by MIC38

first notice that $a^2+b^2+c^2+d^2\geq a+b+c+d$ from $abcd=1$
by Cauchy-Schwarz we have: $(b+c+d^2+a^3)(b+c+1+\frac{1}{a})\geq (a+b+c+d)^2$
so $\sqrt{\frac{a}{b+c+d^2+a^3}}\leq\sqrt{\frac{b+c+1+\frac{1}{a}}{(a+b+c+d)^2}}=\frac{\sqrt{b+c+a+\frac{1}{a}}}{a+b+c+d}$
so $LHS\leq \sum_{cyc}{\frac{\sqrt{b+c+1+\frac{1}{a}}}{a+b+c+d}}\leq \sqrt{{\sum_{cyc}{\frac{4(b+c+1+\frac{1}{a})}{(a+b+c+d)^2}}}}$
so we have to prove that $\sum_{sym}{b+c+1+\frac{1}{a}}\leq (a+b+c+d)^2\implies$
$4+ab+bc+cd+ad+2ac+2bd+(a+b+c+d)\leq (a+b+c+d)^2$
$4+ab+bc+cd+ad+2ac+2bd+(a+b+c+d)\leq a^2+b^2+c^2+d^2+2(ab+ac+ad+bc+bd+cd)$
$a^2+b^2+c^2+d^2+\left(a+c\right)\left(b+d\right)\geq a+b+c+d+4$
$a^2+b^2+c^2+d^2\geq a+b+c+d$ and we are done(i hate my life) :noo:

:noo:

:stretcher:

Z K Y

N Quick Reply

G

H

=

© 2025 AoPS Incorporated

a