Задача Дж. В. Фике для равнобедренных треугольников Текст научной статьи по специальности «Математика»

Владикавказский математический журнал 2012, Том 14, Выпуск 3, С. 74-86

УДК 514

ЗАДАЧА ДЖ. В. ФИКЕ ДЛЯ РАВНОБЕДРЕННЫХ ТРЕУГОЛЬНИКОВ1

Н. В. Рассказова

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

Ключевые слова: евклидова плоскость, выпуклые многоугольники, задача Дж. В. Фике, неравенства.

1. Постановка задачи Дж. В. Фике

Обозначим через д (А) и т^А) соответственно границу и внутренность множества А на евклидовой плоскости, через 1е^Ш(7) — длину произвольной спрямляемой кривой 7.

В [5, 6] сформулирована следующая задача, поставленная Дж. В. Фике (Л. Ркке^): Пусть К и К' — произвольные конгруэнтные прямоугольники, имеющие общие внутренние точки. Справедливо ли (для любого такого пересечения) следующее неравенство:

1 < П К') <

3 ^ П К) ^ '

Решение задачи для произвольных прямоугольников, отличных от квадратов, было получено Ю. В. Никоноровой в работе [3], где было доказано неравенство

1 П Ы(К'))

3 < \епёЩд(К>) П т^К)) <

В [5, с. 25] сформулирована задача Дж. В. Фике в общем виде: Пусть К и К' произвольные конгруэнтные выпуклые множества, имеющие общие внутренние точки. Какими будут границы отношения

Ьг _ П К%

Т2 ~ 1епёЬЦд(К') П К) '

© 2012 Рассказова Н. В.

1 Работа выполнена при финансовой поддержке гранта Президента Российской Федерации для поддержки молодых российских ученых и ведущих научных школ, проект № НШ-921.2012.1, и Федеральной целевой программы «Научные и научно-педагогические кадры инновационной России» на 2009-2013 гг., заявка № 2012-1.1-12-000-1003-014.

Понятно, что в случае конгруэнтных кругов это отношение равно 1. Для случая треугольников Дж. В. Фике конкретизировал общую задачу следующим образом [5, 6]: Пусть К и К' произвольные конгруэнтные треугольники с наименьшим углом ф. Является ли справедливым следующее неравенство

ат(ф/2) <

<

1

П К')

1епёЬЦд(К') П К) ^ ат(ф/2) '

(1)

Замечание. В общем случае оказалось, что предположение Дж. В. Фике не верно. В частности, для равнобедренных треугольников с наименьшим углом ф между боковыми сторонами при 2агс8т(1/4) < ф < п/3 неравенство (1) не выполняется для некоторых расположений треугольников, дающих в пересечении четырехугольник, причем основание одного из треугольников касается боковой стороны и основания другого треугольника (рис. 1).

Рис. 1.

С

Рис. 2.

Частный случай для правильных треугольников, подтверждающий предположение Фике, рассмотрен в работе [4], в которой доказывается справедливость неравенства 1/2 ^ Ьх/Ь2 < 2.

Основным результатом данной работы является следующая

Теорема 1. Пусть К и К' — два конгруэнтных равнобедренных пересекающихся треугольника на евклидовой плоскости с наименьшим углом ф £ (0, п/3), расположенным между боковыми сторонами. Пусть Ь\ — длина части границы треугольника К, которая лежит во внутренности треугольника КЬ2 — длина части границы треугольника К', которая лежит во внутренности треугольника К (рис. 2). Тогда справедливо неравенство

1 ¿1

где

Я =

1/аш(ф/2),

3 + 4зш(ф/2),

0 < ф ^ 2 агат (1/4), 2 агат (1/4) < ф < п/3.

Прежде, чем перейти к доказательству теоремы 1, воспользуемся обозначениями, приведенными в [1] и полученными там результатами.

На евклидовой плоскости рассматривается два произвольных выпуклых многоугольника К и К' такие, что никакая из сторон многоугольника К не параллельна ни одной из сторон многоугольника К'. Пусть теперь ф — радианная мера наименьшего из углов многоугольника К и А = Д(К) = 1/зт(ф/2).

Пусть ¿1 — длина части границы многоугольника К, которая лежит во внутренности многоугольника К', аналогично, Ь2 — длина части границы многоугольника К', лежащая во внутренности многоугольника К. Рассмотрим вспомогательную задачу, заключающуюся в нахождении экстремальных значений отношения Q = Ь1/Ь2, если многоугольник К остается неподвижным, а многоугольник К' подвергается всевозможным параллельным переносам.

На евклидовой плоскости вводится декартова система координат так, чтобы центр масс многоугольника К имел координаты (0,0). Положение многоугольника К' при этом полностью определяется координатами (ж, у) его центра масс. Пусть П = {(ж, у) : т^К П К') = 0}. Граница введенного множества д(П) описывает те случаи, когда К П К' = д(К) П д(К').

