# Cauchy-Schwartz Inequality problem

Mathematics Asked by In-finite on December 10, 2020

Let $$a,$$ $$b,$$ $$c,$$ $$d,$$ $$e,$$ $$f$$ be nonnegative real numbers.

(a) Prove that
$$(a^2 + b^2)^2 (c^4 + d^4)(e^4 + f^4) ge (ace + bdf)^4.$$

(b) Prove that
$$(a^2 + b^2)(c^2 + d^2)(e^2 + f^2) ge (ace + bdf)^2.$$

I’m not sure how I should start approaching both problems. I believe I should use Cauchy-Schwartz, but I’m not sure.
Any help would be appreciated! Thanks in advance.

These are both CS inequality applications, you should try yourself. Here is the first one:

1. $$(c^4+d^4)(e^4+f^4) geqslant (c^2e^2+d^2f^2)^2$$
2. $$(a^2+b^2)(c^2e^2+d^2f^2) geqslant (ace+bdf)^2$$

Now combine the two to get what you want.

Correct answer by Macavity on December 10, 2020

For (a),
Just use Holder's Inequality.

For (b),
Expand $$(a^2 + b^2) (c^2 + d^2) (e^2 + f^2)$$. (It is equivalent to the LHS of my answer)
Expand $$(ace + bdf)^2$$. (It is equivalent to the RHS of my answer)
The problem is just proving $$a^2 c^2 e^2 + a^2 c^2 f^2 + a^2 d^2 e^2 + a^2 d^2 f^2 + b^2 c^2 e^2 + b^2 c^2 f^2 + b^2 d^2 e^2 + b^2 d^2 f^2 ge a^2 c^2 e^2 + b^2 d^2 f^2 + 2abcdef$$ or $$a^2 c^2 f^2 + a^2 d^2 e^2 + a^2 d^2 f^2 + b^2 c^2 e^2 + b^2 c^2 f^2 + b^2 d^2 e^2 ge 2abcdef quad textrm{By cancelling 2 terms on the left and right side.}$$ Now, that is just $$(acf - bde)^2 + a^2 d^2 e^2 + a^2 d^2 f^2 + b^2 c^2 e^2 + b^2 c^2 f^2 ge 0$$ We have proved by this that the inequality is valid for any real numbers, not only non-negative ones.

Answered by Book Of Flames on December 10, 2020

## Related Questions

### Calculate if a line will pass through a given point?

2  Asked on December 20, 2020 by akash-jain

### I need to find the value of x. Im only given the a degree how would you solve this?

1  Asked on December 20, 2020 by liz

### Find the Eigenvectors $Tleft(left[begin{array}{ll}a & b \ c & dend{array}right]right)=left[begin{array}{ll}d & b \ c & aend{array}right]$

2  Asked on December 20, 2020

### How to show that there exist a m such that $a_0I+a_1T+dots+a_mT^m=0$?

1  Asked on December 20, 2020 by sunit-das

### Integral $intlimits^{infty}_0frac{tan^{-1}t }{(1+t)^{n+1}} dt$

3  Asked on December 20, 2020 by chunky-norris

### Place any number of parentheses into $1div2div3div4div5div6div7div8div9div10$ to get the number $256/63$

2  Asked on December 20, 2020 by user842445

### I want to show that $ker(h)=2Bbb Z_2^2=2(Bbb Z_2 timesBbb Z_2)$

0  Asked on December 20, 2020 by masmath

### Is $frac{1}{x} = 4$ strictly a linear equation (in one variable)?

1  Asked on December 20, 2020 by ispring-quiz

### Doubt in following one step of Proof

1  Asked on December 19, 2020 by latus_rectum

### How to use stars and bars to count how many terms there are in a polynomial expansion?

2  Asked on December 19, 2020 by grompchompz

### Cross Product in Euclidean Space with infinite Dimensions

1  Asked on December 19, 2020 by enock-kabibi

### How to prove that $lim_{xtoinfty}frac{(log_2 x)^3}{x^n}=0$

4  Asked on December 19, 2020 by shiran-shaharabani

### Probability theory (heads and tails)

1  Asked on December 19, 2020 by dshunevich

### Infinite set as a countably infinite union of infinite disjoint subsets

1  Asked on December 19, 2020 by xuuserac

### Can $Tleft( nright) = 4Tleft({nover 2}right) + 2^{nover2}$ be solved using Akra-Bazzi method?

2  Asked on December 19, 2020 by akash-karnatak

### Integral involving distance to the boundary

0  Asked on December 19, 2020 by isak

### In a compact metric space, a sequence with a certain property is convergent

1  Asked on December 19, 2020 by stakmod

### can you help with this exponential decay question?

2  Asked on December 19, 2020 by perfectoid

### Linear combinations of four-dimensional vectors

2  Asked on December 18, 2020 by sammy

### would relation induced subset break cartesian product – homomorphism of convex hull?

0  Asked on December 18, 2020 by peng-yu