# Equality of an Inequality

Mathematics Asked on January 1, 2022

I encountered the following problem in my textbook-

Let $$a, b, c$$ be three arbitrary real numbers. Denote $$x = sqrt{b^2-bc+c^2}, y = sqrt{c^2-ca+a^2}, z = sqrt{a^2-ab+b^2}$$ Prove that $$xy+yz+zx ge a^2+b^2+c^2$$

Textbook’s Solution:
Rewrite x,y in the following forms $$x = sqrt{{3c^2over 4}+left(b-{cover 2}right)^2}, y = sqrt{{3c^2over 4}+left(a-{cover 2}right)^2}$$
According to Cauchy-Schwarz inequality, we conclude $$xy ge {3c^2over 4}+{1over 4}left( 2b-cright)left(2a-c right)$$
which implies
$$sum_{cyc}xy ge {3over 4}sum_{cyc}c^2 +{1over 4}sum_{cyc}left( 2b-cright)left(2a-c right) = sum_{cyc}a^2.$$
My Approach:
From the given values of $$x$$ and $$y$$
$$xy = sqrt{left( c^2-bc+b^2right) left(c^2-ca+a^2 right)} ge c^2+csqrt{ab}+ab$$
So, $$xy+yz+zx ge sum_{cyc}a^2+sum_{cyc}asqrt{bc}+sum_{cyc}bc$$
And it rests to prove that-
$$sum_{cyc}a^2+sum_{cyc}asqrt{bc}+sum_{cyc}bc ge sum_{cyc}a^2$$
$$sum_{cyc}asqrt{bc}+sum_{cyc}bc ge 0$$
Now my question is that how to prove this? Or are we done?
And also if both approachs are correct, what is the equality case?
The equality case is not given in the textbook so I ask.
Thanks!

Try $$a=b=c$$.

Id est, you got a right inequality, but after a wrong step and the proof of your last inequality is not relevant already.

Answered by Michael Rozenberg on January 1, 2022

## Related Questions

### How to prove that there is not a monomorphism from Klein 4-group to $Z_6$(or a epimorphism from $Z_6$ to $V_4$)?

1  Asked on January 25, 2021 by tota

### Homomorphisms between fields are injective.

4  Asked on January 25, 2021

### We have an integer n. We have n boxes where each box contains a non-negative amount of balls. Find all the permutations which satisfy some criteria

1  Asked on January 25, 2021 by michael-blane

### Approximation of the sum of a series $S(t)=-frac{2}{pi t} cos(frac{pi t}{2}) sum_{m odd}^{infty}frac{m^2alpha_m}{t^2-m^2}$ as $tto +infty$

0  Asked on January 25, 2021 by yolbarsop

### Homogenous space of elliptic curve E/$Bbb Q$

1  Asked on January 25, 2021 by bellow

### On the functional square root of $x^2+1$

9  Asked on January 25, 2021 by user1551

### Is there a simple way to find all the solutions of $x_1 + x_2 + dots + x_k + dots + x_K = N$ when $x_k$s and $N$ are all non-negative integers?

2  Asked on January 25, 2021 by cardinal

### Minimizing the Schatten 1-norm over symmetric matrices.

2  Asked on January 25, 2021 by gene

### The frontier of a set

1  Asked on January 25, 2021 by gal-ben-ayun

### express a matrix using Kronecker product

0  Asked on January 25, 2021 by jyothi-jain

### Approximating multiples of reals with integers

1  Asked on January 25, 2021

### How is this sentence written correctly in maths? (sets)

0  Asked on January 25, 2021 by eyesima

### Let $n$ be an integer. If the tens digit of $n^2$ is 7, what is the units digit of $n^2$?

6  Asked on January 24, 2021 by user713999

### Partitioning $mathbb{R}$ for given functions.

0  Asked on January 24, 2021

### How to count the number of symmetries of a 3-d object?

1  Asked on January 24, 2021

### Is checking really needed?

3  Asked on January 24, 2021 by 1b3b

### Struggling to understand proof, there is no simple group of order $525$

1  Asked on January 24, 2021 by scott-frazier

### prove the following compact result about $GL(n,mathbb{R})$

1  Asked on January 24, 2021

### i need to proove that An∪B→A∪B

1  Asked on January 24, 2021 by methodcl

### How can I show that $T(omega) = T(overline{omega})$ when $X_{t}(omega)=X_{t}(overline{omega})$ for all $t in [0,T(omega)]cap [0,infty)$

1  Asked on January 24, 2021 by minathuma