Квант

34

Решения задач

M986—M990; Ф998—Ф1002

Положим a=x10a=x^{10}, b=y15b=y^{15} и рассмотрим функцию
f(x)=2x5+3y5−5x2y3,x⩾0f(x)=2x^5+3y^5-5x^2y^3, \quad x \geqslant 0
(при фиксированном y>0y > 0). Надо доказать, что f(x)⩾0f(x) \geqslant 0. Производная
f′(x)=10x4−10xy3=10x(x3−y3)f'(x)=10x^4-10xy^3=10x(x^3-y^3)
обращается в 0 при x=yx=y, отрицательна при 0<x<y0 < x < y и положительная при x>yx > y. Таким образом (см. рисунок), при x=yx=y функция f(x)f(x) принимает минимальное значение, и при всех x>0x > 0
f(x)⩾f(y)=2y5+3y5−5y5=0.f(x) \geqslant f(y)=2y^5+3y^5-5y^5=0.
Другие доказательства, не использующие математического анализа, можно получить, разложив f(x)f(x) на множители:
f(x)=(x−y)2(2x3+4x2y+6xy2+3y3)f(x)=(x-y)^2(2x^3+4x^2y+6xy^2+3y^3)
или воспользоваться неравенством между средним аргументом и средним геометрическим для пяты чисел x5,x5,y5,y5,y5x^5, x^5, y^5, y^5, y^5:
2x5+3y55⩾x5⋅2y5⋅35=x2y3.\frac{2x^5+3y^5}{5} \geqslant \sqrt[5]{x^5 \cdot 2y^5 \cdot 3}=x^2y^3.
(Подробное обсуждение этой задачи содержится в новом издании книги «Заочные математические оптимизации», М.: — «Наука», 1986, задача 4-16.)

Н. В. Васильев

M987. В турнире участвуют 2м команд. В первом.type встретились неокторы.m пар команд, во втором — другие.m пар команд. Докажите, что после этого можно выбрать m команд, никакие две из которых еще не играли между собой.

Изображим наши 2м команд точками на плоскости. Пары команд, встречавшихся в первом.type, соединим красными отрезками, во втором — голубыми. Тогда из каждой точки будет выходить один красный и один голубой отрезок. Любая команда принадлежит неокторому «циклу» — замкнутой ломаной, состоящей из чередушихся голубых и красных отрезков, так что все 2м точек и 2м соединяющих их отрезков образуют один или несколько таких циклов (см. рисунок). Поскольку цвет чередушихся, число команд в каждой цикле четно. Выбрав в каждом цикле пользову команд, стоящих через одну, получим набор m команд, которые еще не играли друг с другом. Из решения видно, что такой набор можно выбрать 2c2^c разными способами, где cc — число циклов, и что более чем m команд, не игравших друг с другом, выбрать нельзя*).

M. Бона

M988. Из точки O плоскости проведено n векторов единичной длины. Докажите, что если для неокторого k<n/2k < n/2 по обе стороны от каждой прямой, проходящей через O, лежит не менее k векторов, то длина суммы всех n векторов не больше n—2k.

Пусть s⃗\vec{s} — сумма данных векторов; можно считать s⃗≠0⃗\vec{s} \neq \vec{0}, иначе все очень видно. Например положительное полусьвое OxOx системы координат OxyOxy вдоль вектора s⃗\vec{s}. Двигаясь по часовой стрелке от

*)Вот еще одна задача с похожей идеей решения: доказать, что если каждый из m участников кружка решил две из m предложенных задач, то можно организовать разбор задач так, чтобы каждый рассакал одну решенную им задачу (см. задачу 5-42 в книге, упомянутой в решении M986).

35

