# RomanoNorwegian Inequality

### Problem

Here is a sample inequality from a recent book *300 Romanian Mathematical Challenges* by Professor Radu Gologan, Daniel Sitaru and Leonard Giugiuc. The problem is an invention of Lorian Nelu Saceanu, Norway - Romania. Solution 1 below is by Daniel Sitaru and Leonard Giugiuc, Solution 2 is by Grégoire Nicollier.

### Solution 1

Denote $x=\cot A,\;$ $y=\cot B,\;$ $z=\cot C.\;$ Then $x,y,z\ge 0\;$ and $xy+yz+zx=1.\;$ We need to prove $\sqrt {x}+\sqrt{y}+\sqrt{z}\ge 2.$

WLOG, let's assume that $yz=\text{max}\{xy,yz,zx\}.\;$ As a consequence, $\displaystyle\frac{1}{3}\le yz\le 1.\;$ Define $y+z=2s\;$ and $yz=p;\;$ then, by the AM-GM inequality, $s\ge p\;$ and also $\displaystyle\frac{1}{\sqrt{3}}\le p\le 1.\;$ On the other hand, $\displaystyle x=\frac{1-xy}{x+y}=\frac{1-p^2}{2s}.\;$ Further $\sqrt{y}+\sqrt{z}=\sqrt{y+z+2\sqrt{yz}}=\sqrt{2s+2p}.\;$ For any fixed $\displaystyle p\in\left[\frac{1}{\sqrt{3}},1\right]\;$ we consider the function $f_p:\,[p,\infty )\rightarrow\mathbb{R},\;$ defined by $\displaystyle f_p(t)=\sqrt{\frac{1-p^2}{2t}}+\sqrt{2t+2p}.$

First off, $\displaystyle f'_{p}(t)=-\frac{\sqrt{1-p^2}}{(2t)^{3/2}}+\frac{1}{\sqrt{2t+2p}}.\;$ We'll prove that $f'_{p}(t)\ge 0.\;$ This is equivalent to showing that $8t^3\ge (1-p^2)(2t+2p),\;$ i.e., $4t^3-(1-p^2)t-(1-p^2)p\ge 0,\;$ for $t\ge p.$

Define function $g_p(t):\,[p,\infty)\rightarrow\mathbb{R},\;$ by $g_p(t)=4t^3-(1-p^2)t-(1-p^2)p.\;$ The only critical point of $g_p(t)\;$ in $[0,\infty)\;$ is $\displaystyle t=\sqrt{\frac{1-p^2}{12}},\;$ which is clearly less than $p,\;$ implying $g_p(t)\ge g_p(p)=2p(3p^2-1)\ge 0,\;$ for $t\ge p.\;$ This means that $f'_p(t)\ge 0,\;$ for $t\ge p\;$ such that $f_p(t)\;$ is strictly increasing for $t\ge p,\;$ so that $\displaystyle f_p(t)\ge f_p(p)=\sqrt{\frac{1-p^2}{2p}}+2\sqrt{p}\;$ for $t\ge p,\;$ $s,\;$ in particular.

Thus, suffice it to show that, for $\displaystyle p\in\left[\frac{1}{\sqrt{3}}\right],\;$ $\displaystyle\sqrt{\frac{1-p^2}{2p}}+2\sqrt{p}\ge 2.\;$ This is equivalent to $\displaystyle\sqrt{\frac{(1-p)(1+p)}{2p}}\ge\frac{2(1-p)}{1+\sqrt{p}}.\;$ Since $1-p\ge 0,$ we just need to prove $\displaystyle\sqrt{\frac{1+p}{2p}}\ge\frac{2\sqrt{1-p}}{1+\sqrt{p}}.\;$ Set $\sqrt{p}=u.\;$ Then $\displaystyle u\in\left[\frac{1}{\sqrt[4]{3}},1\right]\;$ and we'll show that $\displaystyle\frac{1+u^2}{2u^2}\ge\frac{4(1-u^2)}{(1+u)^2}\;$ which is $9u^4+2u^3-6u^2+2u\ge 0,\;$ or $(3u^2-1)^2+2u^3+2u\ge 0.\;$ The latter is obviously true for $\displaystyle u\in\left[\frac{1}{\sqrt[4]{3}},1\right].\;$ The proof is complete.