В [1] показано, что функция Q корректно определена и непрерывна на множестве П и д(П) за исключением тех точек, которые соответствуют пересечениям КП К', состоящим из общей вершины двух многоугольников. Но в окрестности таких точек величина Q ограничена сверху числом А.

Воспользуемся результатами, полученными Ю. В. Никоноровой и Ю. Г. Никоноро-вым.

Теорема А [1]. Допустим, что в некоторой точке у £ т^П) функция Q принимает значение, большее А. Тогда Q достигает своего наибольшего значения; причем среди расположений К' относительно К, на которых Q принимает свое максимальное значение, есть расположение со следующим свойством: граница пересечения д(КПК') содержит по крайней мере две геометрически различные вершины многоугольников К и К', причем вершина одного из многоугольников лежит на границе другого.

В [1] общая задача Дж. В. Фике переформулирована в следующем виде: Для заданной выпуклой фигуры К на евклидовой плоскости определить наименьшее число а такое, что для любой фигуры К', конгруэнтной К, выполняется неравенство

1е^Ш(д(К) П К') < а ■ 1е^Л(д(К') П К).

Также в работе [1] приведен алгоритм решения общей задачи Фике для выпуклого многоугольника К, обладающего осью симметрии. Приведем его краткое изложение.

Пусть угол р £ [0, 2п) и К(р) — результат поворота многоугольника К на угол р. Для нахождения максимального значения величины Q используется результат теоремы 1 из [1] (здесь теорема А), для применимости которой необходимо исключить рассмотрение тех углов р, для которых у многоугольника К(р) есть сторона, параллельная некоторой стороне многоугольника К. Множество таких особых значений р обозначается через Ф о (очевидно, что это множество конечно). Пусть теперь Фг = [0, 2п) \ Фо.

Фиксируется некоторый угол р £ Фг и рассматривается такой параллельный перенос Ь, для которого граница пересечения д(Ь(К(р)) П К) содержит по крайней мере две геометрически различные вершины многоугольников Ь(К(р)) и К (см. формулировку теоремы А). Далее по всем этим переносам (их конечное число) вычисляется максимум величины

1еп^(д(К) П ш^Ь(К(р)))] д(К) П Ь(К(р)))

д(Ь(К(р))) П ш^К)) 1е^Ш д(Ь(К(р))) П К)

Пусть а0 — верхняя грань всех значений Qmax(р), где р £ Ф

Теорема Б [1]. Число а' = тах{ао, А} является решением задачи Дж. В. Фике для исследуемого выпуклого многоугольника К.

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

2. Решение задачи Дж. В. Фике для равнобедренных треугольников с наименьшим углом между боковыми сторонами

Обозначим длины боковых сторон равнобедренного треугольника через а, длину основания — с, ф и а — радианную меру наименьшего из углов и углов при основании соответственно, при этом (случай гр = а = 7г/3 был рассмотрен

в [4]).

Применим теорему А к случаю треугольников. Среди расположений К' относительно К, на которых Q принимает свое максимальное значение, есть расположение со следующим свойством: граница пересечения д(К П К') содержит по крайней мере две геометрически различные вершины треугольников К и К', причем вершина одного из треугольников лежит на границе другого.

Учитывая различные значения углов, под которыми пересекаются стороны треугольников, можно рассмотреть только варианты, показанные на рис. 3-6.