отрицательной полуси OxOx, заиммерем данные векторы, лежащие в верхней полуплоскости y⩾0y \geqslant 0:
a⃗1,a⃗2,…\vec{a}_1, \vec{a}_2, \dots; аналогично, дивяясь против часовой стрелки, заиммерем остальные векторы (в нижней полуплоскости): b⃗1,b⃗2,…\vec{b}_1, \vec{b}_2, \dots (см. рисунок). По условияю по крайней мере kk векторов лежат влевой полуплоскости x⩽0x \leqslant 0; пусть это будет a⃗1,a⃗2,…,a⃗l\vec{a}_1, \vec{a}_2, \dots, \vec{a}_l и b⃗1,b⃗2,…,b⃗k−1\vec{b}_1, \vec{b}_2, \dots, \vec{b}_{k-1}, … Условие «по обе стороны от каждой прямой лежит не менее kk векторов» эквивалентно тому, что каждый из nn векторов вместе с kk следующими за ним против часовой стрелки (или по часовой стрелке) лежат в одной полуплоскости. Отсюда следует, что kk попарных сумм векторов:
a⃗1+b⃗k−1+1\vec{a}_1 + \vec{b}_{k-1+1} (то есть сумма вектора a1a_1 и kk-го от него против часовой стрелки, a⃗l−1+b⃗k−l+2,…,a⃗1+b⃗k\vec{a}_{l-1} + \vec{b}_{k-l+2}, \dots, \vec{a}_1 + \vec{b}_k, а также b⃗k−l+a⃗l+1,b⃗k−1−l+a⃗l+2,…,b⃗1+a⃗k\vec{b}_{k-l} + \vec{a}_{l+1}, \vec{b}_{k-1-l} + \vec{a}_{l+2}, \dots, \vec{b}_1 + \vec{a}_k — все дают отрицательные проекции на ось OxOx. (Действительно, например, сумма v⃗=a⃗1+b⃗k\vec{v} = \vec{a}_1 + \vec{b}_k направлена по биссектрисе угла, образованного векторами a⃗1\vec{a}_1 и b⃗k\vec{b}_k, а отрицательная полуси OxOx лежит внутри этого угла и потому составляет острый угол с v⃗\vec{v}.) Проекции каждой из остальных n−2kn-2k векторов не больше 1. Поэтому проекция суммы всех векторов, а она равна длине s⃗\vec{s}, не больше n−2kn-2k.

Заметим, что в условиях задачи вектор, лежащий на прямой, можно считать расположенным по любому сторону от нее.

Интересно было бы получить утверждение, аналогичное нашей задаче, для векторов в пространстве.

П. А. Калуцин, В. В. Прасолов

◆ Пусть d1,d2,…,dnd_1, d_2, \dots, d_n — такие делители числа aa, что
a−1=ad1+ad2+⋯+adn.a - 1 = \frac{a}{d_1} + \frac{a}{d_2} + \dots + \frac{a}{d_n}.
Тогда
1−1a=1d1+1d2+⋯+1dn<1.1 - \frac{1}{a} = \frac{1}{d_1} + \frac{1}{d_2} + \dots + \frac{1}{d_n} < 1. (1)

Идей решения задачи заключится в том, чтобы каждый n=2,3,…n=2, 3, \dots в множестве XnX_n чисел, представимых суммой nn чисел, образных натуральным, указать наиболее число μn\mu_n, строго меньше 1. Тогда из (1) будет следовать оценка для aa:
1−1a⩽μn⇒a⩽11−μn.1 - \frac{1}{a} \leqslant \mu_n \Rightarrow a \leqslant \frac{1}{1-\mu_n}. (2)

Заметим, что поскольку множество XnX_n бесконечно, даже существование такого μn\mu_n для каждой nn нуждается в доказательстве: наглядное объяснение этого доказательства, которое мы приведем в пункте в), состоит в том, что XnX_n получается прибавленем к каждому числу из Xn−1X_{n-1} всех чисел вида 1/k1/k (k=1,2,…k=1, 2, \dots) и потому точки из XnX_n в бесконечном количестве накапливаются лишь справа от каждой точки из Xn−1X_{n-1} и не могут скопиться слева от каждой точки (в частности, от точки 1).

