Processing math: 100%

М1322. О правильном треугольнике

Задача из журнала «Квант» (1992 год, 7 выпуск)

Условие

Три отрезка, выходящие из разных вершин треугольника ABC и пересекающиеся в одной точке M, делят его на шесть треугольников. В каждый из них вписана окружность. Оказалось, что четыре из этих окружностей равны. Следует ли отсюда, что треугольник ABC — правильный, если M — точка пересечения а)медиан, б)высот, в)биссектрис, г)M — произвольная точка внутри треугольника?

Решение

Ответ: а), б), в) да; г) нет.

Назовем треугольники, в которые вписаны окружности равных радиусов, отмеченными. Заметим, что какие-то два из отмеченных треугольников примыкают к одной из сторон треугольника ABC. Пусть, для определенности, это будут треугольники BMD и DMC.

  1. Рис. 1

    Поскольку равны площади и радиусы вписанных окружностей отмеченных треугольников, равны и их периметры. Поэтому (рис.1) BM=MC, и, следовательно, AB=AC. Пусть AD=m, BE=CF=n, AB=AC=l, BC=a, а треугольник BMF — отмеченный. Тогда из равенства периметров треугольника BMF и BMD получаем 12+n3+2n3=a2+2n3+m3,
    т. е. 12+n3=a2+m3.
    Пусть X и Y — точки касания вписанных окружностей (см. рис.1) со сторонами BD и BF, DX=x, FY=y. Из свойств отрезков касательной следует, что BM=12y+n3y=a2x+m3x, и с учетом () получаем x=y. Поскольку ADB — прямой, CFB — тоже прямой, т. е. медиана CF является высотой, и треугольник ABC — правильный.

    Если отмечен треугольник AME, то, как и раньше, получаем из равенства периметров l2+2m3+n3=a2+2n3+m3, т. е. la2=nm3.

    Однако во всяком треугольнике большей стороне соответствует меньшая медиана. Поэтому, если l>a, то n<m, наоборот, при l<a будет n>m, так что равенство (**) возможно лишь при a=l. Итак, и в этом случае утверждение доказано.

    Остальные ситуации совпадают с разобранными с точностью до обозначений.

  2. Рис. 2

    И в этом случае треугольники BMD и CMD равны (рис.2), поскольку BMD=CMD (эти углы равны, так как окружности одинаковых радиусов касаются отрезка MD в одной точке). Значит, BD=DC, AB=AC, MF=ME, BF=EC, так что равны треугольники MBF и MEC. Если они отмеченные, то равны и треугольники MBF и MBD (у них общая гипотенуза BM и равные радиусы вписанных окружностей, при этом FBM=MBD — в противном случае, фигура MFBD окажется прямоугольником).

    Если отмечены равные треугольники AMF и AME, то равны и треугольники AME и BMD (они подобны и имеют одинаковые радиусы вписанных окружностей). Но тогда AD=BE, что и завершает доказательство.

  3. Рис. 3

    Мы можем считать отмеченными треугольники AMF и AME (рис.3). Но тогда окружности, вписанные в эти треугольники, касаются отрезка AM в общей точке. Отсюда следует, что AME=AMF и ABE=ACF, т. е. B=C и AB=AC. Если отмечен треугольник BMF, то, пользуясь формулой для площади S=rp применительно к треугольникам AMF и FMB, получаем AM+MF+AFAF=MF+BF+BMBF. Применяя к этим треугольникам теорему синусов, перепишем (***) так:sinα+sin(2α+β)cosβ=sinβ+sin(2α+β)cos2β, откуда получаем после преобразований (пользуясь тем, что α+2β=π2), что sin3β=1,т.е.β=π6, т. е. ABC — правильный треугольник.

    Если отмечены треугольники BMD и CMD, то , так как точка M — центр вписанной в треугольник ABC окружности, получаем SAMEAE=SCMDCD, что дает (формула S=rp) AE+EM+MAAE=CM+MD+DCCD, после чего, рассуждая как и раньше, приходим к равенству cos2β+sin3β=1+sinβ, из которого находим без труда β=π6. И в этом случае ABC — правильный треугольник.

  4. Рис. 4

    Треугольник ABC может и не быть равносторонним. Для его построения (рис.4) проведем прямую, перпендикулярную AF, и выберем на ней точку M так, что π2>MAF>π3. В построенные на рисунке 4 углы впишем равные окружности с центрами O1 и O2, затем из точки A проведем касательную к окружности O2. Эта касательная пересечет прямую MF, в некоторой точке C. Симметрично отразив картинку относительно прямой MF, получим неправильный равнобедренный треугольник ABC (AC=BC), удовлетворяющий условию задачи.

