Математика · 9 класс · Физтех 2026/27 · первая попытка

Задача 4. Наибольшее произведение

Условие

Числа xx, yy удовлетворяют условию x2+xy+y2=9x^2+xy+y^2=9. Найдите наибольшее возможное значение произведения xyxy.

Дано: числа xx, yy связаны одним равенством

x2+xy+y2=9.x^2+xy+y^2=9.
Найти: наибольшее возможное значение произведения xyxy (и обязательно указать, при каких xx, yy оно достигается).

xy(3; 0)(0; 3)x² + xy + y² = 9все пары (x; y), удовлетворяющие условию
Рисунок к условию
О задаче · 9 класс
Олимпиада
Физтех
Предмет / класс
Математика · 9 класс
Сезон / этап
2026/27 · первый тур, первая попытка

Исследуй задачу

Модель с пояснениями к решениюОткрыть модель

Есть пояснения и построения из решения. Открой, когда захочешь воспользоваться этой помощью.

Исследование после решения

Как максимум xy зависит от C

Число в правой части условия x² + xy + y² = C меняется. Чему равно наибольшее xy и где оно достигается?

Модель загружается…

Формула max xy = C/3 верна для C > 0 и действительных x, y; при C ≤ 0 кривая вырождается (C = 0 — одна точка, C < 0 — пустое множество), поэтому ползунок начинается с 1. Если x, y целые, ответ может быть другим (при C = 9 — только 0).

Попробуйте сначала сами. Подставьте несколько пар, удовлетворяющих условию: x=3x=3, y=0y=0; x=3x=3, y=−3y=-3; x=0x=0, y=−3y=-3; подберите ещё одну-две. Какое наибольшее значение xyxy у вас получилось? А теперь главный вопрос: как доказать, что больше нельзя?

Записать идею

Личный черновик для заметок и расчётов. Он никуда не отправляется и не проверяется.

Подсказка 1

Выражение x2+xy+y2x^2+xy+y^2 очень похоже на x2+y2x^2+y^2 с «лишним» слагаемым xyxy. Вспомните, как связаны x2+y2x^2+y^2 и xyxy для любых чисел: что больше — x2+y2x^2+y^2 или 2xy2xy, и при каких xx, yy они равны?

Подсказка 2

Перепишите условие в виде x2+y2=9−xyx^2+y^2=9-xy. Левую часть можно оценить снизу через xyxy — после этого останется неравенство, в котором участвует только xyxy. В конце обязательно предъявите пару (x;y)(x;y), на которой оно превращается в равенство.

Разобрать решение по шагам
1

Шаг 1. Обозначаем искомое и отделяем x2+y2x^2+y^2

Спрашивают про xyxy, поэтому обозначим произведение одной буквой: t=xyt=xy. Цель — получить неравенство, в котором участвует только tt.

В условии x2+xy+y2=9x^2+xy+y^2=9 стоят сумма квадратов и произведение; перенесём произведение вправо:

x2+y2=9−t.x^2+y^2=9-t.

Слева — симметричная сумма квадратов, про которую известно классическое неравенство. Именно оно и свяжет левую часть с tt.

2

Шаг 2. Применяем (x−y)2≥0(x-y)^2\ge 0

Для любых действительных xx, yy верно (x−y)2≥0(x-y)^2\ge 0, то есть

x2+y2≥2xy=2t.x^2+y^2\ge 2xy=2t.

Почему именно оно? Нам нужна оценка tt сверху. Значит, левую часть x2+y2=9−tx^2+y^2=9-t надо оценить снизу, причём так, чтобы в оценке было tt и чтобы она росла вместе с tt. Ровно это и даёт x2+y2≥2tx^2+y^2\ge 2t.

Есть и «соседнее» неравенство (x+y)2≥0(x+y)^2\ge 0, то есть x2+y2≥−2tx^2+y^2\ge -2t. Но после подстановки оно даёт только t≥−9t\ge -9 — оценку снизу, а нам нужна оценка сверху.

Подставляем x2+y2=9−tx^2+y^2=9-t:

9−t≥2t,3t≤9,t≤3.\begin{aligned} 9-t &\ge 2t,\\[0.45em] 3t &\le 9,\\[0.45em] t &\le 3. \end{aligned}

Итак, xy≤3xy\le 3 для любых xx, yy, удовлетворяющих условию. Это оценка сверху, но ещё не ответ: пока неизвестно, бывает ли xyxy равно 33.

3

Шаг 3. Проверяем достижимость

Неравенство (x−y)2≥0(x-y)^2\ge 0 обращается в равенство ровно при x=yx=y — значит, именно там надо искать пару, на которой xy=3xy=3. Подставляем y=xy=x в условие:

3x2=9,x2=3,3x^2=9,\qquad x^2=3,

то есть x=y=3x=y=\sqrt3 или x=y=−3x=y=-\sqrt3.

Проверяем: x2+xy+y2=3+3+3=9x^2+xy+y^2=3+3+3=9 — условие выполнено, и xy=3⋅3=3xy=\sqrt3\cdot\sqrt3=3. Значение 33 действительно достигается.