a) Ответ: a=3,4,6a=3, 4, 6. Если
x=1k1+1k2<1,k1⩽k2,x = \frac{1}{k_1} + \frac{1}{k_2} < 1, \quad k_1 \leqslant k_2,
то k1⩾2,k2⩾3k_1 \geqslant 2, k_2 \geqslant 3 (начue x⩾1/2+1/2=1x \geqslant 1/2 + 1/2=1), поэтому x⩽μ2=1/2+1/3=5/6x \leqslant \mu_2=1/2+1/3=5/6 и из (2) следует, что a⩽6a \leqslant 6. Перебирая все такие aa, видим, что число a−1a-1

36

можно представить в виде суммы двух делительей aa лишь при a=3,4a=3, 4 и 6 (в этих случаях a−1a-1 равно 2=1+1,3=2+1,5=3+22=1+1, 3=2+1, 5=3+2; представить 4 в виде суммы двух делительей a=5a=5 нельзя).

  1. Пусть

x=1k1+1k2+1k3<1,k1⩽k2⩽k3.x = \frac{1}{k_1} + \frac{1}{k_2} + \frac{1}{k_3} < 1, \quad k_1 \leqslant k_2 \leqslant k_3.

Если k1⩾3k_1 \geqslant 3, то x⩽1/3+1/3+1/4=11/12x \leqslant 1/3+1/3+1/4=11/12; если k1=2,k2⩾4k_1=2, \quad k_2 \geqslant 4, то x⩽1/2+1/4+1/5=19/20x \leqslant 1/2+1/4+1/5=19/20; если k1=2,k2=3k_1=2, \quad k_2=3, то k3⩾7k_3 \geqslant 7 и

x⩽1/2+1/3+1/7=41/42.x \leqslant 1/2+1/3+1/7=41/42.

Таким образом, μ3=41/42\mu_3=41/42 и из (2) следует, что a⩽42a \leqslant 42. Перебирая эти aa, можно выбрать те, для которых a−1a-1 представляется в виде суммы трех делительей a−1a-1. Ответ: a=4,6,8,10,12,18,20,24a=4, 6, 8, 10, 12, 18, 20, 24 и 42.

в) Докажем, что для любого c>0c>0 в множество чисел, принадлежащих XnX_n и меньше cc, есть наиболее число μn(c)\mu_n(c). (Для решения задачи достаточно доказать это для c=1c=1, но более общее утверждение легче доказать индикцией по nn.) Например, что XnX_n — бесконечное множество чисел вида

x=1k1+1k2+⋯+1kn,x = \frac{1}{k_1} + \frac{1}{k_2} + \dots + \frac{1}{k_n},

(3)

где k1,k2,…,knk_1, k_2, \dots, k_n — натуральные числа.

Для n=1n=1 нашей утверждение очевидно: μn(c)\mu_n(c) — это наиболее число вида 1/k1/k, меньше cc, то есть 1/[c+1]1/[c+1] (квадратные скобки ознакомают целую часть числа). Пусть нашей утверждение доказано для Xn−1X_{n-1}; доказем его для XnX_n.

Выберем натуральное kk такое, что n/k<cn/k < c (можно взять k=[n/c]+1k=[n/c]+1). Тогда среди чисел xx из XnX_n, меньше cc, имеется число n/kn/k (сумма nn дробей 1/k1/k), а в представлении (3) любого числа xx, также, что n/k<x<cn/k < x < c, хотя одна из дробей 1/ki1/k_i больше 1/k1/k, то есть ki⩽k−1k_i \leqslant k-1. При этом x−1/kix-1/k_i принадлежит Xn−1X_{n-1} и наиболее из таких xx — а это и есть μn(c)\mu_n(c) — будет равно наиболее из конечного набора чисел

