Pressed
Pressed
Pressed
Founding Editor
DANIEL SITARU
Available online ISSN-L 2501-0099
www.ssmrmh.ro
www.ssmrmh.ro
FAMOUS
INEQUALITIES
MARATHON
1 – 100
www.ssmrmh.ro
Proofs by
Soumava Chakraborty – Kolkata – India, Ravi Prakash-New Delhi-India
Kunihiko Chikaya-Tokyo-Japan, Imad Zak-Saida-Lebanon
Adil Abdullayev – Baku – Azerbaidian ,Marian Dincă – Romania
Nguyen Hung Viet – Hanoi – Vietnam ,Rovsen Pirguliyev – Sumgait –
Azerbaidjian , Myagmarsuren Yadamsuren-Darkhan-Mongolia
Soumitra Mandal-Chandar Nagore-India, Seyran Ibrahimov-Maasilli-
Azerbaidjian, Uche Eliezer Okeke-Anambra-Nigerie
Hamza Mahmood-Lahore-Pakistan, Soumava Pal – Kolkata – India
Rudra Bikash Mandal – Kharagpur – India
Rozeta Atanasova – Skopje, Kevin Soto Palacios – Huarmey – Peru
Pham Quy-Quang Ngai-Viet Nam, Martin Lukarevski-Skopje
Ngo Dinh Tuan-Quang Nam-Da Nang-VietNam, Manish Tayal-India
Nguyen Minh Triet - Quang Ngai – Vietnam,Le Viet Hung –Hai Lang-Vietnam
Mehmet Sahin-Ankara-Turkey, Marian Ursarescu-Romania
Abdilkadir Altintas-Afyonkarashisar-Turkey, Nirapada Pal-Jhargram-India
Dan Radu Seclaman-Romania, Khanh Hung Vu-Ho Chi Minh-Vietnam
Muhammad Alhafi-Aleppo-Syria, Do Huu Duc Thinh-Ho Chi Minh-Vietnam
Serban George Florin-Romania, George Apostolopoulos-Messolonghi-Greece,
Saptak Bhattacharya-Kolkata-India, Thanasis Xenos-Greece
www.ssmrmh.ro
+ + ≤
+ + ≤ ( ) (Anderson’s Inequality)
= , = , =
− − −
( ) ( ) ( )
(1) ⇔ ≤
⇔ ( + + )−( + + )≤ ( )
+ + ( + + )
⇔ ( + + )−( + + )≤
⇔( + + )( + + )− ( + + )≤ ( + + )
⇔ + + + ( + )+ ( + )+ ( + )− ( + + )≤
≤ ( + + )
⇔ + + + ( + + )≥ ( + )+ ( + )+ ( + )
The above is Schur inequality for =
Solution 2 by Kevin Soto Palacios –Huarmey- Peru
Probar en un triángulo : + + ≤
La desigualdad es equivalente:
+ + ≤
⇒ + + ≤
www.ssmrmh.ro
⇒ + + ≤
( )( ) ( )( ) ( )( )
⇒( )( )
+( )( )
+( )( )
≤
+ + + −
( + − )( − + )
⇒ ≤
( + + ) + −
⋅
( + − )
⇒ ≤ → ( + − )≤ ( + + )
( + + )
⇒ + − − ≥ → ( − )( − ) ≥ →
( − ) ≤ + √ − ( − )
∏( − )
− ≤ ( )+ √ −
⇔( + ) ≤ + √ −
⇔( + ) ≤ + √ −
= + √ − +
⇔ + √ − ≥( + ) = ( + )
www.ssmrmh.ro
⇔ + √ − ≥ ( + ) (1)
of (1) ⏞
≥ ( − ) + √ −
it is sufficient to prove:
( − ) + √ − ≥( + )
⇔ + − √ + √ − ( − )
≥ + + +
⇔ √ − − √ − − − √ ≥
⇔( − ) √ − + − √ ≥
≤ + − √ −
= =
≤ + − √ − ⇔ ≤ + − √ −
⇔( )( )≤( )( )+
+( )( )− √ −
⇔ + − ≥√ −
www.ssmrmh.ro
⇔ + − ≥√ − (1)
( + )=
Let, ( ) = + −
( )= − −( (− )+ )
=( − )−( − )
=( − ){ − ( + )}
( )=− − + − (− )
=− − +
when ( ) = , either − = ⇒ = ⇒ =
⇒ + + =
⇒ + = ⇒ =
But < < , neither = , or = ⇒ + ≠
( )= ⇒ =
( )≥ = + − ⋅ =√ −
√ √ √ √
+ − ≥√ −
≤ + − √ −
www.ssmrmh.ro
≤ + − √ − (*)
[ ]= =
(*) ⇔ ≤ + − √ − ⇔ − ≤ − √
( = + )
+ +
< − ≤√ − ⇔ < ≤√
+ + √ √ +
= ≤ =√
√ + √ +
Proof 3 by Kunihiko Chikaya-Tokyo-Japan
Good Exercise for Quadratic function for Japanese Kids
rewritten as ≤ + − √ − .
Let + = ⇒ = , we have ≤ − √ − ⇔
< ≤√
www.ssmrmh.ro
≤ + − √ − (E) ⇔ + ≥ + √ −
upon squaring: + + ≥ + √ − + −√ ( + )
⇔( + ) √ − + −√ ≥
+
but ≤ = then we need to show that
( + ) √ − + −√ ≥ ⇔
( + ) √ − ≥ √ − ⇔
+ + ≥
+ +
=
≥ ⇔ + ≥ (Gerretsen)
⇔ + − ≥
⇔ + ≥( + + ) − ( + )( + )( + ) +
⇔ + ≥ − + + +
⇔ + ≥ +
⇔ { ( + )+ ( + )+ ( + )} ≥ +
⇔ { ( − )+ ( − )+ ( − )} ≥ +
⇔ ( + + )≥ +
⇔ { + ( + )} ≥ + ⋅ ( )
( = )
⇔ + ( + )≥ ⇔ + ( + )≥
⇔ ≥ − - true (Gerretsen)
5. In the following relationship holds:
BAGER’S INEQUALITY – 2
+ + ≥
www.ssmrmh.ro
+ + ≥
+ + + + + ≥
→ + + + + + ≥( + + ) ≥ + + ≥
∑ + ∑ ∑
≥ ≥
∑ ∑
Proof 2 by Soumava Chakraborty-Kolkata-India
In , + + ≥ (Bager’s Inequality - 1)
+ − + − + −
⇔ + + ≥
⇔ + − ≥
⇔ + ≥( + + ) − ( + )( + )( + ) +
⇔ + ≥ − + + +
⇔ + ≥ +
⇔ { ( + )+ ( + )+ ( + )} ≥ +
⇔ { ( − )+ ( − )+ ( − )} ≥ +
www.ssmrmh.ro
⇔ ( + + )≥ +
⇔ { + ( + )} ≥ + ⋅ ( )
( = )
⇔ + ( + )≥ ⇔ + ( + )≥
⇔ ≥ − – true (Gerretsen)
Proof 3 by Adil Abdullayev-Baku-Azerbaidjian
+ +
=
+ +
≥ ⇔ + ≥
= | − |, = | − |, =| − |
+ −
− − −
= = =
( − )( − ) ( − )( − ) ( − )( − )
− −
= = =
( − )( − ) − − − ⋅ − − −
= ( − )− ( − )+ ( − ) = ( − )( − )( − )
⇒∑ ( )( )
= , we shall obtain for:
www.ssmrmh.ro
−
=
− − − ⋅ − − −
And
+ +
− −
= = ≥
|( − )||( − )| ( − )( − )
+
−
≥ =
( − )( − )
= , = , = ,
it follows that
+ + ≥
as desired.
Proof 6 by Soumava Chakraborty-Kolkata-India
In , + + ≥ (Bager’s Inequality – 2)
In , is the centroid.
is a parallelogram.
In , , , are the medians.
In , is the mid-point of and, and is the mid-point of
= =
www.ssmrmh.ro
In quadrilateral , = = and ∥
is a ∥ ⇒ = =
Of course, =
= , = , =
+ + ≥
+ + ≥
⋅ ⋅ ⋅
⇒ + + ≥
⇒ + + ≥
≤ ≤ ≤ ≤
≤ ≤ ≤ ≤ .
Lemma 1.
www.ssmrmh.ro
≤ ≤
Lemma 2.
= ⋅ = ( − − )
=( + ) − .
Lemma 3.
= .
≤ ⇒ ≤
≤ ≤ ⇒ ≤ ≤ ⟺
⇔ ≤ ≤ .
≤ ⇔ ≤ + + .
?
⏞
≤ + + ⏞
≤ + + ⇔ ≥ .
7. In the following relationship holds:
BANKHOFF’S INEQUALITY - 2
+ + ≤ +
Proof 1 by Adil Abdullayev-Baku-Azerbaidian
+ +
= ≤ + ⇔ ≤ + − .
www.ssmrmh.ro
⏞
≤ + + ≤ + − ⇔ ≥
Proof 2 by Soumava Chakraborty-Kolkata-India
= , = ⇒ =
(1) ⇔ ≤
( + + )
⇔ ≤ =
( + + + ) ( + + + )
⇔ ≤ ,which is the
Now, + + = + +
( + + )
= + + = ( + + )
((∑ +∑ ) + ) ( + + + )
= ⏞
≤
= + ≤ − + using (1)
= − + = +
8. In non – obtuse the following relationship holds:
BARRERO’S INEQUALITY – 1
+ + ≤
+ + ≤
√ +√ +√ + + ≥
≥ + +
AHORA BIEN:
√ +√ +√ ≤ ( + + )≤
+ + √ √
≤ ≤ × =
√ +√ +√ = + + ≤ =
√
≥ + +
√
⇒ = ≥ + +
+ + ≤ + +
+ + ≤ + +
De la deisgualdad:
+ + ≥ (− ) ( + + ) ( )
Donde: , , ∈ ℝ, ∈ ℤ.
Sea: = , = , = , =
= , = , =
La desigualdad es equivalente (1)
+ + ≤ + +
+ + ≤ + +
where = , = , =
=[ −( + )] +
where
= + − −( + )
It is sufficient to show ≥
But
= + − {− ( + )+ }
=( − ) ≥
www.ssmrmh.ro
10. In : + + = , + + =
BEATTY’S INEQUALITY – 1
( − )( − ) ( − )
≤ ≤ , = [ ]
= − − , = + +
− = +
− =− + +
( − )( − )
≤
( + )(− + + )
⇔ ≤
⇔− ( + )+( + )( + )− ≤
⇔ ( + )≥ ( + ) (1)
Gerretsen ⇒ ≥ −
of (1) ≥ ( − )( + )
it suffices to show: ( − )( + ) ≥ ( + )
⇔ + − ≥ + +
⇔ ≥ ⇔ ≥ → true (Euler)
( − )( − )
≤
( ) ( )
Again, ≤ ⇔ ≥
www.ssmrmh.ro
( − )
≤
+ + ≥ √ ⋅ ⋅ , , ≥ √ ⋅
= and = ⇒ = ( + − ) (*)
we have ( − − ) ≥ ⇒
⇒ + + + + + ≥ + − ⇒
⇒ + + + + + ≥
(∗)
≥ ( + − )=
⏞
and ( + + ) ≥ ⇒ + + ≥ √ ⋅ ⇒
⇒ + + ≥ √ ⋅ , ,
Desde que:
= , = , =
+ + = ( + + )
+
( + + )− ( + + )≥ −√ ≥ √
+
⇒( − )+( − )+( − )+√ ≥
+ + +
⇒ + + +√ ≥ + +
Desigualdad Popoviciu:
Sea una function a partir de un intervalo ⊆ ℝ × ℝ.
Si es covexa, entonces para cualesquiera tres puntos: , , de , se cumple
lo siguiente:
+ + + + +
( )+ ( )+ ( )+ ≥ + +
Desde que:
( )= , ( )= , ( )= , + + =
⇒ + + +√ ≥ + + …(LQQD)
∑ −√ ≥ √ , ∑ ≥√
+ +
+
⏞
≥ = =√
+ + ≥ + ( + ) ( − ) + ( − ) ≥ √
www.ssmrmh.ro
+ + ≥ + ( + ) ( − ) + ( − ) ≥ √
= ( − )( − )( − ) = ( + + )
La desigualdad es equivalente:
( + ) +( + ) +( + ) ≥ ( + + )+ ( + + ) ( − ) + ( − )
⇒ + ≥ ( + + )+ ( + + ) − + −
www.ssmrmh.ro
⇒ + − − ≥ ( + + )+ −
⇒ ≥ ( + + )+ −
⇒ ( + + ) ≥ ( + + )→( + + ) ≥ ( + + )
( + + )+ ( + + ) ( − ) + ( − ) ≥
≥ √ ( + + ) … (LQQD)
Proof 2 by Myagmarsuren Yadamsuren-Darkhan-Mongolia
+ + ≥
⏟ + ( + ) ( − ) + ( − ) ≥
⏟ √
1) Lemma: √ ≤ + :⇒ √ ⋅ ⋅ ≤ ⋅( + )
⇓
√ ⋅ ≤ ⋅( + )
+ ⋅( + )⋅ ( − ) + ( − ) ≥
≥ √ + √ ⋅ ⋅ ( − ) + ( − ) =
= √ ⋅ + ( − ) = √ + ( − )
: √ + ( − ) ≥ √
www.ssmrmh.ro
Now, ≤ + − + ( − )√ −
(Baric Triangle Inequality → Rouche’s Inequality)
it suffices to prove:
( + )
+ − + ( − ) − ≤
( − )
⇔ ( − )( − + ) ≥ ( − )( − ) −
where =
⇔ ( − ) {( − + ) − ( − ) ( − )} ≥
⇔( − ) ( + + )≥ → true; ≥
( + )
≤
( − )
( )
Now, let’s prove: ( )
≤ + +
⇔ + + ≤ + + −
⇔ − ≥ ⇒ ≥ → true
www.ssmrmh.ro
( + )
≤ + +
( − )
Proof 2 by Soumitra Moukherjee-Chandar Nagore-India
( )
In , ≤ ( )
≤ + +
Lemma.
In any triangle ,
≤ + − + ( − ) ( − )
we need to prove,
( ⋅ + )
+ − + ( − ) ( − )≤
( − )
+
⇔ + ⋅ − + − − ≤
−
( )
⇔ + − + ( − )√ − ≤ ( )
, where = and ≥
⇔ ( + + )≥( − )+( − )− ( − )+
+ ( − ) ⋅ ( − )√ −
⇔ − + − ≥ ( − )( − ) ( − )
⇔( − + − ) ≥ ( − ) ( − )
⇔{ ( − ) −( − + )} ≥ ( − ) ( − )
⇔ ( − ) − ( − ) ⋅( − + )+( − + ) ≥
≥ ( − ) ( − )
⇔ ( − ) { ( − ) − ( − + )− ( − ) }+
+( − + ) ≥
www.ssmrmh.ro
⇔ ( − ) ( − − + )+( − + ) ≥
⇔ ( − ) ( − − + )+( − + ) ≥
which is true
( )
≤ ( )
(proved)
Again, ( + ) ≤( − )( + + )
⇔ + + ≤( − )+( − )+( − )
⇔ − ≥
⇔ ≥ , which is true
( )
≤ ( )
≤ + + (proved)
≤ + √ −
Proof by Kevin Soto Palacios-Huarmey-Peru
Tener presente lo siguiente en un triángulo:
=
= → =
La desigualdad es equivalente:
≤ + √ −
⇒ ≤ + √ − (Blundon’s Inequality)
De la desigualdad de Gerretsen:
≤ + + → + + ≤ + √ −
+ + ≤ + √ − + − √
www.ssmrmh.ro
⇒ √ − + − √ ≥
⇒ ≥ → √ − + − √ ≥ √ − + − √ ≥
( − ) + ≥ ,( − )( + )≥
> 2 (Euler)
Proof 4 by Soumava Chakraborty-Kolkata-India
( − )( − )( − ) ≤ (Bottema’s Inequality)
⇔ ( − )( − )( − ) ≤
www.ssmrmh.ro
⇔ ≤ ⇔ ≤ √ = √ ( )
√
⇔ ≤ → true (Mitrinovic)
( + ) ≥ ( + + ) ( )
We know
( + )≥
⇒ ( + ) ≥ ≥ ( + + )
( + + ) ≥ ( + + )⇒ ( + ) ≥ ( + + )
= + , = + , = +
the inequality is equivalent to:
( + + ) ≤ ( + ) ( + ) ( + )
and use Tiberiu Popoviciu inequality for convex function
( )=− , >0
+ + + + +
− − − − ≥− − −
and use the well – known inequality | − | ≥ | | − | | for any complex numbers
, ∈
Let = ( − )( − ) and = ( − )( − )
|( − )( − )| = |( − )( − ) − ( − )( − )| ≥ |( − )( − )| − |( − )( − )|
( ) ≥
√
Solution 1 by Adil Abdullayev-Baku-Azerbadjan
√
( ) ≥ ⇔( ) ≥ ⇔ ≤ ⋅
√ √
LEMMA. ≤ ≤
√
√
≤ ≤ ⋅ = ⋅ .
√ √
Solution 2 by Hamza Mahmood-Lahore-Pakistan
Let ( ) = , ∈( , )
( ) is concave on ( , ). By Jensen’s inequality,
⇒ ≥ ( )⇒ ≥
√ √ √
⇒ ≥ ⇒ ≥ ⋅ ⋅ ⇒ ≥
( )
www.ssmrmh.ro
⇒( ) ≥ ⇒( ) ≥
√ √
Solution 3 by Soumava Chakraborty-Kolkata-India
( )
( ) ≥ ⇔( ) ≥ ⋅ =
√ √ √
⇔ √ ≥ ⇔ ≤ √
Klamkin’s inequality ⇒ ≤ ( + + )≤ √ (Mitrinovic)= √
19. In the following relationsip holds:
CHILD’S INEQUALITY GENERALIZED
+ + ≥ ⋅ , ∈ℕ
ʹʹ ( )= + >
∑
so applying Jensen’s Inequality, ≥ =
≥ ⋅
+
= = ≥ ⇒ ≥
+ + −
www.ssmrmh.ro
+ +
≥ ≥ ≥ ⋅
+ + ≥
+ +
+ + ≤ = ( °) =
( + + ) + + ≥ ↔ + + ≥ ≥ ∙ =
( + + )
Proof 2 by Adil Abdullayev – Baku – Azerbaidian
+ + ≥
⏞
≥ ⋅ = ⋅ ⏞
≥ ⋅√ =
Required to prove: In + + ≥
interval , .
+ + + +
≥ = =
+ + ≥
+ +
≥
+ +
⇒ + + ≥
+ +
Now ≤
≥
+ +
+ + ≥ ≥ ⋅ =
+ +
= + + ⏞
≥
⋅ = = = =
+ +
+ + ≥
= − ⋅ (since = )
− +
≤ − ⋅ ⏞
≤ ⋅ =
⏞
≥ ≥ =
⋅ ⋅
+ + ⏞
≥
⋅ ⋅ ⋅
≥ = ≥
⋅ ⋅
www.ssmrmh.ro
+ + ≥
⋅
= ≥ ⋅ =
⇒ + + ≥ √ =
+ + ≤
+ + ≤
Sea: = , = , =
De la siguiente desigualdad:
+ + ≥ + +√
www.ssmrmh.ro
+ + ≤ + + ≤
+ + ≤ (Child)
⏞
≤ = ⏞
≤ =
+ + ≤
Por: ≥
≤( , ) +( , )
≤( , ) +( , )
≤( , ) +( , )
+ + ≤ + + ≤
23. If ≥ ≥ ≥ , , , ∈ ℝ,
≤ , + ≤ + , + + ≤ + + then
www.ssmrmh.ro
CHUNG’S INEQUALITY
+ + ≤ + +
Proof 1 by Ravi Prakash - New Delhi – India
≥ ≥ ≥ , , , ∈ ℝ.
≤ , + ≤ + , + + ≤ + +
+ + =
= + ( + − )+ ( + + − − )=
= ( − )+( + )( − )+ ( + + )≤
≤ ( − )+( + )( − )+( + + ) =
= + ( + − )+ ( + + − − )=
= + + ≤ + + + +
[CS inequality]
⇒ + + ≤ + +
+ + ≤ + +
Proof 2 by Marian Dinca-Romania
≥ ≥ ≥ , , , ∈ℝ
≤ , + ≤ + , + + ≤ + +
result: + + ≤ + +
let | |= ≥ , = , , because: ≤ | |, for any ∈
result:
≤ ≤| |= , + ≤ + ≤| |+| |= +
+ + ≤ + + ≤| |+| |+| |= + +
the function ( ) = , ≥ , is convex and increasing
www.ssmrmh.ro
imply: ʹ ( ) ≥ ʹ( ) ≥ ʹ( )≥
result: ( ) − ( )≥( − ) ʹ( )
( )− ( )≥ ( − ) ʹ( )=
where: = − , = ʹ( ) and: ≥ , + ≥ , + + ≥
and: ≥ ≥ ≥ , use Abel identity or inequality
= ( − )+( + )( − )+( + + )⋅ ≥
we obtain: + + ≥ + + , or =| | =
we shall obtain:
√ +√ +√ + + ≤
√ √ √
Proof 1 by Kevin Soto Palacios – Huarmey – Peru
Probar en un triángulo :
√ +√ +√ + + ≤
√ √ √
1) Tener en cuenta las siguientes desigualdades en un triángulo que han
sido demostradas anteriormente:
≥ + , ≥ + , ≥ + , ≥
www.ssmrmh.ro
⇒ + + + + + + ≤ … (A)
+ ≥ + → + − + − =
= + − + + ≥
⇒ + + + + + + ≤
≤ + + + + + + ≤ + ≤ + = … (LQQD)
= √ +√ +√ + + ≤
√ √ √
⋅√ + ⋅√ + ⋅√ ≤ ( + + )( + + )
⋅√ + ⋅√ + ⋅√ ≤ ( + + ) + +
≤ ⋅ ( + + ) + +
www.ssmrmh.ro
+ + ⋅ + ⋅ + ⋅
= =
1. + + =
2. + + = ⋅ ⋅ + ⋅ ⋅ + ⋅ ⋅ =
+ + + ⋅ +
= + + = =
⋅ ⋅
+ ⋅ + + ⋅ +
≤ ⋅ ⋅ = ⋅ ≤
⋅
+ ⋅ + ⋅( + )
≤ ⋅ = = ⋅( + )⋅ ≤
⋅ ⋅ ⋅
≤ ⋅ + ⋅ =
( )⋅
= √ +√ +√ √ + + =
√ √ √ √
= + + + + + + =
+ + + − − −
= + + + = + + +
√ √ √ √ √ √
= + + + − + + (A)
√ √ √ √ √ √
Now, + + ≤ + + (1)
√ √ √
www.ssmrmh.ro
Again, + + ≥ =
√ √ √
⇒− + + ≤− (2)
√ √ √
≤ = =
≤ ⇔ √ +√ +√ + + ≤ ⇔
√ √ √
⇔ ≔ √ +√ +√ + + ≤
√ √ √
≤ ( + + ) + + ≤ ⇔
+ +
⋅ ≤ ⇔ ≤ − −
≤ + + ≤ − − ⇔ − ( + ) ≥
≔ ⇒ ≥ . − ( + ) ≥ ⇔ ( − )( + + )≥ ⇔
www.ssmrmh.ro
25. In , ≠ ≠ ≠ :
CÎRTOAJE’S INEQUALITY
+ + >√ −
− − −
Proof by Seyran Ibrahimov-Maasilli-Azerbaidjian
≠ ≠
+ + > + + = + + ≥ >√ −
− − −
26. In the following relationship holds:
CURRY’S INEQUALITY
√ ≤
+ +
www.ssmrmh.ro
⇒ = ( + + )( + − )( + − )( + − )
We have inequality ( + + )( + − )( + − )( + − )≤ √
⇔ ≥ ( + + )( + − )( + − )( + − )
+ − = + + = + +
Let + − = ⇒
= , = , =
+ − =
Need to prove that: ( + ) ( + ) ( + ) ≥ ( + + )
Because: ( + + )( + + ) ≤ ( + )( + )( + )
⇒ ≥ ( + + )( + + )( + + ) ≥ ( + + ) ( ) =
( + + ) ( + + )
+ + ≥ ≥ ≥
+ + + ( + + ) ( + + )
Proof by Soumitra Mandal - Chandar Nagore – India
( )
∑ =∑ ≥ [Applying Bergstrom’s Ineq]
( )
( ) ∑
we will prove, ( )
≥ ( )
( )
⇒ ≥ where = + + and = + +
⇒ ≥ ( − )⇒ − − ( − )≥
⇒( − )( + − )≥
www.ssmrmh.ro
⇒( − ) ( + ) ≥ , which is true
again,
∑
≥ ⇒ ≥
∑
so,
∑ ∑
≥ ≥ ≥
+ ∑ ∑
∏
≤ ⇒ ≤
= ≤ = ≤
= + + ≤ + +
∑
⇒ ≤ ⇒ ≤ = ≤
⇔ ⋅ ≤ ⇔ ≤
+ + = ≤ = (Klamkin’s inequality)
( + )≤ ⇔ ⋅ ⋅( + + )≤ ⇔
⇔ ( + + )≤( + + ) ⇔
⇔ ( + + ) ≤( + + ) .
≤( + ) ⇔ ( + + )≤( + + ) .
−( + ) + − = ⇔
= , = , = .
ROLLE THEOREM ⇒ − ( + ) + =
≥ ⇔ ( + ) − ≥ ⇔ ≤( + ) .
− + + ( + ) − = ⇔
www.ssmrmh.ro
= , = , = .
ROLLE THEOREM ⇒ − + + ( + )=
≥ ⇔ − + ( + ) ≥ ⇔ ≥ ( + )
= + , = = .
≥ +√
= ≥ ⇐ + =
+ − √ √ + −
= = +√
√ −
Proof 2 by Manish Tayal-India
∘
Without lose of generality say: ∢ = ⇒ + =
Also + ≥ ⇒ ≥
⇒ ≥√ ⇒ ≥√ ⇒ ( + )≥ √
+ ≥ √
Now
= , = ⇒ = ( )( )
, = , =
( + + ) + ( + ) ( + )
⇒ = ⇒ = = +
⋅ ⋅
www.ssmrmh.ro
≥ +√
≥ +√ ⇔ ≥ +√ ⇔ + ≤√ ⋅ ⇔
+ −
⇔( + ) ≤ = ( + )⇔( + ) ≤ ( + )
Proof 4 by Marian Dinca-Romania
= = , = , + =
√
+ − − −√
≤ = = = =
≥ = =√ +
√ −√ √ −
⋅
+ = °⇒ =
www.ssmrmh.ro
= , = = , ≥ +√
≥ + − +√ , ≥ ( + − ) +√
√ − ≥ + – , + ≤√ , ≤
31. In acuteangled :
ERDOS’ INEQUALITY
+ ≤ ( , , )
Proof by Soumitra Mandal-Chandar Nagore-India
+ ≤ { , , }= , , =
{ , , }
⇔ { , , }( + ) ≤ ( )
Now, + = ∑ = + + , where
, and are the mid – points of , and respectively and is the
circumcentre.
Now, we have,
{ , , }( + ) ≤ ⋅ + ⋅ + ⋅
= (area of ) + (area of )+(area of )= .
+ ≤ ( , , )
www.ssmrmh.ro
+ +
≤ <
+ +
⇒ ≥ ≥ ⇒ ≥ ≥ (2)
( , , ∈ , and is increasing in , )
∑ ∑
≥ ⇒ ≥ =
∑
+ > , + >
+ >
⇒( + ) >
>
⇒( + + ) > ⇒ >
⇒ > ⇒ >
∑
⇒ > ⇒ >
∑
≥( )( )+( )( )+( )( )= ⏞
≥ ⇔ ≥
Proof 2 by Kevin Soto Palacios – Huarmey – Peru
+ + ≥ ... (A)
Tener en cuenta lo siguiente:
= ( + + )( + − )( + − )( + − )
⇒ = ( + + )( + − )( + − ) −( − )
⇒ = (( + ) − )( −( − ) )
⇒ = (( + ) + ( − ) ) − −( − )
⇒ = ( + )+ − − −
Reemplazando en … (A):
+ + ≥− − − + + +
⇒≥ + + ≥ + + ⇔( − ) +( − ) +( − ) ≥
Proof 3 by Seyran Ibrahimov – Maasilli – Azerbaidjian
+ ≥
+ ≥ ⇒ ( + + )≥ ( )
+ ≥
⋅
( + + )≥ , ( + + )≥ , ≥ , ≥ (Euler)
≥
⇒ + + ≥
⇒ + + ≥
⇒( + )+( + )+( + )≥
⇒ + + ≥ →
→ + + + ( + + )≥
⇒( + + ) ≥ ⇔ + + ≥ √ … (Válido en un
triángulo )
Proof 5 by Marian Dinca – Romania
Let: = + , = + , = + , , , ∈ℝ
= ( + − )= ( + ) = ( + + )
= ( + )( + ) = ( + + + )=
= + ( + + )≥ ( + + )⇔
≥ ⇔ ( − ) ≥
≤ + + ≤ + + ≤ + ≤
≤ +
Lemma
www.ssmrmh.ro
≤ − √ −
≤ − √ − ⏞
≤ + √ − − √ − =
= + .
( + + ) + + ≥ ⇔( + + )⋅ ≥ ⇔
⇔ + + ≥ .
( + + ) = + ≤ + + =
= − − ⏞
≤ + + − − =
= + + =( + ) − ( − ⏞ (
) ≤ + ) .
+ ⏞
≤
2. + ≤ → Usar: ≤
+ + ≤ + ≤ + ≤
3. + + ≥ + +
Por desigualdad de Tereshin (Ya demonstrado anteriormente)
≥ +
www.ssmrmh.ro
+
+ +
≥ = = ≥ → ≥
Por la tanto: ∑ ≥∑
4) + + ≥
= + + ≥ → ≥ → + + ≥
+ + + +
Por la cual utilizaremos los siguientes desigualdades para y algunas identidades
para su desarrollo:
( + + )≤ + + + (A) → (Esto ya se
demostro)
≤ + + (B) → (Esto ya se demostro)
= = → =
( + + ) ≤ (M)
Si: = ⇔ = ( − )( − )( − ) → ( − )( − )( − ) =
− ( + + )+ ( + + )− = → + + = + = + +
⇒ (M): →
+ + + + +
→( + + ) ≤ = − −
+ − ≥ + + → ≥ → ≥ (Des. Euler)
37. In the following relationship holds:
JANIC’S INEQUALITY – 1
( + + )≥ ( + + )
Proof by Adil Abdullayev – Baku – Azerbaidian
www.ssmrmh.ro
( + + )≥ ( + + )
+ + + +
≥ ⇔ ≥ ⇔
⇔ ≥ …( )
≤ ⇔ ≥ ⇒( )⇔ ≥
38. , , ∈ ℝ, ∈ ℤ. In :
KLAMKIN’S INEQUALITY
+ + ≥ (− ) ( ( )+ ( )+ ( ))
Solution 1 by Kevin Soto Palacios-Huarmey-Peru
+ + ≥ (− ) ( ( )+ ( )+ ( ))
Se puede reeescribir la ecuación como:
+ (− ) ( + )+ + + (− ) ≥
Compleatando cuadrados conveniemente:
+ (− ) ( + ) + + + (− ) ≥
≥( + )
+ (− ) ( + ) + + + (− ) ≥
≥ + +
Desde que: + (− ) ( + ) ≥
Por la cual falta probar que:
+ + (− ) ≥ + +
+ + ((− ) − ) ≥ ( )
1) Si: = → ( + + )= → ( )= ( + )= −
www.ssmrmh.ro
1) en ( ) → + − ( ) ( )≥
⇒( ( )− ( ))^ ≥
2) Si: = + → ( + + )= ( + )
Por lo tanto:
( )=− ( + )=− + ( ) ( )
2) en ( ) → + − ( ) ( )≥
⇒( ( )− ( )) ≥
La igualdad se alcanza cuando: ( )
= ( )
= =
( ) ( ) ( )
Solution 2 by Soumitra Mandal - Chandar Nagore – India
Case I: When is an even number i.e. =
+ + ≥ (− ) ( + + )
⇔ + + ≥− − −
⇔ + ( + )+( + ) +
+ + + ≥( + )
⇔( + + ) + + + ≥
≥ ( − )+ ( − )+
⇔( + + ) + + +
+ { ( − − )− }≥
⇔( + + ) +( − ) ≥
which is true
Case II: Let be an odd integer i.e. = +
+ + ≥ (− ) ( + + )
www.ssmrmh.ro
⇔ + + ≥
⇔ − ( + )+( + )
+ + + ≥( + )
⇔( − − ) + + +
≥ ( − )+ ( − )+
⇔( − − ) +( − ) ≥
which is true
Considering Case I and Case II,
+ + ≥ (− ) ( + + )
proved
39. In the following relationship holds:
KLAMKIN’S INEQUALITY – 4
≤ + √ −
Proof 1 by Adil Abdullayev – Baku – Azerbaidian
Lemma.
> > >
olarsa, onda
+ + =
( − )( − )( − ) ≤ √ − olar.
Isbati: < + + = ⇒ < . Analoji
< ve < olar. Buradan alinir ki
ve - den en coxu biri - den boyuk olmaya biler.
Bu halda berabersizlik dogrudur. > > > .
halina baxaq. = − = − ve = − olsun.
www.ssmrmh.ro
= ( + )( + )( + ) ⇔
⇔ + + = + + + + + + + ⇔
⇔ + + + = + + + + = + + ⇔
⇔ = + + + ≥ + ⋅ ( ) ⇔ ≥ + ⋅ ( )
√ = olsun. + − ≤ ⇔( + ) +√ + + −√ ≤ ⇔
⇔ ≤√ − ⇔ ≤ √ − ⇔ ( − )( − )( − ) ≤ √ − .
Lemma:
Let > > > ∧ + + = .
( − )( − )( − ) ≤ √ − .
Let = = = ⇒ + = = = .
− − − ⏞
≤ √ − ⇔ ≤ + √ −
≤ + √ −
Elevando al cuadrado la expresión:
≤( ) + √ − + ( ) √ −
≤ + + ≤ + − √ + √ −
Solo es suficiente probar:
+ + ≤ + − √ + √ −
⇒( − )+ √ − √ ≥ ⇔
www.ssmrmh.ro
⇔− ( − )+ √ ( − )=( − ) √ −
Siendo: √ − ≥ √ − >
Quenda demostrado que: ( − ) √ − ≥ ⇔ (Desigualdad de Euler)
Proof 3 by Soumava Pal – Kolkata – India
√ > √ = × = > =
√ − >
⇒( − ) √ − ≥ ( ≥ by Euler)
⇒ √ − √ + − ≥
⇒ − √ − + √ − − ≥
⇒ − √ + √ − ≥ +
⇒ + − √ + √ − ≥ + + ≥
(Gerretsen)
⇒ + √ − ≥
⇒ + √ − ≥
Proof 4 by Soumava Chakraborty – Kolkata – India
≤ + − + ( − ) −
(Basic Triangle Inequality)
≤ + √ −
⇔ ≤ + √ − + √ −
it suffices to show that:
+ − + ( − ) − ≤ + √ − + √ −
www.ssmrmh.ro
⇔ ( − ) − ≤ + √ − + + √ −
⇔( − ) − ≤ + − √ + √ −
=( − − )+ − √ + √ −
= ( + )( − )+ −√ − −√
= ( + )( − )− −√ ( − )
=( − ) + − −√
⇔( − ) ( − )≤( − ) + − −√
⇔( − ) ( − )≤( − ) + + + − √ − −√ ( + )
⇔( − ) + + − √ − −√ ( + ) ≥
⇔ ( − ) + − √ − − √ ( + ) + ≥
⇔ ( − ) − − √ − − √ + − √ + ≥
⇔ ( − ) √ − + − √ + ≥
Using ≥ √ − + − √ ≥ − √ >
> √
√ − + − √ + >
⇒ ( − ) √ − + − √ + ≥
( ≥ → Euler)
40. In the following relationship holds:
KLAMKIN’S INEQUALITY
+ ≥
Proof by Adil Abdullayev-Baku-Azerbadjan
Gerretsen berabersizliyi:
www.ssmrmh.ro
≥ −
Proof 1
= −
= − ⇒ + + = ⇒
= −
⋅ + ⋅ + ⋅ ≤ ⇔ ≥ − .
Proof 2
+ −
= ≥ ⇔ ≥ −
≤ ( − ), ≤ ( − )
La desigualdad es equivalente:
( − )+ ( − )+ ≤ √
( − )+ ( − ) ≤ ( − )+ ( − ) ( + )
( − )+ ( − ) ≤ + ( − − ) ( )
+ + − −
( − )+ ( − ) ≤ −
( )( ) ( )( )
Pero: ≥ ,− ≤
www.ssmrmh.ro
( − )+ ( − ) ≤( − )→
→ ( − )+ ( − )≤ −
( − )+ ( − )+ ≤ − +
Demostraremos que:
− + ≤ √ → − ≤√ − ⇔√ >
Elevando al cuadrado la expresión:
− ≤ √ − → − ≤ + − √ →
→ − √ + ≥ → −√ ≥
Proof 2 (detalied) by Kevin Soto Palacios-Huarmey-Peru
Probar en un triángulo : + + ≤ √
Recordar lo siguiente en un triángulo :
( − ) √
= → = = ( − )≤ ( − )
+ + +
Por la tanto, si ≤ ( − ), ≤ ( − )
A continuación demostraremos que:
( − )+ ( − )≤ ( − )
Elevando al cuadrado la expresión se tiene:
( − )+ ( − )+ ( − )( − ) ≤ − →
→ ( + )− ≥ ( − )( − )
Elevando al cuadrado la expresión nuevamente:
+ − + −
⇒( ( + )− ) ≥ →
www.ssmrmh.ro
→( ( + )− )≥ ( −( − ) )
⇒ ( − ) +( ( + )− ) − ≥ →
→ ( − ) +( ( + )+ − )( ( + ) − − )≥
⇒ De: ( − ) +( ( + )+ − )( ( + ) − − )≥
+ + + − + −
⇒ ( − ) +( − ) − ≥
⇒ ( − ) +( − )(( + ) − − )≥
⇒ ( − ) −( − )( − ) ≥ → ( − ) ≥ (Lo cual es cierto)
Por la tanto:
+ + ≤ ( − )+ ( − )+ ≤ ( − )+ ≤ √
⇒ ( − )≤ √ − → − ≤ − √ +
⇒ − √ + ≥ → −√ ≥
42. In the following relationship holds:
LEUENBERGER-CARLITZ’S INEQUALITY
( + )≤ ≤ ( + ) +
Proof by Kevin Soto Palacios – Huarmey-Peru
Probar en un triángulo :
( + )≤ ≤ ( + ) +
1. ≤ ( + ) +
De la desigualdad Gerretsen: ≤ + +
≤ + + ≤ ( + + )+
→ + + ≤ + + ⇔ ≥ → ≥ (Desigualdad de Euler)
2. ( + )≤
Por último, desde que:
www.ssmrmh.ro
≥ − → ≥ − ≥ + ⇔ ≥ → ≥
(Desigualdad de Euler)
43. In the following relationship holds:
LEUENBERGER’S INEQUALITY
≤ + + ≤
≤ + + ≤ (Leuenberger’s Inequality)
AM-HM ⇒ + + ≥ = =
∑
≥ ≥ ⇒ ≥ ⇒ ≤ =
≤ ≤
( − )≤
≤ ( + )⇒ ≥ ; ( + > )
( + )
≥ = =
( + ) ( + ) +
( − )− ( + ) ( − )+
= =
+ +
It suffices to show:
www.ssmrmh.ro
( − )+
≥ ( − )
+
⇔ ( − )+ ≥ ( − )+ ( − )
⇔ ( − ( − )) ≥ ⇔ − ( − )≥
( > , as is acute – angled)
⇔ ( − ) ≤ , which is true, equality when = , that is when =
(Proved)
Solution 2 by Soumava Pal – Kolkata – India
= ∠ = ∠ (∠ =∠ From (1))
is cyclic ⇒ ∠ =∠ =∠ ⇒ ∠ = ∠ =
Now ∠ <∠ = −
≤ ≤
= = ∧ ≥ √
1. ≤ → ≤ →
2.
√
→ ( ) ≤ → ≤
2. ≤ → = ≥ √ → ≥ √ → ≥ →
≤ → ≤
In , ≤ ≤ (Makowski’s inequality)
www.ssmrmh.ro
≥ ⇔ ≥ ⇔ ≤
√
Isoperimetric inequality ⇒ ≤ ( + + )
√ √ √
⇒ ≤ ( )= ⇒ ≤ ⇒ ≤
√ ⋅
≤ → = ⋅ = (Proof)
≤ ⇔ ≤ ⇔ ≤ ⇔ ≥
≥ >
+ − +
Proof:
Use reverse Bernoulli inequality:
( − ) ≤ − , ∈ ( , ), ∈( , )
The reverse Bernoulli inequality is equivalent Bernoulli inequality:
( − ) ≥ − , for ≥ and ∈( , )
www.ssmrmh.ro
Let = ≥ and = ∈( , )
We obtain: ( − ) ≥ −( )⋅ = −
( − ) ≥ − ⇔ − ≥( − )
Proof Lemma:
Let = − , = − , , ∈( , )
− −
=( − ) = ≥ = =
( − ) − − ( − )( − )
= =
− + + − + −
47. In the following relationship holds:
MATIC’S INEQUALITY
+ + ≥ ⋅ , ∈ ℕ∗
+ + +
Proof by Hung Nguyen Viet-Hanoi City-Vietnam
Without loss of generality we can assume that ≥ ≥ . This implies
≥ ≥
+ + +
Hence according to Chebyshev’s inequality and using some known familiar
inequalities, we have
+ + ≥ ( + + ) + +
+ + + + + +
+ +
≥ ( + + )⋅ ≥ ⋅
( + + ) ( + + )
= ⋅ = ⋅
www.ssmrmh.ro
( + + + ) + ≤( + )( + )
+ +
( + + + + + ) + + ≤
+ + +
≤( + + )⋅( + + )
( + ) ≤ , ∈ , ; ≥ , > 0; >0
+
= − + = −
+ + +
(
+ ⋯+ ) ( + ⋯ + )( + ⋯ + )
≤ − = .
( + ⋯+ ) + ( + ⋯+ ) ( + ⋯+ ) + ( + ⋯+ )
≤ + + ≤
≤ + + ≤
+ + ≤( + + ) + +
+ + ≤( )
www.ssmrmh.ro
+ + ≤
≤ → ≤
≤ ∏ ∑ , ≤∑ → Por ≥
≥ = ⇔ ≥ √
+ + ≥ √ ( ≥ )
( − ) ( − ) ( − )
= √
= √ ( − )( − )( − ) = √
= √ it suffices to show √ ≥ ⇔ ≥ ⇔ ≥
Now, ≥ − (Gerretsen)
It suffices to prove − ≥ ⇔ ≥ (true)
+ + ≥ , Also, + +
⏞
≤ + + ≤ =
+ + ≤( ) ∗ ∗ =
www.ssmrmh.ro
( + + ) + + ≤
√
( × )≤ ∗ ∗ = =
≤ + +
+ + +
= + +
= ( + )+ ( + )+ ( + )
+ − + − + −
= + +
− − −
= + +
≤ + +
= , = , ∈ ,
MITRINOVIC’S GENERALIZED INEQUALITY
≥ , = semiperimeter
≥
www.ssmrmh.ro
Proof:
= .
∑
≥ ≥ =
∑
hence,
≥ ⇒ ≥ ⇒ ≥
Putting = + , = + , = + , we get,
+ +
≥ ( + )( + )( + )
+ + ( + )( + )( + )
≥
+
∑ ( + )( + )( + ) + + ( + )( + )( + )
≥ ⇒ ≥
+ = , + = , + = , ≥ (to prove)
+ + √ ∙
≥ = =
⋅ ⋅
52. In the following relationship holds:
MOSER’S INEQUALITY
+ + ≥ +
+ + ≥ + ⇔
⇔ ( − − )≥ + ⇔ ≥ + .
Gerretsen ⇒ ≥ − ⇔ ≥ − .
− ≥ + ⇔ ≥ .
Proof 2 by Kevin Soto Palacios-Huarmey-Peru
( + + )≥ + ( + + )
( + + )
⇒ ( + + )( + + )≥ + ( + + )
⇒( + + )( ( + + )− ( + + ) )≥
⇒( + + ) ( + + )− ( + + ) ≥
⇒ Usaremos: + + ≥ + +
www.ssmrmh.ro
⇒( + + )( + + )≥ → (Válido por: ≥ )
⇒ + + ≥ √ , + + ≥
53. In the following relationship holds:
NABIEV’S INEQUALITY
≤ + +
≤ ⋅ ⇔ ≥ ⇔ ≥ .
Gerretsen ⇒ ≥ − ⇔ ⇔ − ⋅ ≥ − = .
Proof 2 by Kevin Soto Palacios – Huarmey – Peru
Recordar lo siguiente:
= , = , = =
La desigualdad es equivalente:
+ + + +
≤ → ≤
( ) ( )
Por: ≥
+ +
+ + ≥ √ , ≥ →
+ +
→ ≤
( )
≤ + +
+ +
= = √ ⏞
≤ = + + =
+ + ≤ +
√
Proof 1by Kevin Soto Palacios – Huarmey-Peru
⇒ ( + + − )≤
√
Es bien conocido que:
+ + − =
⇒ ≤
√
⇒ ≥ √ → (Válido en un triángulo acutángulo )
Proof 2 by Soumitra Mandal-Chandar Nagore-India
( + + ) − ( + + )≤ +
√
⇔ − − − ≤ +
√
⇔ ≤ + + + ⇔ ≤ + + +
√ √
We need to prove, ≤ + + ≤ + + +
√
www.ssmrmh.ro
⇔ ≤ ⇔ √ ≤ ⇔ √ ≤ , where = .
√
⇔ √ ≤ ⇔ √ ≤ + + , which is true.
+ + ≤ + (proved)
√
≥ + + − ⋅ , equivalent to
√
≥ + + − ⋅ (*)
√
= − = ( + )( + ) − ( + ) =
= ( + + )+ ( + + )− ( + + )− ( + + )=
= ( + + )≥ ⇒ = + +
(*) ⇔ ( + )( + )( + ) ≥ ( + + )⋅ ( + + )− ⋅ + +
√
+ + − ≥ + + − ( + + ) ⇔
√
<0
and ( + + ) ≥ >
√
In the case when all are positive we use the means inequality
given inequality ⇔ − − ⇔ ≤ + + +
√
Now, ≤ + + (Gerretsen)
It suffices to prove + + ⇔ ≥ ⇔ ≥
√ √
Now, ≥ − (Gerretsen)
It suffices to prove − ≥ ⇔ ≥
55. In the following relationship holds:
OTHOV’S INEQUALITY
+ + ≥
Proof 1 by Adil Adullayev-Baku-Azerbaidian
Lemma. + + ≥ √ .
⋅ ( ) ≥ ≥ ⋅ ⇔ ≥ .
+ + + + ( + + )
≥ ⇒ + + ≥ ( )
www.ssmrmh.ro
+ +
= ( )
= = + + ≥ √ ( )
( )
From (1), (2) and (3) ⇒ + + ≥
+ +
= =
∗ ≥ ∗ √ =
+ + ≥( + + − )( − − + )
+ + ≥ − − + + − − + +
+ − − + − + + −
( + + )≥ + +
Bunyakovsky inequality:
+ + ≥ + +
Proof 4 by Soumava Chakraborty-Kolkata-India
+ + ≥ √ (AM≥GM)= ( )
it suffices to show ( ) ≥
www.ssmrmh.ro
√
⇔ ( ) ≥ ⇔ ≥ ⇔ ≤
√ √ √
Now, ≤ (Euler) and ≤ (Mitrinovic)⇒ ≤ ⇒ ≤
⇒ + + ≥
( + ) ( + ) ( + )
⇒ + + ≥
⇒( + ) +( + ) +( + ) ≥
⇒ ( + + )+ ( + )≥
⇒ + + ≥ + =
Por la tanto: ( + + )+ ( + )≥
56. In : , , – sides, = [ ].
In : , , - sides, = [ ]
PEDOE’S INEQUALITY
( + − )+ ( + − )+ ( + − )≥
Proof by Kevin Soto Palacios-Huarmey-Peru
Por Herón:
= ( + + )( + − )( + − )( + − )
= (( + ) − )( −( − ) )
= ( (( + ) + ( − )−( − ) −
=( ( + )+ − − − )→ =− − − + + +
www.ssmrmh.ro
=− − − + + +
Por Cauchy:
+ + + ≤
≤ + + + + + +
+ + + + + + ≤( + + )( + + )
+ + + ≤( + + )( + + )
57. In acute-angled the following relationship holds:
REFINEMENT OF GERRETSEN’S INEQUALITY
− (∑ )
≥ ≥
∏( + )
Proof by Kevin Soto Palacios – Peru
− ( + + )
≥
( + )( + )( + )
Recordar lo siguiente:
( + )
+ = , − = , + + =
=
−
≥
≥ → ≥
√ √
⇒ √ ≥ → √ ≥ → ≥ → ≥
( )
2. ( )( )( )
≥
Sea: = , = , =
( + + ) = + + + ( + )( + )( + )
( + )( + )( + ) = ( + )+ ( + )+ ( + )+
www.ssmrmh.ro
⇒ ( + + ) ≥ ( + )( + )( + )
⇒ ( + + )+ ( + )( + )( + ) ≥ ( + )( + )( + )
⇒ ( + + ) ≥ ( + )( + )( + )
⇒ Utilizaremos: + ≥ ( + ), + ≥ ( + ), + ≥ ( + )
⇒ ( + + )≥ ( + )+ ( + )+ ( + ) ≥ ( + )( + )( + )
⇒ ( + )+ ( + )+ ( + )≥
≥ ( + )+ ( + )+ ( + )+
⇒ ( + )+ ( + )+ ( + )≥ , Dividiendo ÷ ( )
⇒ + + ≥ (Válido par: ≥ )
≤ ( + + )≤
In :
≤ + ( + + )≤
− orthocentre, − incentre
Proof by Kevin Soto Palacios – Huarmey – Peru
Tener presente lo siguiente:
+ + = +
+ + ≤ + (INEQUALITY IN TRIANGLE 34)
+ + = + + ≥
1. ≤ ( + )⇔ ≥ → ( + )≤ ⇔ ≤
2. ≤ + ( + + )⇔ + + ≥ →
www.ssmrmh.ro
→ + ( + + )≤ ⇔ + + ≤ ∧ ≤
( − )
≥ √
( − )
≥ √
= + ( + + ) √
= + ⇒ ≥ … ( )
+
= +
√
Homogen ⇒ + + = . (A) ⇔ ∑ ≥ ... (B)
√
+√ +√ ⏞
≥ ⋅ ⋅√ ⋅√ = ⇔ ≥ ... (C)
( )
√
∑ ⏞∑
≥ = ⇔ (B)
⇒ ( − − + )+ ( − − + )+
+ ( − − + )≥
⇒ ( − )− ( − ) + ( − )− ( − ) +
+ ( − )− ( − ) ≥
⇒ ( − )( − ) + ( − )( − ) + ( − )( − ) ≥ (Desigualdad
Schur)
61. RUSSIAN INEQUALITY – 1
If , , ∈ ( , ∞) then:
+ + >2
+ + +
and ≥
Hence + + ≥ + + =
Equality is possible
= = = ⇒ impossible
www.ssmrmh.ro
>2
+
Proof 2 by Myagmarsuren Yadamsuren – Mongolia
⋅( + ) ⋅( + ) +
= ≥ ⋅ ≥ ≥ + =
( + ) + +
+
⋅ ⋅( + )
= = =
( + + )⋅( + ) + +
Proof 3 by Marian Dincă – Romania
= = > =
+ ( + ) ( + ) + +
= =
+ +
+ + > , , , >0
+ + = + +
= + + + + + ≥ ⋅ ⋅ ⋅ ⋅ ⋅ =
=
⋅ ⋅
www.ssmrmh.ro
⇒ + + ≥ ( )
⋅
Now Since > = > 27 ⇒ ⇒ ⋅ > ⇒ ⋅ ⋅ ⋅ >
> ⋅ ⇒ ⋅ >
⇒ > ⇒ > ( )
⋅ ⋅
From (A) and (B),
+ + >
+ + + + + ≥ ⋅ = >
⋅
⋅ = ⋅ >8>3
Proof 3 by Seyran Ibrahimov-Baku-Azerbaidian
, , >0
+ + >
= = ⇒ >
www.ssmrmh.ro
= , = , = , + + >
+ + +
+ + = + + + + + >
⋅ ⋅ >
> ⋅√ ⋅ √
>√ √ = √ ↔ > 81
63. … , ≥ polygon circumscribed to a circle of radius
= , = , ∈ ,
SCHAUMBERGER’S INEQUALITY
+ +⋯+ ≥ , = [ … ]
=( + )+( + ) + ⋯+( + )=
= [ + + ⋯+ ]
where + ⋯+ = , and >
+ +⋯+
⇒ ≥ ⇒ ≥
[ is a convex function on , ]
Also, = ( )= ( ) = ( + )
= = ( + )= ( )=
+ + ⋯+ ≥
√ + −√
<
( + )√ − √ √
( + )√ − √
= ( + )
√ + −√
√ + −√
⇒ = < <
( + )√ − √ ( + ) √
√ + −√
<
( + )√ − √ √
65. In , = [ ]=
SECLAMAN’S INEQUALITY
+ +
( , , )≤ ≤ ( , , )
( + + )
Proof 1 by Adil Abdullayev-Baku-Azerbaidian
≤ ≤ ⇒ ( , , ) = ( , , )= .
= = ⇒ =
⋅
+ + + +
= =
+ +
≤ ≤ ⇔ + + ≤ + + ≤ + +
+ +
⋅
www.ssmrmh.ro
⇒ ( , , )≤
it suffices to prove ≤ ( )
− ( + ) − ( + )
⇔ ≤ ⇔ ≤
+ +
≤ − ( + ) ⇔ ≥ ( + )⇔ ≥ +
Now, ≥ − (Gerrentsen)
It suffices to prove: − ≥ +
⇔ ≥ ⇔ ≥ → true (Euler)
+ +
( , , )≤
( + + )
Now, let ( , , )=
+ + + +
≤ ( , , )⇔ ≤
( ∑ )
⇔ + + ≤ ( + + )⇔ + ≤ + (1)
≥ , ≥ and ≥ , ≥
⇒ + ≥ + (Proved)⇒ ( ) is true
66. STANCIU’S GENERALIZATION OF NESBITT’S INEQUALITY
If , , , , > 0 then:
www.ssmrmh.ro
( + + )
+ + ≥ ≥
+ + + ( + )( + + )
+ + )(
≥ ≥
( + )( + + ) +
Proof by Soumitra Mandal- Chandar Nagore – India
= ≥
+ +
( )
≥( )( )
[Applying Bergstrom’s Inequality]
( + + ) ∑
≥
( + )( + + ) ( + )( + + )
( )
≥ where = + + and = + +
≥ ( − )⇔ ≥ ( − )⇔ − − ( − )≥
⇔( − )( + − )≥ ⇔( − ) ( + ) ≥ , which is
true
∑
again, ∑ ≥ ∑ ⇒( ≥
) ∑
( + + ) ∑
≥ ≥ ≥
+ ( + )( + + ) ( + )( + + ) +
+ + ≥
www.ssmrmh.ro
⇔ ≥ − ≥ − = .
= −
=( + ) − ≥( + ) − ( + + ) (Gerretsen)
= −
⇔ ≥ ⇒ ≥ → true
68. In the following relationship holds:
TRUCHT’S INEQUALITY – 1
+ ≥ √
Proof 1 by Kevin Soto Palacios – Huarmey – Peru
+ ≥ √
Tener presente lo siguiente:
+ + = +
= , = , =
+ + =
Es equivalente:
www.ssmrmh.ro
+ + ≥√
+ + ≥ + +
+ + ≥√
+ ≥ √ ⇒ ≤ + +
Gerretsen ⇒ ≤ + +
It suffices to prove + + ≤ + +
⇔ − − ≥ ⇔ − − ≥
⇔ ( + )( − )≥ which is true
≥
Proof 3 by Seyran Ibrahimov – Masalli – Azerbaidjian
+ ≥ √
+ + ≥
≤ + + - Gerretsen inequality
+ + ≥ + +
≥ + ≥ - Euler inequality
Proof 4 by Marian Dinca-Romania
+ ≥ √
+ = ( + + )
+ = + + = + ( + + )≥ √ =
= ( + + )√
www.ssmrmh.ro
≥( + + )√ − ( + + )⟺
≥( + + ) −( + + )⟺
− ⟺
≥ −
( + + ) + + ≥ ⇔
+ +
⇔ ⋅ ⋅ ≥ ⇔
+ +
⇔ ⋅ ⋅ ≥ ⇔ + ≥ .
TSINTSIFAS INEQUALITY
+ + ≥ √
+ + +
, , ∈ ( , ∞), − area
Proof by Kevin Soto Palacios-Huarmey-Peru
De la desigualdad Weizenbock (Refinamiento de Pohoata)
+ + ≥ + + → , , ≥
Sea: = , = , =
La desigualdad es equivalente:
+ + ≥ ⋅ + ⋅ + ⋅
+ + + + + + + + +
⋅ + ⋅ + ⋅ ≥
( + ) ( + ) ( + ) ( + ) ( + ) ( + )
( + + )
≥
∑ ( + )( + )
( + + ) ∑( ) + ( + + )
= =
∑ ( + )( + ) ∑ + ∑( ) +∑ +∑
∑( ) + ( + + )
= ≥
( + + ) + ∑( )
Por la tanto:
+ + ≥ ⋅ + ⋅ + ⋅ ≥
+ + + + + + + + +
≥ = √
71. In :
www.ssmrmh.ro
√
< + + <
− − −
Proof 1 by Soumitra Mandal – Kolkata – India
+ + √
≤ =
, ,
√
< =
−
, ,
−
≥
− −
, ,
[since, ≥ − ]
( )
( )= + > 0 for all ∈ ,
( ) ( )
+ + −
( ) ≥ =
−
www.ssmrmh.ro
( )>
√
< <
−
, ,
√
< + + ≤
− − −
+ + = ⋅ + ⋅ + ⋅
− − − − − −
Let ≥ ≥ ≥ ⇒ ≤ ≤ and
⋅ + ⋅ + ⋅ ≤ + + + +
see my papers:
Romanian Mathematical Magazine-Paper Variant, nr. 17, pp 41-43
√
√
result: + + ≤ = =
result: ( ) + ( ) + ( ) ≤ + + ( )= ⋅ =
we shall obtain:
√ √
+ + ≤ ⋅ =
− − −
www.ssmrmh.ro
≥ ≥ and ≥ ≥
+ + ≥ ( + + ) + +
− − − − − −
+ + ≥ Well – known
( )+ ( )+ ( )≤ + + ( )
using Jensen: + + ≥ =
we shall obtain: + + ≥ ⋅ =
√
+ + ≤ + +
√
+ + ≤ + +
⏞
≤ + + + +
www.ssmrmh.ro
≥ + + , ≤ (∗)
( + + ) ( )
(∗ ) = ≤ =
√
+ + ≤ + + ( )
we are done.
( )⇔ + + ≥ ( + + )
+ +
⇔ ≥ ( + + )
⇔ + + ≥ ( + + )
( > 0)
⇔( + + ) ≥ ( + + )
⇔ + + ≥ ( + + ) ( )
Let = , = , =
+ + ≥ + +
− + + ≥ ( + + ) ⇒ ( ) is true
Proof 2 by Kevin Palacios-Huarmey-Peru
De la siguiente desigualdad:
≥ →
( )
Donde:
www.ssmrmh.ro
= ,
Sea: = , = = , = = , = =
Además: = = − , = = − , = = −
Por la tanto:
( + + ) ≥ + +
⇒√ ( + + )≥ + + ( )
Sea: = , = , = ⇔ = , = , =
La desigualdades equivalente:
√
( )(÷ ) → + + ≤ + +
+ + ≥( + + ) + +
⇒ + + ≥ + + + + + +
⇒ + + ≥ + + +
+ + + + + +
⇒ + + ≥ + + +
+ + + + + +
⇒ ( + ) ( + )+ ( + ) ( + )+ ( + ) ( + ) ≥
≥( + ) ( + )+( + ) ( + )+( + ) ( + )+ ( + )
⇒ ( + + )( + ) ≥
≥ ( + + )( + ) + ( + )+
⇒ ( + )( + ) + ( + )≥
≥ ( + )( + ) + ( + )+ ( + )+
⇒ ( + )( + ) + + ≥
≥ ( + )( + ) + + ( + )+
( + )( + ) = + + + + + +
( + )( + ) = + + + + + +
( + )= + + + + +
= + +
= + +
⇒ ( + )( + ) − ( + )( + ) =
= + + +
⇒ + + + − = + + +
www.ssmrmh.ro
La desigualdad es equivalente:
⇒ + + + + + + ≥ ( + )
⇒ − − − + + + ≥
⇒( − + )+( − + )+( − + )≥
⇒ ( − ) + ( − ) + ( − ) ≥ (LQQD)
74. In acute – angled triangle the following relationship holds:
WALKER’S INEQUALITY – 2
+ + ≥ ( + )
Proof 1 by Kevin Soto Palacios – Huarmey – Peru
Probar en un triángulo acutángulo : + + ≥ ( + )
La desigualdad es equivalente:
( + + )≥ +
+ + ≥( + + )
Para ello hay que tener presente lo siguiente, en un triángulo :
1. + + =
2. + + =
= + +
Por desigualdad de Cauchy:
⇒( + + ) ≤
⇒( + + ) ≤ →
→( + + ) ≤ + +
www.ssmrmh.ro
≥ + + −
Let ≥ ≥ ≥ ⇒ ≥ , ≤ ≤
+ + − =
= ( − )+ ( + )
( + )+ ( − ) ( + )+ +
= ≤ = =
−
= =
+ + ≤ (well – known)
+ ≤ −
( − )+ ( + )≤
www.ssmrmh.ro
−
≤ ⋅( − )+ −
− + −
= + =
( − )( − )( − )
= = , =
La desigualdad es equivalente:
+ +
( + + ) ( + + )
≤ → ≤ → ≤
+ + ( + + ) ( + + )
→( + + )( + + ) ( − )( − )( − ) ≤ ( + + )
→( + + ) ( + − )( + − )( + − )≤ ( + + )
→ Sea: = + , = + , = +
→ ( + + ) ≤ ( + )( + )( + ) ( + + + + + )
→ Se puede observar claramente que:
( + )( + )( + ) ≥ → Válido: ≥
www.ssmrmh.ro
≥ ⋅ ⋅ + ⋅ ⋅ + ⋅ ⋅
=( + + ) (q.e.d)
The equality holds at = = .
Proof 2 by Rovsen Pirguliyev – Sumgait – Azerbaidjian
In
∈ ( ) such that ∢ =∢ =∢ = °
By the theorem of cosines we have:
= + +
= + +
= + +
www.ssmrmh.ro
= + + = °+ °+
√
+ ⋅ °= ( + + )
( ⋅ ⋅ ) ≥
√
⇒ + + ⋅ + + ⋅ + + ≥
√
≥ ⋅ ⋅( + + ) or
√
+ + = ( + ) + ( − ) ≥ ( + )
www.ssmrmh.ro
( + + )≥ ( + ) ≥
( + )≥
( + + )≥ ≥
(proved)
Proof 4 by Soumava Pal – Kolkata – India
Considering a triangle with sides , , included angle °, a triangle with sides
, included angle ° and another with sides , , included angle °, we
get.
√
= ( + + ) °=
⇒∑ = (1)
√
www.ssmrmh.ro
+ + = ( )
by cosine rule + + = ( )
+ + = ( )
From isoperimetric inequality for triangles
√
( ) ≥ ⇒ ≥
√
(substituting values from (1), (2), (3), (4) gives required inequality)
Proof 5 by Soumava Chakraborty – Kolkata – India
−
= + + + + + +
+ + + − − − − −
− − − = (say)
Now,
+ ≥ ⎫
⎪
+ ≥ ⎪
⎪
+ ≥ ⎪
+ ≥ AM-GM
⎬
⎪
+ ≥
⎪
⎪
+ ≥
⎪
+ + ≥ ⎭
Adding, we get + + + + + +
+ + + ≥ + +
+ + + + +
⇒ ≥ ⇒ ≥
www.ssmrmh.ro
+ + ≥ ⎫
⎪
⎪
+ + ≥
⎬
⎪
+ + ≥ ⎪
⎭
+ +
+ + ≥ ⋅
≥( + + )
⋅ ⋅ ≥( + + )
Proof 7 by Le Viet Hung –Hai Lang-Vietnam
+ + ≥ ( + ) ⇔ ( − ) ≥
+ + ≥ ( + ) ⇔ ( − ) ≥
+ + ≥ ( + ) ⇔ ( − ) ≥
∴( + + )( + + )( + + )≥ ( + ) ( + ) ( + )
Use:
www.ssmrmh.ro
( + )( + )( + ) ≥ ( + + )( + + )⇔
⇔ ( − ) + ( − ) + ( − ) ≥
⇒ ( + ) ( + ) ( + ) ≥ ( + + ) ( + + ) ≥
≥( + + )
77. In the following relationship holds:
GOLDSTONE’S INEQUALITY
≤ ≤
= = + + − − −
⇒ = ( ) = + + − − −
Demostraremos el lado izquierdo, a lo que es equivalente:
+ + − − − ≤ + +
⇒ + + ≥ + + → − + − + − ≥ … (LQQD)
Probar en un triángulo :
( ) +( ) +( )
≥
+ +
Tener presente lo siguiente en un triángulo :
= ∧ = ( + + )( + − )( + − )( + − )
( ) ( ) +( ) +( )
⇒ ≥
( + + )( + − )( + − )( + − ) ( + + )
( ) ( ) ( ) ( )
⇒( )( )( )
≥ → Invirtiendo tenemos
( + − )( + − )( + − ) + +
⇒ ≤ ⇔
( ) ( ) +( ) +( )
( ) +( ) +( ) + +
⇔ ≤
( ) ( + − )( + − )( + − )
( + − )+( + − )+( + − )
⇒ + + ≤ →
( + − )( + − )( + − )
→ ≤
( + − )( + − )
− ( + − )( + − )
⇒ − = =
( + − )( + − ) ( + − )( + − )
−( −( − ) ) ( − )
= = ≥
( + − )( + − ) ( + − )( + − )
Solution 2 by Soumava Chakraborty – Kolkata – India
( ) ( )
In any , ≤ ∑ ≤
(Goldstone’s inequality)
Let’s first prove that: ≥ ,
( )
≥ ⇔ ≥ =
⇔ ≥ ( + )= +
= + +
www.ssmrmh.ro
∑ (∑ )
= + = + = +
∑ ∑
⇔ ≥ ⇔ − ≥ (2)
∑
We shall now prove that: − ≥ (3)
∑ − +
⇔ − ≥
( )(∑ −∑ )+ − −
= = ⇔ ≤ + −
Gerretsen ⇒ ≤ + +
∴ in order to prove (3), it suffices to prove that:
+ + ≤ + − ⇔ ≥ → true ⇒ (3) is true.
∴ to prove (2) and hence (1), it suffices to prove
∑ (∑ )
≥ ⇔ ≥
⇔ ( − ) + ( − ) + ( − ) ≥ ,
which is true ⇒ (2) and ∴ (1) is true
∴ ≥ ⇒ ≥ ⇒ ≥∑ ⇒ (a) is true
∑
Again, ∑ ≥ ( + + )= ( )= ≥ (∵ ≥ )
⇒ (b) is true (Proved)
78. If = , then:
KATSUURA’S INEQUALITY
+
<√ < <
<2 =
∴ < + < +
< + =
Also
< = ⋅
− + −
⇒ <√ < ( + )
< ( + )=
Now, ∀ ∈ , , <
www.ssmrmh.ro
⇒ (3) is true
⇔ >4 ⇔ >
⇔ >2 − ⇔ + >2
− (∑ )
≥ ≥
∏( + )
Proof 1 by Kevin Soto Palacios – Huarmey – Peru
(∑ )
Probar en un triángulo acutángulo :∏ ≥ ∏( )
≥
+ = , = −
Demostraremos que
1) ∏ ∏( + ) ≥ (∑ )
∏ ∏ ≥ ∏ ⇔ reduciendo: ∏( − )≥ ∏
demostraremos). Por: MA ≥ MG
( ) ( ) ( )
≥ ( + )( + )( + )
∑
Luego: ( + )( + )( + )≤ ≤ ≤
(∑ )
2) ≥ ⇒ (∑ ) ≥ ∏( + )
∏( )
( + )+( + )+( + )≥ ( + )( + )( + )
⇒ ( + + ) ≥ ( + )( + )( + )
Siendo: = , = , = → se obtiene:
(∑ ) ≥ ∏( + ) … (LQQD)
www.ssmrmh.ro
−
⋅ ( + )≥
− − ( + )
∴ ⋅ ( + )= ⋅
− ( + )
= ⋅ = ( − )⋅ ⋅
( )
( − )⋅ ≥
( )
⇔ ( − )≥ = ( − )
⇔ ≥ ( + )….( )
+
⇒ ≥ ( + )
∴ ∏ ( − )⋅ ≥ ∏ (established)
( )
www.ssmrmh.ro
−
∴ ⋅ ( + )≥ =
( + ) ≥ ( + )
∑
∴ ∏ ( )
≥ (established)
− ∑
∴ ≥ ≥
∏ ( + )
∏ (∏ ) (∏ )
First inequality ⇔ ∏
≥ ∏
∏ (∏ ) (∏ )
⇔ ≥
∏ (∏ ) (∏ )
(∏ ) ∏ ∏ √
⇔∏ ≥ = ⇔∏ ≤ (a)
Let ( ) = ∀ ∈ ( , ), ( )= <0
www.ssmrmh.ro
+ + √
∴ ≤ =
√ √
⇒ ≤ ⇒ ≤
⇔ ( + ) ≥ ( + )
⇔( + + ) ≥ (where = + etc)
→ true by AM-GM ⇒ second inequality is proved (Done)
80. In acute the following relationship holds:
BANICA’S INEQUALITY
−
≥ , =
( − )
Proof by Soumava Chakraborty-Kolkata-India
+ − + − + −
= ⋅ ⋅
= − + −
=− + − ( ) −
= − − −
= {( + + ) −( − − ) − }−
www.ssmrmh.ro
= { ( + )− }−
= ( − − )−
( )
= ( − − − )
(1), (2) ⇒ =
( ) − − −
= ∴ =
− − −
− −
∴ = − − − −
( − )
− − −
( ) − − −
=
+ + −
?
Now, ⏞
≤ + + < + +
? ?
⇔ > ⇔ > → true ∴ < 12 + +
⇒ + + − > 0 (5)
Now, if − − − ≤ , then
(4), (5) ⇒ ( )
≤ ⇒ >0≥ ( )
⇒ Banica’s inequality holds true
− − − −
∴ ≥ =
( − ) + + −
⇔ + + −
≥ − − −
www.ssmrmh.ro
⇔( + ) ≤ + + + (6)
+ + ≥
√
Proof by Soumava Chakraborty-Kolkata-India
Given inequality ⇔ ∑ ≥
⇔ ∑( + )≥ (1)
√
( )
Now, + = + = =
Similarly, + = , + =
∴ ( + )= + +
∏ ∏
≥ ⇔ ≥ ⇔ ≥
∏ ∏ ∏
⇔∏ ≥ √ ⇔∑ ≥ √ (3)
www.ssmrmh.ro
∵ ( )= ∀ ∈ , is convex,
82. In :
CERIN’S INEQUALITY
+ −
+ − >
+
( + + = )⇔( + − ) > ( + )−
−
⇔ ( − ) > ( − )−
⇔ − >2 − − + ⋅ −
⇔ − + + − > 0?
⇔ ⋅ − ( − )+( − ) > 0?
⇔ <0⇔ =( − ) − ⋅ ⋅( − ) < 0 (? )
=− + + < 0 (? )
⇔ − + > 0 (? )
= − =− <0
83. GROENMAN-SMEENK IDENTITY
www.ssmrmh.ro
= (1)
But = + + , = + + , = + + ⇒
+ + + +
= + + + + (2)
+ + + +
and =− (4)
www.ssmrmh.ro
From (1)+(2)+(4) ⇒ =
84. In :
IONESCU – LEUENBERGER’S GENERALIZED INEQUALITY – 1
√
+ + ≥ , ≥
De la siguiente desigualdad:
+ + ≥ ( + + ) , sea = , = , =
⇒ + + ≥ + + ≥ ≥
√ √
≥ = =
√
Proof 2 by Nirapada Pal-Jhargram-India
+ + ⏞
≥ ⏞
≥
[ ] ( + + )
√
≥ [since + + ≤ √ ]= =
√ √
( + + )
= ≥ =
( + + ) ( )
www.ssmrmh.ro
√
≥ = (Proved)
√
+ + ≥ ( − )
( )
√
√
≥ = =
( ) √ √
√
⋅ ⋅ ≤
+ + ≥ = ≥
( ) ( ⋅ ⋅ )
√
≥ = =
√
Proof 6 by Soumava Chakraborty-Kolkata-India
= + +
√
≥ ( )
≥ ≥ (Proved)
√
⇒ √ ≥ + + ⋅ ≥ ≥ ≥
( ) + + √
√
= (Proved)
85. In :
IONESCU – LEUENBERGER’S GENERALIZED INEQUALITY – 2
√
+ + ≥ , ≥ , , >0
( + ) ( + ) ( + ) ( + )
Proposed by D.M. Bătinețu – Giurgiu; Daniel Sitaru – Romania
Proof 1 by Nirapada Pal-Jhargram-India
+ + ≥
( + ) ( + ) ( + )
⏞
≥ ⏞
≥
[( + )( + )( + )] ( + + )( + )
√
≥ since ( + + ≤ √ )= =( )
( ) √ ( ) √
√
+ + ≥ , ≥ , , >0
( + ) ( + ) ( + ) ( + )
≥ + + ≥
( + ) + + +
≥ ( )( )
≥ ( ) √
. Por transitividad
www.ssmrmh.ro
√ √
≥ = =
( + ) ( + ) √ ( + ) ( + )
Proof 3 by Soumava Chakraborty-Kolkata-India
= + + ≥
( + ) ( + ) ( + ) ( + + ) ( + )
∵ + , + , + > 0,
, > 0 , , ,> 0
√
≥ =( )
= (Proved)
√ ( )
≥ = ≥
[( + + )( + )] ( ) ( + )
≥
( )
= (Proved)
√
( − )
∴ ( )= + + − −
+ ( + )
( + ) ( + + )− ( − ) − ( + )
= =
( + )
www.ssmrmh.ro
( + ) − ( + ) +
=
( + )
( − )( − + − + − ) ( − ) ( − − + )
= =
( + ) ( + )
( )
= ≥ . So, ( )≥ for all ∈ ( , ∞). Hence, is
( )
√ √
∴ < ( )
. Now putting = . So, > (Proved)
√ √
≤ + + ≤
≤ + + ≤
≥ ( − ), ≥ ( − ), ≥ ( − )
≤ + , ≤ + , ≤ +
( )
⇔ ≥ = =
+ ∑ +∑
+ + ≤ , ≥ , ≥ √
Ahora bien
www.ssmrmh.ro
+ + ≥ + + ≥√ = √ ≥
+ + ≤ ( + + ) + + ≤
≤ + +
( − ) ( − ) ( − )
( )
+ + ≤ ⋅ ≤ ⋅ ≤ (LQQD)
+ + = + + ≥ (Bergstrom)
( )∑
∴ ≤ ≤ ( + )
www.ssmrmh.ro
⋅
⇒ ≥ ⇒ ≥ =
∑ ( + ) ∑ ( ) ( + ) +
∑ ⋅
∴∑ ≤ ∑ (using (5)) = ≤ =
⇒ (b) is true
Proof 3 by Myagmarsuren Yadamsuren-Darkhan-Mongolia
≤ = ⋅( + + )≤
≥ ⋅( + + )⋅ + + =
= ⋅ ⋅ + + ≥ ⋅ ⋅ =
+ +
= ≥ = ≥
+ + ∑ ( − ) ⋅∑ −
⋅ √ ⋅
≥ ≥ =
⋅ ⋅ √ ⋅
www.ssmrmh.ro
< , ∈ ,
Let ( ) = − , ∀ ∈ ,
( )
( )= + − = ( ) (say)
( )=− + + + − =
= ( − )+ + + −
≥ + + − (∵ ≥ )
( )
≥ + + − (∵ ≥ )
= ( + − )
Let ( ) = + −
∴ ( )= − + − = − − + −
= ( − ) ≥ (∵ ≥ ) ∵ ( ) = & ( ) ≥ ∀ ∈ ,
( )
∴ ( ) ≥ ( ) = ; (3) ⇒ ( )≥ (from (2))
∵ ( ) = & ( ) ≥ ∀ ∈ , ,∴ ( ) ≥ ( ) = ⇒ ( )≥
∵ ( ) = & ( ) ≥ , ∴ ( ) ≥ ( ) =
⇒ − ≥ ,∀ ∈ ,
(proved)
www.ssmrmh.ro
( )
( )= −( ) −
( )= ( ) ( − ), hence ( )≤ , ( )≤ ( )
⇒ ( )≤ ( )= ⇒ ≤ (proved)
+ + ≥
+ + = ∧ ≤ √
Por: MA ≥ MG
+ + ≥ √ … (Válido en un triángulo
acutángulo)
≥ √ ⇔
⇔ = + + ≥ √
We know, = ⋅ , = ⋅ and
= ⋅ . So, ∴ ∑ = ∑
≥ ≥ ∵ ≥ ( + − )
( + − )
= √ = / = [∵ = ] (proved)
= − + −
=− + − ( ) −
=− + − ( ) −
= − − −
= {( + + ) −( − − ) }− −
= ( + )− −
= ( + − )−
www.ssmrmh.ro
= ( − − − )= { −( + ) }
{ −( + ) }( ) −( + )
∴ = =
∏
Now, ∑ ≥ ∏ = ∏
∏
∴ it suffices to prove: ∏
≥
⋅
⇔ ⋅ ( )
≥ (using (1)) ⇔ { ( ) }
≥
⇔ ≥ − ( + ) ⇔ ≤ + +
Now, ≤ + + (Gerretsen)
∴ it suffices to prove: + + ≤ + +
⇔ ≥ ⇔ ≥ → true (Euler) (Proved)
90. SECLAMAN’S INEQUALITY – 3:
If , , ≥ , + + = then: ( − )( − )( − ) + ≥
If , , ≥ , + + = find:
( ( + + )+ ( + + )+ )
Proposed by Dan Radu Seclaman-Romania
Solution 1 by Soumitra Mandal-Chandar Nagore-India
SECLAMAN’S INEQUALITY – 3: Let , , ≥ and + + = then
∏ ( − )+ ≥ find
+ +
( − )+ ≥ ⇔ − + − + ≥ ⇔
www.ssmrmh.ro
⇔ ≥ ⇔ ≥ ⇔ ≥
+ + = − ( + )+ +
= − + +
= − + = − +
( + + )
≤ + ≤ + = ( + + ) =
∴ + + = ( :)
also find { ∑ + ∑ + }
(1) ⇔ −∑ +∑ − + ≥ ⇔∑ ≥ (2)
If at least 1 variable = , (2) ⇔ ∑ ≥ → true, as , , ≥
⇒ ≤ ⇒√ ≥ (i)
www.ssmrmh.ro
= − + − ( )− = − +
∴ = + +
= − ∑ + ≤ − ∑ + ∑ (using (2))
= + ≤ + ∵ ≥
= + = ∴ = for = = =
≤ = )
Adding the relationships (1) and (2) we obtain that ( , , ) ≤ with equality
if and only if = = = . So , , ( , , )= and its realized for
= = = .
91. SECLAMANS’S INEQUALITY – 4
If , ∈ ( ), ≥ ,( − ) = , = , ∈ , | | < 2 then:
( − ( + )+ )≥
Proposed by Dan Radu Seclaman-Romania
Solution 1 by Soumitra Mandal-Chandar Nagore-India
Elementary results, if ∈ (ℝ) then ⋅ =
and = . Now, ( − ) = ⇒ + = + = [∵ = ]
∴ − ( + )+ = − ( + )+ ( + )
= ( − ) + ( − ) ,∴ ( − ( + )+ )
= ( − ) + ( − )
= (( − ) +( − ) ) [∴ ( )= ( )]
= − + ( − ) − − ( − ) [where = √− ]
www.ssmrmh.ro
= − + ( − ) − + ( − )
= { − + ( − )} ⋅ − + ( − )
= [ { − + ( − )}] ≥ ∵ ( )=
∴ ( − ( + )+ )≥ (proved)
Solution 2 by Ravi Prakash-New Delhi-India
Let = where ∈ ℂ and =
× ×
= ( ) = ( ) ( )=| ( )|
Let = , = , , ∈ . Now,
×
[( + )( − )] = ( + )( + ) =| ( + )| ≥
But ( + )( − )= + ( )− ( )+ = + if =
∴ if = , then ( + )=| ( + )| ≥
Now, for the question,
=( − ) = − − + = − +
⇒ = ( + ). We have
− ( + )+ = − ( + )+ ( + )
= [( − + )+( − + )] = [( − ) +( − ) ]
∴ [ − ( + )+ ]= {( − ) +( − ) }≥
have: ∙ =( + + )( + + )=
= +( + )( + ) + ( + )+ + =
= − ( + )+( + )+( − ) .
As ( − ) = , we obtain ∙ = − ( + )+ and if we take into
⋅ ( − − )≤ − − ⇔
− − ≤( − − )⋅ ⇔ ≤ + +
?
Gerretsen ⇒ ≤ + + ≤ + + ⇔
− − ≥ ⇔( − )( + )≥ (Euler)
Proof 2 by Mehmet Sahin-Ankara-Turkey
∑ = ( + + ), ∑ = + ,∑ ≤
www.ssmrmh.ro
+ + ( + + ) ⋅
= ≤ ≤ −
+ + + +
⇔ ≤ ( + )( − )⇔ − − ≥
⇔( − )( + )≥ ⇔ ≥ (Euler)
Proof 3 by Soumitra Mandal-Chandar Nagore-India
We have, + + = , + + = + + and
≤ + − + ( − ) −
∑ ∑
∴ = ∵ = + =
∑ ( + )
( − − ) ( − − )
= =
( + ) ( + )
We need to prove,
( − − )≤ ( + )( − )= ( − − )
⇔ ≤ + +
We have, ≤ + − + ( − )√ − .
We need to prove
+ − + ( − ) − ≤ + +
⇔ ( − ) − ≤ ( − + )= ( − )( − )
⇔ − ≤ − ⇔ − ≤ − + ⇔
⇔ ≤( + ) , which is true. ∴ ≤ + + is established. So,
∴ ≤ − (proved)
www.ssmrmh.ro
a) ∑ = ( + + )= ( − − )
2) + + = +
3) ≥ ⇒ − ≥
∑ ( − − )
= =
∑ +
( − ) ( − )
= − − ≥ − − =
( − )( + ) ( + )
( − )
= − −
( + )
( − − ) ( − )
= ≤( − )− =
( + ) ( + )
(ASSURE)
( − − )≤( − ) ( + )− ( − )
≤ + +
≤ ( + + )= + + ≤
≤ + +
≥ + (ASSURE)
+ ≤ + = ( + )= ⋅ ≤ ⋅ =
+
−√
√ < <2
+
−√
( ) ( )
By BCS, we have + ≥ ⇒ ≥ ⇒ ≥ ⇒
+ + + √ +√
⇒ +√ ≥ +√ ⇒ +√ ≥ ⇒
√ √
⇒ ≤ . The equality occurs when = (Absurd) ⇒ < 2 (1)
√ √
( )
On the other hand, we have + <( + ) ⇒ < ⇒ < ⇒
√
√
⇒ +√ < . We have + +√ < + +√ ⇒
√
√ √ √
⇒ + +√ < √ +√ ⇒ +√ < ⇒ >√ (2)
√ √
− + >0⇔( − ) >0
Solution 3 by Myagmarsuren Yadamsuren-Darkhan-Mongolia
( + ) − ( + )√ + >0⇔ + + = ( + )√ >0⇔
+
⇔ + + − ( + )√ + >
√ ⇒ √ ⇒
√
⇒ − √ > −√ ⇒ > (RHS)
√
2) LHS: √ + ≥√ (True)
≥
−√ ⋅ + ≥ −√ ⋅√ ⇔ −√ ⋅ + + √ − √ ≥
−√ + + − √ √ ≥ |⋅ √
− √ √ ⋅ + + − √ ≥
−√ ⋅√ ⋅ + + − √ ≥
+ + −√ ⋅√ ⋅ + + − √ ≥ + +
+ + −√ √ ≥( + )
+ + −√ ⋅√ ≥ +
+ + + +
+ √ − √ ≥ ⇒ −√ ≥ −√ √
√ √
√
−√ ≥√ −√ ⇔ ≥√ (LHS)
√
+ +
⇔ +√ < + ⇔ + + ( + )< + + ⇔
( )
(1) ⇔ ( )
>2⇔ + − > 2( + − )⇔ + − >
( + ) ( + )
>2⋅ + − ( + )√ ⇔ ( + )√ − > ⇔
= ⇒ = ⇒ =
⋅ + ⋅ + ⋅ ⋅ + ⋅ + ⋅
; =
⋅ ⋅ ⋅ ⋅
www.ssmrmh.ro
= ( ⋅ ⋅ ); ( ⋅ ⋅ )
( ⋅ : ⋅ : ⋅ )
Using area formula in areal coordinates method, we have:
= ⋅ ⋅ ⋅ ⋅ ⇒
⇒ ⋅ = ⋅ ( ⋅ − ⋅ )
⇒ ⋅ = ⋅ ( ⋅ − ⋅ )
We have: = = : = = , similarly:
+ − + −
= ; = ⇒
( − )( + − )
⇒ ( ⋅ − ⋅ )=
= [ ( − )( + − )] = ⋅ ( − )( − )( − )( + + ) =
( − )( − )( − )
=
( )( )( ) ∏( ) ∏( )
Therefore: ⋅ = = ⇒ =
∏( )
⇒ = = . Hence, we have Q.E.D.
= ⃗+ ⃗ + ⃗ × ⃗ + ⃗ + ⃗
= ( − ) ⃗ × ⃗ + ( − ) ⃗ × ⃗ + ( − )( ⃗ × ⃗)
= , = , =
But ⃗ × ⃗ = where is unit normal to plane containing , ,
Thus, ⃗ × ⃗= where
=( − ) +( − ) +( − )
= [( − ) +( − ) +( − ) ]
( − )( + − ) + ( − )( + − )
=
+ ( − )( + − )
( − + − )+ ( − + − )+
= + ( − + − )− ( − )− ( − )
− ( − )
www.ssmrmh.ro
= [ ( − )+ ( − )+ ( − )− ( − )— ( − )− ( − )]
= [ − ] where
= =
= = − −
− −
− − − −
= ( − )( − ) + + + +
+ +
→ −
= ( − )( − ) = ( − )( − ) −
+ + − +
= ( − )( − )( − ) +
+
= ( − )( − )( − )( + + )
− −
and = = − −
= ( − )( − ) + + + + + +
= ( − )( − )[ − + ( − )+ ( − )]
= ( − )( − )( − )[ + + + + + ]
Thus, −
= ( − )( − )( − )[ + + + + + + + + ]
= ( − )( − )( − )( ) = ( − )( − )( − )
( − )( − )( − )
∴ =
www.ssmrmh.ro
( − ) ( − ) ( − )
⇒ ⃗ × ⃗ = ⋅
( )
( − ) ( − ) ( − )
=
( )
But =
( − ) ( − ) ( − )
∴ ⃗ × ⃗ =
( − ) ( − ) ( − )
=
Hence ( ) = ( − ) ( − ) ( − )
Let = , = , =
( )( )( )( ) ∑ ∑
Then, ( [ ]) = =
∑ ∑ ∑ ∑ ∑
= = → (1)
= = + −( − − )= + + − ,
= = − and
= = + + − ∴ = + + −
∴ from (1), ( [ ]) =
− {( + + − ) +( − ) +( + + − ) }+( + + − )
=
= → (a)
Now, ( − ) ( − ) ( − ) = ∑ ( + )− (∑ )−
www.ssmrmh.ro
− (∑ )+ (∑ +∑ )− → (2)
Now, ∑ ( + )=∑ (∑ − ) = (∑ ){(∑ ) − ( )} −
= (∑ )(∑ ) − ( − − )− → (2a)
Again, − (∑ )=− { + ( − − )} =
=− − ( − − ) → (2b)
Also, − ∑ =− + (∑ ) ∑ − ( ) =
=− − − ( )( )
= −(∑ ) ( ∑ )+ ( + + )− → (2c)
Moreover, (∑ +∑ )= {∑ ( − )} =
= ⋅ −
= ( + + )− → (2d)
(2), (2a), (2b), (2c), (2d) ⇒ ( − ) ( − ) ( − )
= − − ( − − )−
− ( − − )+ ( + + )− ( )
= − + − + − − − − − → (3)
( ) ( ) ( )
∴ = (from (3) → (b)
( ) ( ) ( )
(a), (b) ⇒ ( [ ]) =
+ ≥
www.ssmrmh.ro
+ ⏞
≥ =
+ + −
= ≥ since ≤
Probar en un triàngulo + ≥
+ ≥ = ≥ (LQQD)
+ ≥ ; , > 0, + ≥
⇒ + ≥ =
+ + −
+ ≥ ≥ = ∘
+ − − +
⇒ ≥ ⇒ ≤ (A)
+ ≥ , consider ( ) = ; ( ) ≥ ∀ ∈ ( , )
www.ssmrmh.ro
( )( )
⇒ ( )= is convex ⇒ + ≥ =
(Proved)
( )= , ( )=−
( )= ( + ) > 0, ∀ ∈ ( , )
Proof 5 by Seyran Ibrahimov-Maasilli-Azerbaidian
≥ ≥ ; ≥ ⋅
√
− ( + )≥ ⋅
⋅ + ⋅ − ⋅ ≤
⋅ + ⋅ ≤ ; ( − )≤ (proved)
Proof 6 by Myagmarsuren Yadamsuren-Darkhan-Mongolia
+ ≥ ⋅ =
⋅
= ⋅ =
⋅( ( − )− ( + ))
= ⋅ ≥ ⋅ =
( − )+ +
www.ssmrmh.ro
( − )+ ( − )+ ( − )≤ √
Proof 1 by George Apostolopoulos-Messolonghi-Greece
From Cauchy – Schwarz Inequality, we have
( − )+ ( − )+ ( − ) ≤
≤( + + )( − + − + − )≤
( + + )⋅ ≤ ⋅ . Namely:
( − )+ ( − )+ ( − )≤ ⋅√
Equality holds when the triangle is equilateral.
Proof 2 by Serban George Florin-Romania
+ +
( − )≤ √ , =
( − ) = √ ⋅√ − ≤ √ √ − =
=( + + )( − )= ( + + )
⇒ ( − )≤√ ⋅√ + + ≤ ⋅√
⇒√ + + ≤ ⇒ + + =
+ + ≤ + + = − − ≤
⇒ ≤ + +
GERRETSEN ≤ + + |⋅
≤ + + ≤ + +
⇒ ≥ ⇒ ≥ (Euler)
www.ssmrmh.ro
( − ) ≤ ( + + )( − + − + − )
= ( + + )≤ √ [∵ + + ≤ ]
Proof 4 by Myagmarsuren Yadamsuren-Darkhan-Mongolia
≤ |⋅ √
∑ ⋅ ⋅ ( − )≤ ⋅ (ASSURE)
⋅ ⋅ ( − )
( + )⋅ = ( + )⋅ =
+
≤ ( + ) ⋅ (∗ )
a) ∑( + ) = ⋅ (∑( + )) ≤ ⋅∑ ≤
b) ∑ =∑ ( − ) = ( − + − + − )=
(*); a); b) ⇒ ∑( + ) ⋅ ≤ ∑ ( + ) ⋅∑ ≤√ ⋅ = ⋅
Szollosy’s inequality. In a triangle let , , be the sides of the triangle,
its semiperimeter and the circumradius. Prove that
( − )+ ( − )+ ( − )≤ √ .
Solution. The stronger inequality
( − )+ ( − )+ ( − ) ≤ ( + )√
holds. We use an equivalent form of the Gerretsen’s inequality [1]
+ + ≤ ( + ) . By Cauchy – Schwarz, we get
≤ ( + )√
!= (− ) ( − ) , ∈ℝ
( − ) = (− ) ⇒ (− ) ( − ) =
= (− ) (− )
= (− ) (− )
We have
( + ) = ⇒ ( + ) =
⇒ ( + ) =
( + ) + ( − ) ( + ) =
www.ssmrmh.ro
⇒ ( + ) + ( − ) ( + ) =
⇒ ( + ) + ( − ) ( + ) + ( − )( − ) ( + ) =
(− ) ( ) = ; ≤ ≤ −
⇒ (− ) = ; ≤ ≤ −
Also, ∑ (− ) = ( − ) ( !)
And ∑ (− ) = . Thus,
(− ) ( − ) = (− ) (− )
+(− ) (− )
= (− ) ( ) + (− ) ( )(− ) != !
98. In acute :
URSARESCU’S INEQUALITY
√ +√ +√
≥
+ +
www.ssmrmh.ro
√ = ⋅ √ ; = ⋅ √ −
√ √
∑ √ ∑ √ √ +√ +√
= ⋅ = ⋅ =
∑ ( − ) ( − )+ ⋅( − )
∑ ∑
√ +√ +√
= ⋅ ≥
∑ √ − + √ −
√ √
√ +√ +√
≥ ⋅ =
∑ + ⋅( − + − )
√ √
√ +√ +√
= ⋅ =
√ +√ +√
Proof 2 by Saptak Bhattacharya-Kolkata-India
To show ∑ √ ≥∑ ⇔∑ ≥∑
⇔ ≥
www.ssmrmh.ro
By Ravi transformation;
= Incentre; = + ; = + ; = + ; = ; To show,
∑ ≥ ∑ √ . Put = ; = ; = ;Now, ∑ ≥∑ =∑
Thus, ∑ ≥ ∑ √ (Proved)
√ +√ +√ + +
∴ =
( − ) ( − ) ( − )
+ + + +
√ +√ +√
=
( − )+ ( − )+ ( − )
√ √ √
= where =
√ √ √
+ + √ +
≥ √ ⇔ ≥
√ √ √
which is true ∵ √ is concave ∴ ≥ (Proved)
( )
(1) ⇔ ∑ √ ⏞∑
≥
( − ) ( − ) −
= = ⋅ =
( − )( − )
Similarly, = and =
∴ (2) ⇔ + + ≥√ − +√ − +√ −
⇔√ +√ +√ ≥√ + − +√ + − +√ + − (3)
Now, √ ≥ ( + − )+√ + − (i)
⇔ ≥ + − + + − + ( + − )( + − )
⇔ ≥ ( + − )( + − )⇔ ≥ −( − )
⇔( − ) ≥ → true ⇒ (i) is true
www.ssmrmh.ro
( ) ( )
⏞ √ +
Similarly, √ ≥ ⏞ √ + −
− + √ + − , and, √ ≥ +
√ + −
(i) + (ii) + (iii) ⇒ (3) is true (Proved)
99. If > 1 then:
WILLIAMS-HARDY’S INEQUALITY
+
< ⋅
− +
Proof 1 by Thanasis Xenos-Greece
+
< ⋅ ⇔ ( + ) − ( + )( − )<0
− +
( )= ( + ) − ( + )( − ), ≥
( )= ( + ) − ( − )
( )= ⋅( + + − )
( )= + + − , ≥
( )= ( − + )≤ , ≤ −
↓ [ , +∞)
>1⇒ ( )< ( )= ⇒ ( )<0⇒ ↓ [ , +∞)
>1⇒ ( )< ( )= ⇒ ↓ [ , ∞)
>1⇒ ( )< ( )=
Proof 2 by Ravi Prakash-New Delhi-India
For ≥ , let
( + )( − ) ( + )( + − − )
( )= − = −
+ +
www.ssmrmh.ro
+ +
= + − − = + − − −
( + ) +
( )= + + −
( + )
= − + − + −
( + )
− − ( + ) − − ( + ) ( − )
= − − = ( − )−
( + ) ( + )
( − )
= [( + ) − ( + ) ]
( + )
( − )
= [ + + − − − ]
( + )
( − ) ( − ) ( − )
= [ ( − ) − ( − )] = ⋅ > 0 ∀ > 1
( + ) ( + )
Thus, ( ) > ( ) = ∀ > 1
( + )( − ) +
⇒ > ∀ > 1 ⇒ < ∀ > 1
+ − +
Proof 3 by Soumitra Mandal-Chandar Nagore-India
( − )
∴ ( )= + + − −
+ ( + )
( + ) ( + + )− ( − ) − ( + )
= =
( + )
( + ) − ( + ) +
=
( + )
( − ) − + − + − ( − ) ( − − + )
= =
( + ) ( + )
www.ssmrmh.ro
( )
= ≥ . So, ( )≥ for all ∈ ( , ∞). Hence is increasing on
( )
∴ ( )
> (proved)
100. In :
YANG’S INEQUALITY
( − ) ( − )
− + ≤ ≤ + + −
− −
Proof 1 by Adil Abdullayev-Baku-Azerbaidian
Lemma. − + ( − ) − −√ − ≤ ≤
≤ + + − ( − ) − − − .
EYLER ⇒ < ≤
− − − =( − ) − − ≥
( − )
≥ ( − ) =
− ( − )
Proof 2 by Soumava Chakraborty-Kolkata-India
( − )( ) ( ) ( − )
− + ≤ ≤ + + −
− −
Rouche ⇒ ≥ + − − ( − )√ −
? ( − )
≥ − +
−
( − ) ?
⇔ − + − ≥ ( − ) −
−
www.ssmrmh.ro
( ) ?
⇔ ( − )( − )− ≥ ( − )√ − (i)
?
∵ − ≥ , ∴ it suffices to prove: ( − ) − ≥ √ −
?
⇔ ( − ) − > ( − ) −
? ?
⇔( − + ) > ( − ) ( − )⇔ > → true ⇒ is true
Again, Rouche ⇒ ≤ + − + ( − )√ −
? ( − )
≤ + + −
−
( − )
⇔ − + − ≥ ( − ) −
−
which is (i) and which has been proved earlier ⇒ (2) is true (Proved)
www.ssmrmh.ro