4)

Рис. 3.

7)

8)

Рис. 4.

Возможны следующие варианты пересечений:

1) Одна из вершин треугольника К совпадает с одной из вершин треугольника К' (рис. 3, случаи 1-8). При этом мы предполагаем, что треугольник К отличен от треугольника К'.

2) Одна из вершин треугольника К лежит на одной из сторон треугольника К', одна из прилежащих сторон к указанной вершине треугольника К проходит через вершину треугольника К', противоположную вышеупомянутой стороне треугольника К' (рис. 4, случаи 9-13).

Рис. 5.

3) Вершины при основании треугольника К лежат на двух сторонах треугольника К' (рис. 5, случаи 14-19).

Понятно, что аналогичных случаев для боковых сторон нет.

4) Одна из вершин треугольника К лежит на стороне, противоположной аналогичной вершине треугольника К' и наоборот (рис. 6, случаи 20-22).

Рис. 6.

Действительно, в случае 1) две некоторые вершины треугольников К и К' совпадают (рис. 3). В случае 3) д(К П К') содержит две вершины одного из треугольников К или К' (рис. 5). Остается случай, когда, например, вершина А треугольника К и вершина А' треугольника К' лежат на некоторых сторонах треугольников К' и К. Возникают следующие варианты. Пусть А, А' и т. д. и а, а' и т. д. — вершины и стороны треугольников

K и K' соответственно (одноименная вершина противоположна одноименной стороне). Возможно A € а', и A' € а — это случай 4) (рис. 6). Возможно A € а', и, например, A' € b. Это варианты пересечений случая 2) (рис. 4). Возможно, например, A £ b' и A' е b. Но тогда также A' е b' и A е b, и получим, что обе стороны b и b' лежат на прямой AA'. Данное предположение противоречит гипотезе о том, что у двух треугольников нет параллельных сторон. Если принять во внимание, что вершины лежат на основании или противоположны основаниям, а стороны являются основаниями или боковыми сторонами, то мы получим несколько подслучаев, которые далее подразделяются по тому, как рисунки геометрически выглядят. Это видно на рис. 3-6. Очевидно, нам понадобятся только случаи, где (int K) П (int K') = 0.

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

sin(^/2) < L1/L2 < 1/sin(V>/2),

(2)

кроме вариантов расположений треугольников, для которых в пересечении получается четырехугольник, и основание одного из треугольников касается боковой стороны и основания другого треугольника (вариант 15, рис. 5).

< В силу равноправности треугольников достаточно доказать правую часть неравенства (2).

Очевидно, что в случаях 1, 7, 8 (рис. 3), 20 (рис. 6), фигура, полученная в пересечении, имеет ось симметрии, и Ь\ = ¿2, т. е. неравенство (2) справедливо.

Рис. 7.

Рис. 8.

Рассмотрим варианты пересечения 3, 6 (рис. 3), 12, 13 (рис. 4), 14, 16, 17, 19 (рис. 5). Во всех вариантах в пересечении получается треугольник KLM (рис. 7). Пусть ZLKM = t. Так как ZKLM = а, то получим следующие соотношения:

\КМ\ _ \LM\ __

sin a sin t sin (п — (t + а))

\KL\

Далее, вычисляем

Q =

\KL\ + \LM\ sin (п — (t + a)) + sin t cos

ж—2t—а 2

\KM \

sin a

a

sm j

<

sm f < sin I '

Последнее неравенство справедливо в силу того, что ^ < j < f. Рассмотрим варианты пересечения 2 (рис. 3), 9, 10, 11 (рис. 4). Во всех вариантах в пересечении получается треугольник KLM, у которого ZKLM = ф (рис. 8). Пусть ZLKM = t. Применяя рассуждения, аналогичные предыдущему случаю, с учетом того, что ZKLM = ф, можно показать справедливость неравенства (2).

1

1

Рассмотрим варианты пересечения 4 и 5 (рис. 3). В обоих случаях в результате пересечения получается четырехугольник CDEF (рис. 9).

Из треугольника BCD получим следующие соотношения:

|СР| _ \ВЕ\ + \РЕ\ sin ф sin t