nk,μn(c−1k−1)+1k−1,\frac{n}{k}, \quad \mu_n\left(c - \frac{1}{k-1}\right) + \frac{1}{k-1},

μn(c−1k−2)+1k−2,…,μn(c−1l)+1l\mu_n\left(c - \frac{1}{k-2}\right) + \frac{1}{k-2}, \dots, \quad \mu_n\left(c - \frac{1}{l}\right) + \frac{1}{l}

(где ll — наиболее натуральное число, для которого c−1/l>0c-1/l>0, то есть l=[1/c]+1l=[1/c]+1).

Оказывается, можно для каждой n=3,4,…n=3, 4, \dots указать наиболее число ana_n, для которого an−1a_n-1 представляется в виде суммы nn делительей ana_n: довольно давно была сформированная гипотеза о том, что μn(1)\mu_n(1) — близкая слева к 1 число вида (3) — равно сумме первых nn дробей nn дробей

12+13+17+143+11807+…,\frac{1}{2} + \frac{1}{3} + \frac{1}{7} + \frac{1}{43} + \frac{1}{1807} + \dots,

в котором знаменатель каждой дроби на 1 больше произведения знаменателя всех предыдуших; из нее вытекает, что ana_n — это произведение знаменателя первых nn дробей (то есть an+1=an2−ana_{n+1}=a_n^2-a_n).

H. B. Васильев

37

М990. В пространстве заданы три попарно скрещивающих прямых a, b и c, не параллельных одной плоскости, существует различных параллеленедов, у которых эти три прямые:
a) проходят по ребрам,
b) проходят по ребрам или диагоналям граней,
b) содержат б вершин параллеленеда?

Заметим сначала, что для любых трех попарно скрещивающих прямых a, b и c, не параллельных одной плоскости, существует единственный отрезок с концами на a и b, параллельный c.

Действительно, искомый отрезок должен лежать в плоскости a, содержащей a и параллельной c. Очевидно, такая плоскость существует (ее можно проверить через a и любую прямую, пересекающую a и параллельную c), единственная и не параллельна b. Точка пересечения a и b — один из концов нашего отрезка. Проведяем него прямую, параллельную c, до пересечения с a, получим второй конец.

Такого рода отрезок нам придется проводить много раз; для краткости будем называть его c-mостиком между a и b или просто c-mостиком. На рисунках 1—9 данные прямые обозначаны с ним цветом,ностики — красным.

a) Ответ: 1. Ясно, что 3 местка, определяемые данныхми прямыми, являются ребрами исключого параллелепипеда (рис. 1). Построив их, мы получим 6 вершин, после чего однозначно восстановляются и 2 последние вершины.

b) Ответ: 19. Перечислим сначала всевозможные наборы из трех попарно скрещивающих ребер или диагоналей граней параллелепипеда. Они могут содержать:

  1. 3 ребра (см. задачу a));
  2. диагональ грани a, ребро b, параллельное этой грани, и ребро c, ее пересекающей (рис. 2);
  3. ребро a, диагональ b грани, параллельной a, и диагональ c грани, пересекающей a (рис. 3);
  4. ребро a и диагонали b и c двух граней, параллельных a (рис. 4);
  5. 3 диагонали a, b и c граней, из которых 2 (скажем, b и c) лежат в параллельных гранах (рис. 5).

В каждом из этих случаев параллелепипед можно однозначно восстановить, если заданы прямые, содержащие отрезки a, b и c, и указано, какой именно прямой принадлежит каждой из этих отрезков; при этом в качестве таких прямых можно быть любые 3 прямые, удовлетворяющие условиям задачи.

