Skill stop · How is this move done?

Cauchy with Parameters

In the Chinese book: 带参数的柯西不等式

Insert a weight λ. Every λ gives a bound; one λ kills x and is reached.

📖 §4.5 of 《平均值不等式与柯西不等式》

Before this stop, visit:Cauchy in Combinatorial Estimates (Method)

WorkbenchThe solid curve is ; the dashed curve is the upper bound from Cauchy. Drag . Does the dashed curve always touch the solid one? When does it become horizontal?

Loading figure…

What this move does

For any positive numbers , apply the Cauchy inequality to and :

with equality if and only if and are proportional. The are “weights” we put in ourselves. They do not change whether the inequality is true, but they change what the right side looks like and where equality holds.

  1. In the expression to be estimated, split each term into two factors and insert an undetermined .
  2. Choose so that one factor on the right does not depend on the variable (or is exactly the given condition).
  3. Check that the equality condition can then be met inside the domain. If it can, the bound is the extreme value.

Predict first

. What is the maximum of ?

Choose an answer first; then you can see the result.

Work through one

Example: find the maximum of f(x) = √(x+1) + √(5−2x)

Step 1 / 4
Loading figure…
  1. No parameter: λ = 1

    Applying Cauchy directly gives . The dashed curve is the square root of the right side. It lies above everywhere and touches at , but it slopes down to the right and reaches at the left endpoint.

In general, for take : . The job of the parameter is to balance the two expressions under the square roots by their coefficients of .

When it fails

Break it

Counterexample lab: remove one condition

Conclusion: the upper bound from Cauchy is the maximum

: the upper bound is the constant , touching at its highest point.

Loading figure…

Practice

Exercise 1Basic

. Find the maximum of .

Exercise 2Basic

Real numbers satisfy . Find the minimum of .

Exercise 3Advanced

Positive numbers satisfy . Find the maximum of .

Exercise 4Challenge

. For which does reach its maximum?