Учитывая, что |BC| = а, получим

IBCI

sin (п — (t + ф))

\CD\ = -

а sin ф

sin (п — (t + ф))

, \BE\ + \DE\ = -

а sin t

sin (п — (t + ф))

Подставляя полученные выражения, получаем неравенство (2) q = \FC\ + \DE\ ^ \ВС\ + \ВЕ\ + \DE\

IEFI + ICDI

ICDI

= а+ —

а sin t

sin (п — (t + ф)) J \sin (п — (t + ф))

а sin ф

-1

cos

тг-2 t-ф 2

sin

4>

<

sin

Ф

Рассмотрим варианты пересечения 18 (рис. 5), 21, 22 (рис. 6). В этих случаях в результате пересечения рассматриваемых треугольников получается четырехугольник К£МЖ (рис. 10).

L b K

Рис. 9.

Рис. 1G.

Пусть |KL| = b, |LM| = d, |MN| = e, |KN| = f, |MK| = h. Применяя неравенство треугольника и теорему косинусов, а также учитывая неравенства ^ < a < \ и — cos a > — cos f = — ^) получаем

Ь + d b + d (ú¿ — ^

b + d

<

b + d

e + / h Vb2 + d2 - 2bd cos a V&2 + d2 - bd Так как 3(b — d)2 ^ 0, то справедливо b2 + 2bd + d2 ^ 4(b2 + d2 — bd). Тогда

b + d

Q <

V62 + d2 - bd

< 2 < i/sin (ф/2),

поскольку гр < Таким образом, неравенство (2) справедливо. >

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

i

2

2

B

одного из треугольников касается боковой стороны и основания другого треугольника (рис. 11), при 0 < ф ^ 2 агат (1/4) справедливо неравенство

ат(ф/2) < Ьх/Ь2 < 1/ат(ф/2),

а при 2 агат (1/4) ^ ф <п/3 справедливо неравенство

1 < < 3 + 4ат(ф/2). (3)

3 + 4зт(ф/2) Ь

Прежде чем перейти к доказательству леммы 2, определим выражение Q = Ь\ /¿2 для указанного варианта пересечения треугольников (рис. 11). Введем следующие обозначения: |ИР| = 1, 1ВС1 = е, 1СИ| = ], |С.О| = д, |ОР| = К, ¿БИС =

А D g С

Рис. 11.

Учитывая, что |FD| = c, длина боковых сторон равна а, для треугольника GEH можно составить следующие соотношения:

f а — e а — d

sin ф sin 7 sin (п — (ф + 7))'

Отсюда

/sin7 , /sin(7T - (ф + 7))

6 — Cl CL — Cl .

sin ф sin ф

Тогда для Q получим выражение:

d + e + c _2a + c sin(l+7) / / sin| '

Выразим f через c. Из треугольника DFC получим выражение

c sin (ф + 7 — а)

h = д cos а + ccos (ф + 7 — а), д =

sin а

Из подобия треугольников ADG, DFC и из треугольника BFH можно получить выражения

с(с — д) (a — h) sin ф

h ' sin 7

Из подобия треугольников EHG, BFH и из треугольника ABC следуют равенства

d(a — e) c

/ =-Г"' а =

a-h ' 2sinf

Подставляя полученные выражения в Q, получим

sin 7 sin

QW,j ) =

^(l + sinf)

sin ^ I COS

ф

sin ^J1 — cos + ф) sin ф