Как построить параллелепипед с помощью наших «мостиков», объявляют рисунки 2—5. Разберем подробнее только один случаем 2). Построив c-mостик AB между a и b и b-mостик CD между c и a, получим 4 вершины параллелепипеда — концы A и D диагоналя грани a и по одному концу — B и C — ребер b и c. Для построения остальных вершин достаточно отложить вектор AB⃗\vec{AB} от точек C и D и вектор CD⃗\vec{CD} от точек A и B. Построения в случае 3) и 4) аналогичны, а в случае 5) концы наших мостиков дают 4 вершины и центры двух проположных граней параллелепипеда, что позволяет легко найти остальные вершины.

В каждом из случаев 2)—5) надо еще указаать, какой из отрезков a, b, c будет лежать на каждой из трех данных прямых. Такое «распределение полей» можно осуществить 6 разными способами, причем, как видно из построения, в случае 2) и 3) это дает по 6 разных параллелепипедов, а в случае 4) и 5) — по 3 (поскольку построения не меняются при перестановке b и c). Суммируя число параллелепипедов по всем случаям, получим 1+6+6+3=19.

38

В) Ответ: 31. К вариантом, рассмотренным при решении задачи 6), добавляются те, при которых одна из прямых содержит диагональ aa параллелепида, а 2 другие —
6) 2 ребра bb и cc (рис. 6),
7) ребро bb и диагональ грани cc (рис. 7),
8) 2 диагонали граней bb и cc (рис. 8).

Построим bb- и cc-мостики. В случае 6) их концы являются вершинами параллелепида, и дальнейшее построениеясно из рисунка 6. В случае 7) bb-мостик ACAC между aa и cc является ребром параллелепида; если BDBD — это cc-мостик между bb и aa, то точка DD (как и точки AA, CC) — вершина параллелепида, еще 2 вершины — это концы векторов, равных CA⃗\vec{CA}, отложенных от DD и BB, остальные 3 вершины строятся оченьным образом (рис. 7). Несолько сложнее построение в последнем случае 8). Пусть A1BA_1B и A2CA_2C — cc- и bb-мостики между aa и bb, или соответствно aa и cc (рис. 8). Тогда точки A1A_1 и A2A_2 делят диагональ aa параллелепида на 3 равные части, а точки BB и CC делят отрезки bb и cc в отношении 2:1, причем отрезки A1BA_1B и A2CA_2C в 3 раза короче диагональной cc и bb соответствно. (Эти утверждения становятся очевидными, если взглянуть на проекцию параллелепида вдоль диагонали bb — рис. 9 — и учеть, что при параллельной проекции отношения длины параллельных отрезков сохраняются.) Теперь, отложив от A1A_1 векторы A2A1→\overrightarrow{A_2A_1} и 2A1A2→\overrightarrow{2A_1A_2}, мы найдем концы отрезка aa; отложив от CC векторы BA1→\overrightarrow{BA_1} и 2A1B→\overrightarrow{2A_1B}, найдем концы отрезка cc и, аналогично, концы bb, после чего остается построить по 6 вершинами 2 остальные.

Поскольку в случае 7) имеется 6 способов «распределить поля» между данными прямыми, а в случае 6) и 8) — 3, общее число параллелепидов равно 19+3+6+3=3119 + 3 + 6 + 3 = 31.

В. Н. Дубровский

Ф998. Горнолыжник спускается с выской горы с установленшей скоростью vv. Гора образует цолл а с горизонтальным и плавно переходит в горизонтальный участок. Как должен наклоняться лыжник, чтобы не упасть в момент перехода? Считать, что переход просходит лыжника равна MM. Сторотвление воздуха не учитывать.

Так как переход плавный, кинетическая энергия лыжника построена и его скорость v1v_1 сразу после перехода на горизонтальный участок равна (помодулю)v(по модулю) v. Изменение импульса лыжника за время tt перехода равно Δp⃗=M(v⃗1−v⃗)\Delta \vec{p} = M(\vec{v}_1 - \vec{v}) и направлено по биссектрисе угла ABCABC (см. рис.нок).