В. Сендеров

M1804. Об иррациональных неравенствах

Задача из журнала «Квант» (2002 год, 1 выпуск)

Условие

Докажите, что aa2+8bc+bb2+8ca+cc2+8ab1 для любых положительных чисел a, b и c.

Доказательство

Так как выражение в левой части однородно относительно a, b и c (т.е. f(a,b,c)=f(λa,λb,λc)), то мы можем считать, что abc=1. Из равенства abc=1 следует, что aa2+8bc=11+8abca3=11+8a3 . Пусть 1+8a3=x , 1+8b3=y , 1+8c3=z , тогда нужно доказать неравенство 1(x+1(y+1(z1  (xy+(xz+(yz(xyz  xy+xz+yz+2x2yz+2xy2z+2xyz2xyz xy+xz+yz+2(xyz((x+(y+(z)xyz . Теперь, применив неравенство о среднем арифметическом и среднем геометрическом, находим x=1+1a3++1a38 раз991(1a3)8=9a83 , поэтому (x3a43 . Аналогично, (y3b43 , (z3c43 , следовательно, (xyz27(abc)43=27 и (x+(y+(z33(xyz33(27=9 . Поэтому для доказательства неравенства (1) достаточно показать, что xy+xz+yz+2279xyz . Положим 8a3=A , 8b3=B , 8c3=C , тогда (2) примет вид (1+A)(1+B)+(1+A)(1+C)+(1+B)(1+C)+486(1+A)(1+B)(1+C) A+B+C+488ABC .
Но ABC=83(abc)3=83 , отсюда A+B+C33(ABC=24 , и, значит, A+B+C+488512=83=ABC . Утверждение доказано.

(Южная Корея)

M1247. О покрытии плоскости квадратами

Задача из журнала «Квант» (1991 год, 3 выпуск)

Условие

Можно ли покрыть всю плоскость квадратами с длинами сторон 1,2,4,8,16, (без наложения), используя каждый квадрат не более а) десяти раз; б) одного раза?

Доказательство

  1. Можно. Пример покрытия (где квадрат со стороной 1 используется 4 раза, а остальные — по 3 раза) приведен на рисунке 1.
    Рис. 1
  2. Нельзя. Предположим, что существует покрытие, в котором все квадраты различны. Поскольку сумма всех чисел не превосходящих 2n1, меньше 2n (1+2+22++2n1=2n1), то к каждой стороне любого из квадратов нашего покрытия должна примыкать сторона большего квадрата. Отсюда следует, что каждая вершина квадрата должна лежать на стороне большего квадрата (если вершина B квадрата ABCD лежит на стороне большего квадрата, примыкающего к стороне AB (рис. 2), то вершина C будет лежать на стороне большего квадрата, примыкающего к BC, и т.д.).
Рис. 2

Рассмотрим теперь наименьший из всех квадратов покрытия. Четыре квадрата будут примыкать к нему так, как показано на рисунке 3.

Рис. 3

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

Д.Фомин

M708. О выпуклом четырехугольнике и квадратах

Задача из журнала «Квант» (1981 год, 10 выпуск)

Условие

На сторонах выпуклого четырехугольника площади S вне его построены квадраты, центры которых служат вершинами нового четырехугольника площади S1. Докажите, что:

  1. S1 2S;
  2. S1 = 2S;

в том и только в том случае, когда диагонали исходного четырехугольника равны по длине и взаимно перпендикулярны.

Доказательство

Рис. 1

Из рисунка 1 видно, что площадь S1 четырехугольника MNPQ (M, N, P, и Q — центры квадратов, построенных на сторонах данного четырехугольника ABCD) равна сумме площадей четырех розовых четырехугольников (с вершинами, соответственно, в центрах двух соседних квадратов и серединах двух соседних сторон исходного четырехугольника) и голубого параллелограмма. Найдем, чему равна площадь одного такого розового четырехугольника EMNF (см. рис. 1).

Обозначим через φ угол при вершине B исходного четырехугольника. Заметим, что SEMNF=SEBF+SEMB+SFNB±SMBN причем знак «+» берется, если 3π2φ<π (рис. 2),

Рис. 2

то есть π2<φ<π, и знак «», если 0<φπ2 (рис. 3).

Рис. 3

Подсчитав алгебраическую сумму последних трех слагаемых, найдем SEMNF=SEBF+|AB|28+|BC|28+|AB||BC|4sin(3π2φ)=SEBF+18(|AB|22|AB||BC|cos(φ|BC|2))=SEBF+|AC|28. (мы воспользовались теоремой косинусов для треугольника ABC)

Проведя аналогичные вычисления для остальных розовых четырехугольников, окончательно получим, что S1=S+14(|AC|2+|BD|2). Но S=12(|AC||BD|sinα) (α — угол между диагоналями AC и BD), так что 14(|AC|2+|BD|2)12|AC||BD|S и S12S. — мы решили задачу а)
Поскольку последние неравенства превращаются в равенства в том и только в том случае, когда |AC|=|BD| и sinα=1, то есть (AC)(BD), мы попутно получаем утверждение б).

П. Гусятников

М1814. О периодической последовательности

Задача из журнала «Квант»(2002 год, 2 выпуск)

Условие

Пусть a, m1, m2 натуральные числа, причем a взаимно просто как с m1, так и с m2. Обозначим через rn остаток от деления целой части числа anm1 на m2 (n=0,1,2,).

Докажите, что последовательность {rn} является периодической.

Доказательство

Так как НОД(a, m1) = НОД(a, m2)=1, то НОД(a, m1m2)=1. Пусть n0 какое-нибудь натуральное число, для которого an0 при делении на m1m2 дает в остатке 1. (Если НОД(a, m1m2)=1, то такое число обязательно существует. Можно, например, положить n0=φ(m1m2), где φ(m) функция Эйлера см. статью В.Сендерова и А.Спивака «Малая теорема Ферма» в «Кванте» №1 за 2000 год.)

Тогда an0=Qm1m2+1 для некоторого целого числа Q. Теперь при любом nn0 имеем [anm1]=[an0ann0m1]=[(Qm1m2+1)ann0m1]= =[ann0Qm2+ann0m1]=ann0Qm2+[ann0m1] ([x] обозначает целую часть числа x).

Таким образом, остатки чисел [anm1] и [ann0m1] при делении на m2 совпадают, т.е. rn=rnn0. Значит, последовательность {rn} имеет период длины n0 (доказано также и то, что этот период начинается с самого начала последовательности).

Возникает вопрос о длине наименьшего периода последовательности {rn}. Верно ли, что если в качестве n0 взять наименьшее натуральное число такое, что an0 при делении на m1m2 дает в остатке 1, то n0 и будет длиной наименьшего периода? Как показывает пример a=3, m1=13, m2=2 (здесь n0=3, а последовательность {rn} сплошь состоит из нулей), ответ на этот вопрос в общем случае отрицателен. Однако если дополнительно предположить, например, что m2m1, то ответ будет утвердительным (читателю предлагается доказать это в качестве упражнения).

Н.Осипов