sm (^f + 7

sinf

(4)

С учетом того, что 7 изменяется в пределах а — ф ^ 7 ^ 2а — ф (рис. 12, 13) или ^ — Щ- ^ 7 ^ 7Г — 2ф, область определения функции (¿(ф,-у) представлена следующим образом:

п 3ф ~2 2,7Г ~

Нетрудно убедиться, что

Q(ip, ir - 2ф) = 2 sin ^ - 2 sin ^ + 2 cos ф - 1. Найдем выражение AQ = ) — Q(^,n — 2ф), выполнив замену

ф 2ф sin — =

2 1 + ф2

ф 1 — ф2 7 27 7 1 — 72

COS — = -—, sin — = --, COS — =

2 1 + ф2' 2 1 + 72

2 1 + 72

А

Рис. 12.

С

Рис. 13.

Получим следующее выражение AQ

2(ф2 — 4ф + 1) (1- - ф2 — 2ф)7 + (1 — ф2 + 2ф)

(-ф5 + 14ф3 -ф)(72 - 1) + (ф6 + 17ф4 - 17ф2 - 1)7

('ф2 -2ф- 1)7 + (1 - ф2 - 2ф) (1 -ф)(1 + ф2)3(1 + 72)2

(ф6 + 7ф5 + 10ф4 — 10ф73 — 7ф2 — ф) (74 + 1)

(5)

+ (ф7 + ф6 + 3ф5 + 3ф4 + 3ф3 + 3ф2 + ф + 1) (73 — 7)

+ (2ф7 + 20ф75 + 14ф4 — 14ф73 — 20ф2 — 2)72 .

Далее нам понадобится несколько вспомогательных утверждений. Для удобства расчетов для ф будем рассматривать интервал 0 ^ ф ^ тогда для ф справедливо О ^ ф ^ 2 — у/3. Далее, в силу того, что | — Щ- ^ 7 ^ 7г — 2ф, можно записать следующее ограничение

1 - cos ( f - ^

sm i f - M

1 — sin ф

cos ф

2

X

Введем обозначение

Рх= 0; 2 — >/3 х

1 -сс

ят

(6)

Лемма 3. Пусть Р : Р1 ^ Ж задается формулой Р(ф,7) = (ф2—2ф—1) 7+(1—7—2ф). Тогда функция Р неотрицательна.

< Для определения знака функции Р найдем знаки наибольшего и наименьшего значений в указанной области.

Найдем стационарные точки данной функции. Приравнивая частные производные щ и Щ к нулю, получим решение системы уравнений (—0.41421... , —0.41421...), которое не входит в область определения функции. Таким образом, наибольшее и наименьшее значения функции достигаются на границах указанной области.

Найдем граничные значения функции Р.

При гр = 0 имеем Р = 1 — 7, и задача сводится к отысканию наибольшего и наименьшего значений функции при \/2 — 1 ^ 7 ^ 1. Очевидно, что на рассматриваемом интервале экстремумов нет. Находим значения функции на границах:

Тогда функция О неположительна.

< Для определения знака функции О найдем знаки наибольшего и наименьшего

значений в указанной области.

Найдем стационарные точки данной функции. Приравнивая частные производные дО дО

—~ и д~ к нулю, получим решение данной системы уравнении

Первое решение представляет собой комплексные значения, а вторая пара значений не входит в область определения. Таким образом, наибольшее и наименьшее значение функции достигается на границах указанной области.

Найдем граничные значения функции О.

При г/ = 0 функция О = —7, и задача сводится к отысканию наибольшего и наименьшего значений функции О при \/2 — 1 ^ 7 ^ 1. Очевидно, что экстремумов нет, поэтому находим значения функции на границах:

Поскольку все найденные значения функции Р неотрицательны, то Р ^ 0. > Лемма 4. Пусть О : Р1 ^ Ж (см. 6) задается формулой

О (г/, 7) = (—г/5 + 14г73 — г/)(72 — 1) + (7 + 17г/4 — 17г/2 — 1) 7-

(—г, г), (—4.37836..., —14.79100...).

Стах (7) Ь=0 = 1 - > ^тш (7) |

<0=0

1.

Аналогично находим при ф = 2 — л/3 наибольшее и наименьшее значения функции С = 647(45 - 26л/3) при 0 < 7 < 2 - >/3.

Стах(7)1^=2-у/з = °> ^(7) = 64 ' (168 " 9~ "0-57141. . .

Поскольку все найденные значения функции О неположительны, то О ^ 0. > Лемма 5. Пусть Н : Р\ ^ Ж (см. (6)) задается формулой

Н = (ф6 + 7ф5 + 10ф4 — 10ф3 — 7ф2 — ф)(74 + 1) +(ф7 + ф6 + 3ф5 + 3ф4 + 3ф3 + 3ф2 + ф + 1)(73 — 7) +(2ф7 + 20ф5 + 14ф74 — 14ф>3 — 20ф2 — 2)72.

Тогда функция Н неположительна.

< Для определения знака функции Н найдем знаки наибольшего и наименьшего значений в указанной области.

Найдем стационарные точки данной функции. Приравнивая частные производные

ди д Н

-щ и -щ к нулю, получим решения данной системы уравнений:

(—5.78105 ..., 30.92276 ...), (—1,1), (—1, —1).

Первое решение представляет собой комплексные значения, а остальные точки не входят в область определения. Таким образом, наибольшее и наименьшее значение функции достигается на границах указанной области. Найдем граничные значения функции Н.

При ф = 0 функция примет вид Н = 73 — 272 — 7, и задача сводится к отысканию наибольшего и наименьшего значений функции Я при л/2 — 1 ^ 7 ^ 1- Нетрудно проверить, что экстремумов нет на рассматриваемом интервале, поэтому находим значения функции на границах:

Ятах(7)|^=0 = 8^2 - 12 и -0.68629... , ЯтЬ(Щ=0 = -2.

При ф = 2 — л/3 функция примет вид

Я = 64 • (71 - 41^3)(74 + 472 + 1) + 64 • (123 - 71л/з) 7 (72 - 1), и задача сводится к отысканию наибольшего и наименьшего значений функции Н при

0 < 7 < 2 - ^3:

ятах(7)1^=2-^ = 64 • (71 - 41л/з) « -0.90132 ... , Ятт(7)1^=2_лд = 1536 ' (989 " 571 ~ -1-55300 ...

Поскольку все найденные значения функции Н неположительны, то Н ^ 0. >

Лемма 6. Функция Q(ф,J) : Р ^ Ж (см. (4), (5)) для произвольного значения угла ф £ (0,7Г/3) наибольшее значение достигает при 7 = ^ — ^, а наименьшее при 7 = 7Г — 2ф.

< Запишем выражение ДQ = Q(ф,Y) — Q(ф,п — 2ф), используя обозначения, приведенные в леммах 3, 4 и 5,

2 БН(ф2 — 4ф + 1) [(1 — ф2 — 2ф7)7 + (1 — ф2 + 2ф)

дд =-

0(1 — ф)(1 + ф2)3 (1 + 72)2

Нетрудно проверить, что ф2 — 4ф + 1 неотрицательно при 0 ^ ф ^ 2 — у/Ъ.

Выражение (1 — ф2 — 2ф)7 + (1 — ф2 + 2ф) неотрицательно при 0 ^ ф ^ 2 — л/З, поскольку значения в обеих скобках неотрицательны и 7 ^ 0.

В леммах 3, 4 и 5 получены неравенства F ^ 0, G ^ 0, H ^ 0 соответственно.

Очевидно, что для остальных множителей, входящих в знаменатель выражения AQ, при 0 ^ ф ^ 2 — -\/3 справедливы неравенства

1 - ф ^ 0, (1 + ф2)3 ^ 0, (1 + 72)2 ^ 0.

Таким образом, учитывая, что в выражение для AQ входят два неположительных множителя (остальные неотрицательные), имеем

AQ = д(ф, Y) - W, п - 2ф) ^ 0.

Данное неравенство подтверждает, что функция ф(ф, y) убывает по второй переменной в рассматриваемой области P. Следовательно, наименьшее значение достигается при y = п — 2ф (рис. 12) и равно

3ф ф

Qmin = <3(Ф, 7Г — 2ф) = 2 sin —--2 sin — + 2 COS ф — 1.

Это значение также можно получить из случая 6 (рис. 3), для которого при t — a — ф

_ cos Q —

Sin 2

Для данного случая пересечения треугольников была доказана справедливость неравенства (2).

Наибольшее значение достигается при 7 = f — ^ (рис. 13) и равно

Qmax = Q (ф, | - y) =3 + 4sin|. >

Доказательство леммы 2. В силу равноправности треугольников достаточно доказать правые части неравенств (2) и (3).

По лемме 6 наибольшее значение для Q = L1/L2 для вариантов пересечений треугольников, приведенных на рис. 11, равно Qi =3 + 4 sin (ф/2).

Для остальных возможных вариантов пересечений треугольников по лемме 1 найдено значение Q2 = 1/sin(^/2). Приравнивая полученные выражения Qi и Q2, получим значение угла ф = 2 arcsin \.

Возьмем ф = 2 arcsin \ —т, где 0 < т ^ 2 arcsin \ . Тогда

2 arcsin 4 — т т ,— т Qi = 3 + 4 sin-^-= 3 + cos - - V15 sin -

(3 + cos I — л/15 sin I) (cos I — л/15 sin I) ^ (3 + cos |) cos |

cos ^ — yiosm^ cos tj — vio sin 77

< 4 __1_

^ cos I - л/15 sin I sin (arcsin \ —

Таким образом, при 0 < ф ^ 2 arcsin | выполняется Q\ ^ Q2, т. е. справедливо неравенство (2).

86 Рассказова H. В.

Поскольку при 2 arcsin \ ^ ф < ^ величина Q2 = —^ находится в пределах 2 < Q2 ^ 4,

■ф

smf

а для (З1 = 3 + 4 si.ii ^ границы равны 4 ^ (З1 < 5, то для данного диапазона значений угла ф справедливо ^ Фъ т. е. справедливо неравенство (3). >

Доказательство теоремы 1 следует из лемм 1,2. >

Таким образом, по теореме В решением задачи Дж. В. Фике для равнобедренных треугольников с наименьшим углом ф между боковыми сторонами является число а' = тах{3 + 4sin (ф/2), 1/зт(ф/2)|.

Автор признателен профессору Ю. Г. Никонорову и профессору Эндре Макаи, мл. (ЕМге Makai, лг.) за полезные советы и обсуждения задачи Дж. В. Фике.

Литература

1. Никоноров Ю. Г., Никонорова Ю. В. Об одном подходе к решению задачи Дж. В. Фике о пересекающихся конгруэнтных многоугольниках // Владикавк. мат. журн.—Т. 13, вып. 4.—C. 52-59.

2. Никоноров Ю. Г., Никонорова Ю. В. Применение системы Maple к решению геометрических задач: Учебное пособие, 2-е изд. доп.—Рубцовск: Изд-во Алтайского гос. ун-та, 2005.—80 с.

3. Никонорова Ю. В. Об одной экстремальной задаче на евклидовой плоскости // Мат. труды.— 2001.—Т. 4, № 1.—C. 111-121.

4. Рассказова Н. В. Задача Дж. В. Фике для треугольников // Изв. АГУ. Спец. вып., посвященный пятилетию краевой конф. по математике.—Барнаул: Изд-во Алтайского гос. ун-та, 2002.—C. 2628.

5. Croft H. T., Falconer K. J., Guy R. K. Unsolved problems in geometry. Corrected reprint.—Berlin: Springer-Verlag, 1994.—xvi+198 p.

6. Fickett J. W. Overlapping congruent convex bodies // Amer. Math. Monthly.—1980.—Vol. 87.—P. 814815.

Статья поступила 18 мая 2011 г.

Рассказова Наталья Владимировна

Рубцовский индустриальный институт

(филиал) ФГБОУ ВПО Алтайский государственный

технический университет им. И. И. Ползунова,

старший преподаватель кафедры прикладной математики

РОССИЯ, 658207, Рубцовск, ул. Тракторная, 2/6

E-mail: ras_na@mail.ru

J. W. FICKETT'S PROBLEM FOR ISOSCELES TRIANGLES

Rasskazova N. V.

Two congruent overlapping isosceles triangles with the least angle between lateral sides are considered in the Euclidean plane. J. W. Fickett offered a bilateral estimation for the relation of the length of the part of the first triangle's boundary in the second triangle to the length of the part of the second triangle's the boundary in the first triangle. The paper shows that J. W. Fickett's supposition is not true in general. An analog of J. W. Fickett's estimation is proved for the isosceles triangles with the least angle between lateral sides.

Key words: Euclidean plane, convex polygons, J. W. Fickett's problem, inequalities.