# Difference between revisions of "Aczel's Inequality"

Spanferkel (talk | contribs) m (→General Form) |
Etmetalakret (talk | contribs) |
||

(2 intermediate revisions by 2 users not shown) | |||

Line 17: | Line 17: | ||

(a_{i1}^{ p_i} - a_{i2}^{ p_i} - \dots - a_{in}^{ p_i})^\frac 1{ p_i}</math></center> | (a_{i1}^{ p_i} - a_{i2}^{ p_i} - \dots - a_{in}^{ p_i})^\frac 1{ p_i}</math></center> | ||

with equality if and only if all the sequences are proportional. | with equality if and only if all the sequences are proportional. | ||

+ | |||

+ | ==Examples== | ||

+ | |||

+ | '''Olympiad''' | ||

+ | Suppose <math>a_1, a_2, \ldots, a_n</math> and <math>b_1, b_2, \ldots, b_n</math> are real numbers such that <cmath> (a_1 ^ 2 + a_2 ^ 2 + \cdots + a_n ^ 2 -1)(b_1 ^ 2 + b_2 ^ 2 + \cdots + b_n ^ 2 - 1) > (a_1 b_1 + a_2 b_2 + \cdots + a_n b_n - 1)^2. </cmath> Prove that <math>a_1 ^ 2 + a_2 ^ 2 + \cdots + a_n ^ 2 > 1</math> and <math>b_1 ^ 2 + b_2 ^ 2 + \cdots + b_n ^ 2 > 1</math>. (USA TST 2004) | ||

== References == | == References == | ||

Line 25: | Line 30: | ||

* [[Inequalities]] | * [[Inequalities]] | ||

− | [[Category: | + | [[Category:Algebra]] |

− | [[Category: | + | [[Category:Inequalities]] |

{{stub}} | {{stub}} |

## Latest revision as of 16:36, 29 December 2021

**Aczél's Inequality** states that if or , then

## Proof

Consider the function .

We have , and from we get . Therefore, must have at least one root, .

## General Form

Let such that and let

be sequences of positive real numbers such that for . Then

with equality if and only if all the sequences are proportional.

## Examples

**Olympiad**
Suppose and are real numbers such that Prove that and . (USA TST 2004)

## References

- Mascioni, Vania, A note on Aczél-type inequalities, JIPAM volume 3 (2002), issue 5, article 69.
- Popoviciu, T., Sur quelques inégalités, Gaz. Mat. Fiz. Ser. A, 11 (64) (1959) 451–461

## See also

*This article is a stub. Help us out by expanding it.*