Из закона изменения импульса, учитывая малое значение tt, имеем: Δp⃗=fτ\Delta \vec{p} = f\tau, где f⃗\vec{f} — сила, действующая на тело лыжника со стороны лыжки (она также направлена по биссектрисе). Для равновесия лыжника необходимо, чтобы вектор этой силы проходил через центр масс лыжника. Из этого условия находится, что в момент перехода на горизонтальный участок должен наклоняться вперед на угол α/2\alpha/2 от того положения, которое он занимал при движении по склону.

А. Н. Семенов

39

Ф999. По главной горизонтальной поверхности стола скользит мешок массой m1m_1, связанный жесткой небольшие вервкой с мешком массой m2m_2. Веревка, соединяющая мешки, проходит через небольшое отверстие в столе (см. рисунок). Длина вервки LL, высота стола HH, причем H<LH < L. На какую высоту поднимается мешок m2m_2 после удара об пол, если в начальной момент все вервка лежала на столе и мешки не двizzались?

Скорости vv мешков к моменту удара одного из них об пол определяются законом сохранения энергии:

12(m1+m2)v2=m2gH.\frac{1}{2} (m_1 + m_2) v^2 = m_2 g H.

После удара мешок массой m1m_1 будет двигатся по столе, пока не натянет вервку. В этот момент мешок m2m_2, лежащий на пол, рыбом ускоряется так, что скорости мешков становятся одинаковыми по величины.

Изменение скорости мешков по абсолотной величине при этом рывке такое же, как если бы мешок массой m2m_2 лежал не на полу, а на столе. Действительно, взаимодействие мешков осуществляется через вервку, и сила, прилагаемая к мешку, лежащему на полу, лишь по направлению отличается от той, которая была бы, если бы он лежал на столе.

Таким образом, скорости мешков uu после рывка можно найти с помощью закона сохранения импульса:

m1v=(m1+m2)u.m_1 v = (m_1 + m_2) u.

Дальнейшее движение мешков вновь «kontrolируется» законом сохранения энергии, и максимальная высота hh подема мешка m2m_2 определяется соответствием

m2gh=12(m1+m2)u2.m_2 g h = \frac{1}{2} (m_1 + m_2) u^2.

Исключая vv, uu из (1), (2), (3), получаем:

h=(m1m1+m2)2H.h = \left( \frac{m_1}{m_1 + m_2} \right)^2 H.

Г. Л. Коткин

Ф1000. Ток II, текущий по контуру, образованному четырьмя ребрами куба (рис. 1), создается в центре куба магнитное поле с индукцией B0B_0. Найти величины и направление вектора индукции магнитного поля, создается в центре куба током II, текущим по контуру из шести ребер (см. рисунок 2 на с. 40).

Рис. 1.

Из сообщений симметрины следует, что индикция B⃗0\vec{B}_0 поля, создаваемого в центре куба (в точке OO) током II, текущим по контуру ABCDAABCDA (см. рис. 1), параллельна оси OYOY. Действительно, при повороте на 90∘90^\circ вокруг OYOY контур ABCDAABCDA переходит сам в себя, следовательно, вектор B⃗0\vec{B}_0 тоже должен перейти сам в себя. По правли буравчка вектор B⃗0\vec{B}_0 направлен вдоль OYOY. Таким образом, в проекции на оси OX,OY,OZOX, OY, OZ

B⃗0=(Bx,By,Bz)=(0,B0,0).\vec{B}_0 = (B_x, B_y, B_z) = (0, B_0, 0).

Чтобы найти поле B⃗\vec{B}, создаваемое током, текущим по контуру ABCGHEAABCGHEA (см. рис. 2), воспользуемся принципом суперпозиции. Заметим, что точно такое же распределение тока по ребрам куба получится, если взять три контур: ABCDAABCDA, DCGHDDCGHD и ADHEAADHEA, по каждому из которых течение ток II. Значит, совокупность этих трех контуров создается в центре куба искомое поле B⃗\vec{B}. В соответствии с принципом суперпозиции, B⃗\vec{B} равно векторной сумме трех полей, создаемых каждым из контуров:

B⃗=B⃗ABCDA+B⃗DCGHD+B⃗ADHEA=(0,B0,0)+(−B0,0,0)+(0,0,B0)=(−B0,B0,B0).\vec{B} = \vec{B}_{ABCDA} + \vec{B}_{DCGHD} + \vec{B}_{ADHEA} = (0, B_0, 0) + (-B_0, 0, 0) + (0, 0, B_0) = (-B_0, B_0, B_0).

41

Ф1002. Точечный источник света находится на расстоянии L от экрана. Собирающий линзу с фокусным расстоянием F > (L/4), паралельную экрану, перемещают между источником и экраном. При каком положении линзы диаметр пятна, вдымого на экране, будет минимальным?

Пусть линза сdviraется в сторону так, что расстояние между ней и экраном не изменяется. Тогда остаточная неизменными и размеры пятна на экране, ведь пучок лучей за линзой представляет собой конус с вершиной в действительном или минимом изображении источника и образуощими, проходящими через перimetр линзы. Так как точки пересечения плоскостей линзы и экрана с высотой конуса при таком свете не изменяется, то (из подобия) не изменяется и размер пятна.

Поэтом мы можем сdviraнуть линзу так, чтобы источник находился на ее главной оптической оси. Пусть x — расстояние от источника до линзы. Нетрудно показать, что при условии F > (L/4) получить резкое изображение источника (точку) на экране невозможно — при любом положении линзы на экране будет видно пятно, диаметр d которого зависит от x и минимalen при x = x₀. В самом деле, изображение источника попадает на экран, если

1x+1L−x=1F,\frac{1}{x} + \frac{1}{L-x} = \frac{1}{F},

или x2−Lx+FL=0x^2 - Lx + FL = 0,

но данное уравнение не имеет решений — его дискриминант L2−4FL=4L((L/4)−F)L^2 - 4FL = 4L((L/4) - F) по условию отрицательен.

Если x < F, то пучок лучей за линзой расстояния, и пятно тем больше, чем дальше линза от экрана. При F ≥ L имеем x < F для всех возможных x, и в этом случае d минимально при x₀ = L, то есть когда линза установлена вплотную к экрану. Если же (L/4) < F < L, то очевидно, что x₀ > F (пучок должен сходиться). В этом случае изображение источника находится за экраном на расстоянии y от линзы таком, что

1x+1y=1F,\frac{1}{x} + \frac{1}{y} = \frac{1}{F},

то есть y = xFx−F\frac{xF}{x-F}.

Из сообщений подобия получаем (см. рисунок):

dD=y−(L−x)y,\frac{d}{D} = \frac{y - (L-x)}{y},

откуда

d=Dy−(L−x)y=D(1−(L−x)(x−F)xF)=D(2LF−LF+(Lx−xF)2).d = D \frac{y - (L-x)}{y} = D \left(1 - \frac{(L-x)(x-F)}{xF}\right) = D \left(2 \sqrt{\frac{L}{F}} - \frac{L}{F} + \left(\sqrt{\frac{L}{x}} - \sqrt{\frac{x}{F}}\right)^2\right).

Это выражение имеет минимальное значение при x = x₀ = LF\sqrt{LF}, и

dmin⁡=DLF(2−LF).d_{\min} = D \sqrt{\frac{L}{F}} \left(2 - \sqrt{\frac{L}{F}}\right).

Таким образом, размер пятна минимлен при x₀ = L, если F ≥ L, при x₀ = LF\sqrt{LF}, если F < L.

Д. Ю. Григорьев

Поправка
На четвертой странице обложки в «Кванте» № 6 неправильно указана фамилия автора программы. Автором этой программы является А. А. Левин.