### Solution 2

Let $\cot A = a^2,\ldots\;$ Then $a^2b^2+b^2c^2+c^2a^2=1\;$ which means $c=\sqrt{(1-a^2b^2)/(a^2+b^2)}\;$ and we have to show that $a+b+c\ge 2\;$ for $a,b,c\ge 0.\;$ If $s=a+b\ge 2,\;$ there is nothing to prove. Suppose $0~~
~~

$f(a) = (1-a^2(s-a)^2)/(a^2+(s-a)^2)\;$ is even with repect to $a=s/2,\;$ $f'(0)=2/s^3\;$ is positive and $f'(a)\;$ has only three (possible) simple zeros: $s/2,\;$ $(s \pm\sqrt{-s^2 + 2 \sqrt{-4 + s^4}})/2.\;$ Thus the minimum of $f(a)\;$ for $0\le a\le s\lt 2\;$ is $\min(f(0),f(s/2)).\;$ Thus $a+b+c\ge s + \min(1,\sqrt(2-s^4/8))/s\;$ and it is easy to show that $\min(1,\sqrt{2-s^4/8})/s \ge 2-s.$

- An Inequality for Grade 8
- An Extension of the AM-GM Inequality
- Schur's Inequality
- Newton's and Maclaurin's Inequalities
- Rearrangement Inequality
- Chebyshev Inequality
- Jensen's Inequality
- Muirhead's Inequality
- Bergström's inequality
- Radon's Inequality and Applications
- Jordan and Kober Inequalities, PWW
- A Mathematical Rabbit out of an Algebraic Hat
- An Inequality With an Infinite Series
- An Inequality: 1/2 * 3/4 * 5/6 * ... * 99/100 less than 1/10
- A Low Bound for 1/2 * 3/4 * 5/6 * ... * (2n-1)/2n
- An Inequality: Easier to prove a subtler inequality
- Inequality with Logarithms
- An inequality: 1 + 1/4 + 1/9 + ... less than 2
- Inequality with Harmonic Differences
- An Inequality by Uncommon Induction
- Hlawka's Inequality
- An Inequality in Determinants
- Application of Cauchy-Schwarz Inequality
- An Inequality from Tibet
- An Inequality with Constraint
- An Inequality from Morocco
- An Inequality for Mixed Means
- An Inequality in Integers
- An Inequality in Integers II
- An Inequality in Integers III
- An Inequality with Exponents
- Exponential Inequalities for Means
- A Simple Inequality in Three Variables
- An Asymmetric Inequality
- Linear Algebra Tools for Proving Inequalities
- An Inequality with a Generic Proof
- A Generalization of an Inequality from a Romanian Olympiad
- Area Inequality in Trapezoid
- Improving an Inequality
- RomanoNorwegian Inequality
- Inequality with Nested Radicals II
- Inequality with Powers And Radicals
- Inequality with Two Minima
- Simple Inequality with Many Faces And Variables
- An Inequality with Determinants
- An Inequality with Determinants II
- An Inequality with Determinants III
- An Inequality with Determinants IV
- An Inequality with Determinants V
- An Inequality with Determinants VI
- An Inequality with Determinants VII
- An Inequality in Reciprocals
- An Inequality in Reciprocals II
- An Inequality in Reciprocals III
- Monthly Problem 11199
- A Problem from the Danubius Contest 2016
- A Problem from the Danubius-XI Contest
- An Inequality with Integrals and Rearrangement
- An Inequality with Cot, Cos, and Sin
- A Trigonometric Inequality from the RMM
- An Inequality with Finite Sums
- Hung Viet's Inequality
- Hung Viet's Inequality II
- Hung Viet's Inequality III
- Inequality by Calculus
- Dorin Marghidanu's Calculus Lemma
- An Area Inequality
- A 4-variable Inequality from the RMM
- An Inequality from RMM with Powers of 2
- A Cycling Inequality with Integrals
- A Cycling Inequality with Integrals II
- An Inequality with Absolute Values
- An Inequality from RMM with a Generic 5
- An Elementary Inequality by Non-elementary Means
- Inequality in Quadrilateral
- Marian Dinca's Refinement of Nesbitt's Inequality
- An Inequality in Cyclic Quadrilateral
- An Inequality in Cyclic Quadrilateral II
- An Inequality in Cyclic Quadrilateral III
- An Inequality in Cyclic Quadrilateral IV
- Inequality with Three Linear Constraints
- Inequality with Three Numbers, Not All Zero
- An Easy Inequality with Three Integrals
- Divide And Conquer in Cyclic Sums
- Wu's Inequality
- A Cyclic Inequality in Three Variables
- Dorin Marghidanu's Inequality in Complex Plane
- Dorin Marghidanu's Inequality in Integer Variables
- Dorin Marghidanu's Inequality in Many Variables
- Dorin Marghidanu's Light Elegance in Four Variables
- Dorin Marghidanu's Spanish Problem
- Two-Sided Inequality - One Provenance
- An Inequality with Factorial
- Wonderful Inequality on Unit Circle
- Quadratic Function for Solving Inequalities
- An Inequality Where One Term Is More Equal Than Others
- An Inequality and Its Modifications
- Complicated Constraint - Simple Inequality
- Distance Inequality
- Two Products: Constraint and Inequality
- The power of substitution II: proving an inequality with three variables
- Algebraic-Geometric Inequality
- One Inequality - Two Domains
- Radicals, Radicals, And More Radicals in an Inequality
- An Inequality in Triangle and In General
- Cyclic Inequality with Square Roots
- Dan Sitaru's Cyclic Inequality In Many Variables
- An Inequality on Circumscribed Quadrilateral
- An Inequality with Fractions
- An Inequality with Complex Numbers of Unit Length
- An Inequality with Complex Numbers of Unit Length II
- Le Khanh Sy's Problem
- An Inequality Not in Triangle
- An Acyclic Inequality in Three Variables
- An Inequality with Areas, Norms, and Complex Numbers
- Darij Grinberg's Inequality In Three Variables
- Small Change Makes Big Difference
- Inequality with Two Variables? Think Again
- A Problem From a Mongolian Olympiad for Grade 11
- Sitaru--Schweitzer Inequality
- An Inequality with Cyclic Sums And Products
- Problem 1 From the 2016 Pan-African Math Olympiad
- An Inequality with Integrals and Radicals
- Twin Inequalities in Four Variables: Twin 1
- Twin Inequalities in Four Variables: Twin 2
- Simple Inequality with a Variety of Solutions
- A Partly Cyclic Inequality in Four Variables
- Dan Sitaru's Inequality by Induction
- An Inequality in Three (Or Is It Two) Variables
- An Inequality in Four Weighted Variables
- An Inequality in Fractions with Absolute Values
- Inequalities with Double And Triple Integrals
- An Old Inequality
- Dan Sitaru's Amazing, Never Ending Inequality
- Leo Giugiuc's Exercise
- Another Inequality with Logarithms, But Not Really
- A Cyclic Inequality of Degree Four
- An Inequality Solved by Changing Appearances
- Distances to Three Points on a Circle
- An Inequality with Powers And Logarithm
- Four Integrals in One Inequality
- Same Integral, Three Intervals
- Dorin Marghidanu's Inequality with Generalization
- Dan Sitaru's Inequality with Three Related Integrals and Derivatives
- An Inequality in Two Or More Variables
- An Inequality in Two Or More Variables II
- A Not Quite Cyclic Inequality
- Dan Sitaru's Inequality: From Three Variables to Many in Two Ways
- An Inequality with Sines But Not in a Triangle
- An Inequality with Angles and Integers
- Sladjan Stankovik's Inequality In Four Variables
- An Inequality with Two Pairs of Triplets
- A Refinement of Turkevich's Inequality
- Dan Sitaru's Exercise with Pi and Ln
- Problem 4165 from Crux Mathematicorum

|Contact| |Front page| |Contents| |Algebra| |Store|

Copyright © 1996-2017 Alexander Bogomolny62020612 |