Maths Olympiad Prep

Library / /15 of 27

Algebra Difficulty 6.3 National olympiad Find the answer

Find the smallest value that the expression takes x4+y4x2yxy2x^4 + y^4 - x^2y - xy^2, for positive numbers xx and yy satisfying x+y1x + y \le 1.

A number or a short expression. Spacing and $ signs are ignored.

Solution

We wish to find the minimum value of the expression x4+y4x2yxy2 x^4 + y^4 - x^2y - xy^2 subject to the constraint x+y1 x + y \leq 1 where x x and y y are positive real numbers.

First, consider using the Lagrange multipliers method to incorporate the constraint x+y=c1 x + y = c \leq 1 . We define the Lagrangian function as
L(x,y,λ)=x4+y4x2yxy2+λ(cxy). \mathcal{L}(x, y, \lambda) = x^4 + y^4 - x^2y - xy^2 + \lambda (c - x - y).

Compute the partial derivatives and set them to zero to find critical points:
Lx=4x32xyy2λ=0, \frac{\partial \mathcal{L}}{\partial x} = 4x^3 - 2xy - y^2 - \lambda = 0,
Ly=4y3x22xyλ=0, \frac{\partial \mathcal{L}}{\partial y} = 4y^3 - x^2 - 2xy - \lambda = 0,
Lλ=cxy=0. \frac{\partial \mathcal{L}}{\partial \lambda} = c - x - y = 0.

The constraint becomes x+y=c x + y = c . Substitute y=cx y = c - x into the equations:
4x32x(cx)(cx)2λ=0, 4x^3 - 2x(c-x) - (c-x)^2 - \lambda = 0,
4(cx)3x22x(cx)λ=0. 4(c-x)^3 - x^2 - 2x(c-x) - \lambda = 0.

However, instead of dealing with these non-linear equations, one efficient approach uses symmetry when x=y x = y :
- Let x=y=c2 x = y = \frac{c}{2} .

Then substitute into the expression:
(c2)4+(c2)4(c2)2(c2)(c2)(c2)2. \left(\frac{c}{2}\right)^4 + \left(\frac{c}{2}\right)^4 - \left(\frac{c}{2}\right)^2\left(\frac{c}{2}\right) - \left(\frac{c}{2}\right)\left(\frac{c}{2}\right)^2.

Simplify:
=2(c2)42(c2)3=2(c416)2(c38)=c48c34. = 2 \left(\frac{c}{2}\right)^4 - 2 \left(\frac{c}{2}\right)^3 = 2 \left(\frac{c^4}{16}\right) - 2 \left(\frac{c^3}{8}\right) = \frac{c^4}{8} - \frac{c^3}{4}.

With the constraint c=x+y=1 c = x + y = 1 ,
=148134=1814=1828=18. = \frac{1^4}{8} - \frac{1^3}{4} = \frac{1}{8} - \frac{1}{4} = \frac{1}{8} - \frac{2}{8} = -\frac{1}{8}.

This calculation verifies that the minimum value of the expression, considering optimality subject to x+y1 x + y \leq 1 , is indeed 18-\frac{1}{8}:

18 \boxed{-\frac{1}{8}}

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: Omni-MATH, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.