На рисунке это видно так: все пары (x;y)(x;y) из условия образуют наклонный эллипс, а пары с xy=3xy=3 — гиперболу. Гипербола xy=3xy=3 касается эллипса ровно в двух точках (3;3)(\sqrt3;\sqrt3) и (−3;−3)(-\sqrt3;-\sqrt3) — это и есть точки максимума.

xy33(√3; √3)(−√3; −√3)xy = 3xy = 1y = xx² + xy + y² = 9
Все пары (x; y), удовлетворяющие условию x² + xy + y² = 9, образуют наклонный эллипс. Гипербола xy = 3 касается его ровно в точках (√3; √3) и (−√3; −√3) — это точки максимума; гипербола xy = 1 для сравнения пересекает эллипс в четырёх точках.
4

Шаг 4. Почему оценка и пример вместе дают ответ

Задача «найти наибольшее значение» всегда состоит из двух половин: доказать, что больше некоторого числа не бывает (шаг 2), и показать, что это число бывает (шаг 3). Мы сделали обе: xy≤3xy\le 3 всегда, и xy=3xy=3 при x=y=3x=y=\sqrt3. Поэтому

max⁡xy=3.\max xy=3.

На втором рисунке видно, что гипербола xy=1xy=1 пересекает эллипс (значение 11 достигается, но не максимально), xy=3xy=3 его касается (это максимум), а xy=5xy=5 до эллипса не достаёт (значение 55 невозможно).

xy33xy = 1xy = 3xy = 5x² + xy + y² = 9
Три состояния: xy = 1 пересекает эллипс (значение достигается, но не максимально), xy = 3 касается (максимум), xy = 5 до эллипса не достаёт (невозможно). Оценка без примера — ещё не ответ.

Проверка

Проверка вторым способом (через Виета). Пусть s=x+ys=x+y, t=xyt=xy. Тогда

x2+xy+y2=(x+y)2−xy=s2−t,x^2+xy+y^2=(x+y)^2-xy=s^2-t,

и условие принимает вид s2=9+ts^2=9+t.

Числа xx, yy — действительные корни уравнения z2−sz+t=0z^2-sz+t=0, поэтому его дискриминант неотрицателен: s2−4t≥0s^2-4t\ge 0. Подставляем s2=9+ts^2=9+t:

9+t−4t≥0,t≤3.9+t-4t\ge 0,\qquad t\le 3.

Равенство — при s2=4t=12s^2=4t=12, s=±23s=\pm 2\sqrt3, то есть снова x=y=±3x=y=\pm\sqrt3.

Контрольные точки: (3;0)(3;0) даёт xy=0xy=0; (3;−3)(3;-3) даёт xy=−9xy=-9; (3;3)(\sqrt3;\sqrt3) даёт xy=3xy=3. Первые две меньше 33, третья лежит на кривой и достигает оценки — всё согласуется.

Ответ

33 (достигается при x=y=3x=y=\sqrt3 и при x=y=−3x=y=-\sqrt3).

Главная идея

Условие x2+xy+y2=9x^2+xy+y^2=9 — это «x2+y2x^2+y^2 плюс xyxy». Отделив x2+y2=9−xyx^2+y^2=9-xy и применив x2+y2≥2xyx^2+y^2\ge 2xy (то есть (x−y)2≥0(x-y)^2\ge 0), получаем 3xy≤93xy\le 9, xy≤3xy\le 3. Пара x=y=3x=y=\sqrt3 показывает, что оценка точная.

Если в условии стоит симметричное выражение второй степени (x2+y2x^2+y^2, x2±xy+y2x^2\pm xy+y^2, x2+y2±2xyx^2+y^2\pm 2xy), а спрашивают про xyxy или x+yx+y — почти всегда работает одно из неравенств x2+y2≥2xyx^2+y^2\ge 2xy, x2+y2≥−2xyx^2+y^2\ge -2xy или замена s=x+ys=x+y, t=xyt=xy с условием s2≥4ts^2\ge 4t (действительность корней). Сигнал: «симметрия + одна связь + экстремум одной симметричной величины».

Где легко ошибиться

Получить оценку xy≤3xy\le 3 и остановиться, не предъявив пару (x;y)(x;y), на которой достигается равенство. Без примера x=y=3x=y=\sqrt3 ответ не обоснован: оценка может оказаться неточной. Скажем, неравенство x2+y2≥0x^2+y^2\ge 0 даёт xy≤9xy\le 9 — это верно, но ответом не является, потому что xy=9xy=9 на кривой не достигается (гипербола xy=9xy=9 эллипса не касается). Только пара «оценка + пример» доказывает, что найден именно максимум.

Источник и авторство

Физтех · математика · 9 класс · 2026/27 · первый тур, первая попытка. Официальная задача 4.1 (ID 6081).

Официальные условия ↗ · Материалы организатора ↗

Подсказки, объяснение и исследовательские модели — Popov Academy. Решение проверено; результат сопоставлен с официальными материалами.

Увеличенный рисунок