ЮМШ - задания по годам → .06 ЮМШ 2024
Ошибка.
Попробуйте повторить позже
Цель этого сюжета — доказательство следующего утверждения:
Пусть — нечётное простое число. Докажите, что существует ровно
упорядоченных четвёрок
натуральных чисел,
для которых
и
Если — остаток по модулю
то назовём четвёрку (
), удовлетворяющую условиям выше,
-четверкой, если
(mod
1. Докажите, что если -четвёрка существует, то
2. Докажите, что для данного существует не более одной
-четвёрки.
3. Докажите, что если -четверка существует, то
-четвёрки не существует.
4. Докажите, что для всякого существует либо
-четвёрка, либо
-четвёрка.
Источники:
Пункт 1. Подсказка 1
Перепишем требуемое так: доказать, что для r=0, r=1 и r=p-1 r-четвёрки точно нет. Каким путём хочется доказать это утверждение?
Пункт 1. Подсказка 2
Конечно! Давайте пойдём от противного. Если 0-четвёрка существует, то что следует из c ≡ ra (mod p)? Но разве это не противоречит равенству из условия?) Окей... Пусть теперь 1-четвёрка существует. Попробуем аналогично случаю r=0 прийти к противоречию! Какое тогда сравнение по (mod p) можно написать?
Пункт 1. Подсказка 3
Верно! Тогда p = ab + cd ≡ ab + rad = a(b+d) (mod p). Какая делимость отсюда следует? Как можно оценить a и b+d?
Пункт 1. Подсказка 4
Да! Либо a, либо (b+d) делится на p. Значит либо a≥p, либо (b+d)≥p. Хмм... но по условию ab + cd = p... Осталось написать цепочки неравенств и прийти к противоречию! Абсолютно аналогично докажем и для r=p-1.
Пункт 2. Подсказка 1
Опять пойдём от противного. Пусть для одного r существуют две четвёрки: (a,b,c,d) и (a`, b`, c`, d`). Воспользуемся равенством из условия и попробуем связать четвёрки между собой.
Пункт 2. Подсказка 2
Ага. Можно заметить, что ac' ≡ ara' ≡ ca' (mod p). Попробуем аналогично связать b,d и b`,d`.
Пункт 2. Подсказка 3
Тогда ac`- a`c, bd`- b`d кратны р. Предположим, что эти разности одновременно не равны нулю. Попробуем тогда оценить bd`- b`d, пользуясь тем, что ac`- a`c > 0. Какое противоречие получаем?
Пункт 2. Подсказка 4
Да! ac` > p > ab. Отсюда с` > b, c` > d. Не забываем, что bd`- b`d кратно р, но разве оно больше p?) С этим случаем покончено. А что, если всё-таки какая-то разность равна нулю (пусть bd`- b`d=0)? Что можно сказать про делители переменных, исходя из условия ab+cd = p = a`b`+ c`d`? Как связать это с bd`= b`d.
Пункт 2. Подсказка 5
Заметим, что из ab + cd = p = a`b` + c`d` следует, что b и d, b` и d` взаимнопросты. Тогда из bd`= b`d следует, что b=b`, d=d`. Как теперь можно преобразовать равенство ab+cd = a`b` + c`d`? Что из него следует?
Пункт 2. Подсказка 6
Конечо! (a-a`)b=(c-c`)d. Но b и d взаимнопросты. Значит (a-a`) делится на d, (c-c`) делится на b! Обозначим это так: (a-a`)=dx, c-c`)=bx. Осталось рассмотреть случай x>0 и x<0, пользуясь неравенствами между переменными и заключить, что четвёрки совпадают!
Пункт 3. Подсказка 1
Пусть (a,b,c,d), (a`,b`,c`,d`) — две четвёрки, удовлетворяющие условиям с r и c r` = p − r соответственно. Давайте действовать, как в прошлом пункте. Какие тогда цепочки сравнений по mod p тогда можно написать? Какое противоречие с делимость на p получается?
Пункт 3. Подсказка 2
Верно! Можно получить, что ac`+a`c, bd`+b`d кратны p. Аналогично прошлому пункту, пусть с`≥b, тогда с`>c,d. Оценим bd`+b`d>0. Какое противоречие с делимостью на p можно получить?
Пункт 3. Подсказка 3
Да, bd`+b`d = 0, но bd`+b`d >0 !? Окей, пусть c`< b. Попробуем оценить a`c+ac и b`d+bd`. Чему могут быть равны эти выражения (помним, что они краты p).
Пункт 3. Подсказка 4
a`c+ac` < ab+ a`b` < 2p, аналогично b`d+bd`<2p. Тогда, т.к. они делятся на p и больше нуля, то они равны p! А что еще равно p по условию?)
Пункт 3. Подсказка 5
Да! Запишем разность ab + cd и a`c+ac`. Получаем делимость на a. Такс... чего-то не хватает. Вспомним, что четвёрки упорядоченные. Что, если а — наибольшее из всех чисел? Выполняется ли полученная делимость?)
Пункт 4. Подсказка 1
Окей...Давайте искать четверки так: на плоскости рассмотрим все векторы с целыми координатами (x,y), где y≡rx (mod p). Рассмотрим вектор u=(a,c), где сумма a+c минимальная. Что тогда нужно сделать, чтобы доказать существование r-четвёрки (или (p-r)-четвёрки)?
Пункт 4. Подсказка 2
Давайте на прямой с уравнением xc − ya =p (пусть a>c) искать точку (d,−b) такую, что d> 0, d< a,d <b,c<b — тогда четвёрка (a,b,c,d) и будет искомой. С какими прямыми нам теперь нужно работать, чтобы найти иском точку?
Пункт 4. Подсказка 3
Да! Рассмотрим прямую y=-x. Пусть точка (x₀,y₀)∈ℓ с целыми x₀,y₀ лежит выше прямой y+x= 0, а точка v₀=(x₀− a,y₀− c) — (нестрого) ниже. Какие условия теперь надо проверить?
Пункт 4. Подсказка 4
Конечно! Проверим нужные нам неравенства, которы мы писали выше! Проверьте эти условия, пользуясь выбором вектора (сумма координат минимальна).
Пункт 4. Подсказка 5
Теперь выберем наибольшее целое неотрицательное m, при котором x₀−a−ma≥0. Тогда вектор v₀−mu = (x₀−a−ma, y₀−c−mc) — искомый. Какой случай осталось проверить, прежде чем разобраться со случаем с>a?
Пункт 4. Подсказка 6
Осталось только исключить случай x−a−ma =0! Разберём теперь c>a аналогично, просто по сути переобозначив переменные, закончив решение задачи!
1. Требуется исключить варианты Если существует
-четверка
при
то
натуральное кратное
и
тогда
— противоречие.
Пусть существует -четверка
при
Тогда
Получаем, что Тогда либо
либо
делится на
Тогда либо
либо
В первом случаем получаем,
что
Во втором же
Получаем, что
-четверки не существует.
Пусть существует -четверка
при
Тогда
Получаем, что Тогда либо
либо
делится на
Тогда либо
либо
поскольку
В первом случаем получаем, что
Во втором же
Получаем, что
-четверки тоже не
существует.
2. Пусть
— две четверки, удовлетворяющие условиям с одним и тем же
Тогда
аналогично
Т.е.
кратны
Предположим, что эти разности одновременно не равны нулю. Пусть не умаляя общности тогда
т.е.
и тем более
Отсюда получаем, что
откуда (т.к. кратно
получаем
— противоречие.
Пусть теперь одна из исходных разностей равна нулю (не умаляя общности Отметим, что из равенств
следует взаимная простота
и
и
Поэтому из равенства
следует, что
и
а из него —
В силу взаимной простоты
и
имеем
При
это
противоречит условию
при
— условию
. Значит,
— четверки полностью
совпадают.
3. Пусть ,
— две четверки, удовлетворяющие условиям с
и c
соответственно. Тогда
аналогично
Т.е.
кратны
Пусть а значит,
тогда, аналогично прошлому пункту,
— противоречие с делимостью на Значит,
и, аналогично
Тогда
поэтому из
делимости
и аналогично
Предположим теперь, не умаляя общности, что — наибольшее из чисел. Вычитая из
равное ему
получаем
откуда из взаимной простоты
и
получаем, что
делится на
— противоречие с тем, что
4. Рассмотрим на плоскости множество всех векторов с целыми координатами
такими, что
или
Отметим, что это множество вместе с каждым вектором
содержит также и
Рассмотрим в нашем
множестве вектор с минимальной суммой координат. В силу замечания выше можно считать, что вектор
где
(на
осях координат и на биссектрисах углов между ними такой вектор лежать не может, поскольку
если
то переобозначим
и
Предположим пока, что
Рассмотрим прямую
с уравнением
Будем искать точку
на этой прямой такую, что
— тогда четверка
и будет искомой. Заметим, что если
то
Прямая где-то пересекает прямую
Пусть точка
с целыми
лежит выше прямой
а точка
— (нестрого) ниже.
Во-первых, проверим, что В самом деле, в противном случае
Из выбора вектора
имеем
Если , то
— противоречие. Если же то
— снова противоречие.
Итак, Поскольку
имеем
Если
то
и обе координаты
вектора
по модулю не больше, чем
— это опять противоречит выбору
Значит,
и
Теперь выберем наибольшее
целое неотрицательное
при котором
Ясно, что это неотрицательное значение строго меньше, чем
Тогда
вектор
и есть искомый вектор. Действительно, все нужные неравенства уже установлены, осталось только исключить случай
но в таком случае из уравнения прямой
получаем
что невозможно в силу того, что
Наконец обратимся к случаю В этом случае обозначим
и построим точно так же четверку
со всеми
нужными свойствами, но такую, что, наоборот
В этом случае, очевидно,
будет
-четверкой, что нам
подходит.
Ошибка.
Попробуйте повторить позже
Дан граф на
вершинах: сопоставим каждой вершине
переменную
. Пусть
— множество остовных
деревьев графа
(то есть поддеревьев, содержащих все вершины). Рассмотрим остовный многочлен от
переменных
Назовем связный граф хорошим, если раскладывается на линейные множители (в частности, если
— тождественный
ноль), иначе плохим.
1. Найдите , где
— полный граф на 4 вершинах.
2. Докажите, что цикл на пяти вершинах является плохим графом.
3. Пусть — хороший граф,
— некоторое подмножество его вершин. Граф
состоит из всех вершин, лежащих в
, и всех ребер
графа
, соединяющих эти вершины. Докажите, что граф
тоже хороший.
4. Назовём раздвоением вершины операцию, добавляющую в граф вершину
, соединенную ровно с теми же вершинами, что и
.
Докажите, что граф, получающийся из одной вершины операциями добавления висячей вершины, раздвоения вершины с добавлением ребра
и раздвоения вершины без добавления ребра
, является хорошим.
Источники:
Пункт 1, подсказка 1
Нас просят найти значения многочлена для графа К₄. Может, стоит подумать о его остовных деревьях?
Пункт 1, подсказка 2
В К₄ бывает только 2 вида остовных деревьев. Это либо цепь длины 4, либо три вершины, "висящие" на четвертой. А что нам дадут данные деревья в основный многочлен?
Пункт 1, подсказка 3
Остовные деревья первого вида дадут xᵢxⱼ, а второго - (xᵢ)², где i - вершина остова. Осталось только аккуратно записать искомый многочлен.
Пункт 2, подсказка 1
Для начала, как и в прошлом пункте, рассматриваем остовные деревья и записываем многочлен.
Пункт 2, подсказка 2
Проверьте, у Вас должен был получиться такой многочлен: x₁x₂x₃ + x₂x₃x₄ + x₃x₄x₅ + x₄x₅x₁ + x₅x₁x₂. Вспомните, какой граф мы называем "плохим"?
Пункт 2, подсказка 3
Заметим, что наш многочлен линеен по каждой переменной. Попробуйте показать, что у нас каждая переменная будет "жить" лишь в одной из скобок.
Пункт 2, подсказка 4
Убедитесь, что переменные разбиваются только на скобки вида 2-2-1 и 3-1-1. Что из этого следует?
Пункт 3, подсказка 1
Давайте подумаем, как связность U будет влиять на остовный многочлен?
Пункт 3, подсказка 2
Если U несвязно, то в качестве многочлена мы получим 0. А можем ли мы при связном U выкидывать по одной вершины с сохранением связности?
Пункт 3, подсказка 3
Давайте "подвесим" граф за множество U и будем удалять вершины, начиная с самого нижнего уровня. Что тогда получится?
Пункт 3, подсказка 4
Удалим вершину v. Это равносильно подстановке 0 в xᵥ. Какой вывод можно получить?
Пункт 3, подсказка 5
У нас получится, что все слагаемые c xᵥ обнуляются, следовательно, останутся лишь те, где v - висячая вершина. Как устроены такие деревья?
Пункт 3, подсказка 6
Мы выбираем дерево в графе G\{v}, а потом одна из вершин окрестности v соединяется с v. Какой вид у нас примет тогда остовный многочлен?
Пункт 3, подсказка 7
Докажите, что многочлен останется раскладываемым на множители.
Пункт 4, подсказка 1
Пусть G₁ - граф, получаемый из G на n вершинах добавлением вершины vₙ₊₁, как в операции раздвоения вершины. Давайте для начала подумаем про остовный многочлен графа G. Надо понять, как устроены деревья этого графа.
Пункт 4, подсказка 2
Возьмем лес на всех вершинах, кроме vₙ. Что обязательно должно быть в каждой его компоненте?
Пункт 4, подсказка 3
В каждой компоненте должна быть хотя бы одна вершина из окрестности vₙ в графе G. Как должна быть связана вершина vₙ с этим множеством?
Пункт 4, подсказка 4
vₙ будет соединена ровно с одной такой вершиной из каждой компоненты. Как тогда может быть представлен наш остовный многочлен?
Пункт 4, подсказка 5
Обозначьте за L множество таких лесов, за t(K) - число компонент связности в лесу K, за A₁, A₂, ... , Aₜ - множества пересечений окрестности вершины v в графе G с компонентами связности леса K. Запишите многочлен, пользуясь этими обозначениями.
Пункт 4, подсказка 6
Теперь посмотрим на деревья в графе G₁. Какой лес мы возьмем там?
Пункт 4, подсказка 7
Мы вновь возьмем лес, содержащий все вершины, кроме vₙ, но теперь еще не будем брать вершину vₙ₊₁. Снова подумаем, что должно быть в каждой его компоненте.
Пункт 4, подсказка 8
Как и ранее, в каждой компоненте должна быть хотя бы одна вершина из окрестности vₙ в графе G, после чего одна из долей будет соединена с вершинами vₙ и vₙ₊₁, а все остальные доли - лишь с одной из них. Теперь запишите и преобразуйте остовный многочлен графа G₁, используя те же обозначения, что и для графа G.
Пункт 4, подсказка 9
У Вас должно получиться, что для графа G₁ остовный многочлен от (x₁, x₂, ..., xₙ₊₁) равен остовному многочлену для графа G от (x₁, x₂, ..., xₙ + xₙ₊₁), умноженному на сумму вершин из окрестности vₙ в графе G.
Пункт 4, подсказка 10
Давайте теперь рассмотрим граф G₂, получаемый из G₁ соединением вершин vₙ и vₙ₊₁. Может быть, леса G₁ и G₂ похожи?
Пункт 4, подсказка 11
Мы снова рассмотрим лес, как с графом G₁, но теперь либо не будем проводить ребро между vₙ и vₙ₊₁, либо проведем и соединим каждую из долей ровно с одной из вершин. Какие выводы можно сделать из этих построений?
Пункт 4, подсказка 12
В первом случае мы получим такое же слагаемое, как в G₁. Тогда что нам дает сумма таких слагаемых?
Пункт 4, подсказка 13
Эти слагаемые дадут нам остовный многочлен графа G₁. Осталось только разобраться с суммой вторых слагаемых. Это можно сделать при помощи тех же обозначений, что и для графа G.
1. В полном графе на четырех вершинах есть только 2 вида остовных деревьев: 1) цепь длины 4; 2) три вершины, "висящие"на четвертой.
Каждое дерево первого вида даст в остовный многочлен одночлен ,
, причем каждый одночлен будет представлен 2
раза.
Каждое дерево второго вида даст в остовный многочлен одночлен , где
— "вершина"остова.
В итоге получим многочлен:
________________________________________________________________________________________________________________________________________________________________________________________________________
2. Распишем . Поскольку многочлен
линеен по каждой переменной, получаем,
что каждая из переменных живет только в одной из скобок. Тогда переменные вынуждены разбиться на скобки 2-2-1 или 3-1-1, что дает нам
не более четырех мономчиков, противоречие.
_________________________________________________________________________________________________________________________________________________________________________________
3. Давайте сначала заметим, что можно последовательно выкидывать вершины по одной с сохранением связности, если связно. (Если
несвязно, то просто 0 получится и все).
Для этого нужно подвесить за и поочередно удалять вершины с самого нижнего уровня. Теперь нужно понять, что при удалении
только одной вершины
граф остается хорошим. Для этого подставим 0 в
. Получим, что все слагаемые, в которые
входило в хотя
бы первой степени, обнулились, а значит остались в точности те, где
— висячая вершина. А все такие деревья устроены так: выбрано
дерево в графе
, и потом одна из вершин из окрестности
соединена с
. Тогда многочлен после подстановки нуля равен
. Подстановка нуля сохраняет раскладываемость на множители, значит
тоже раскладываемый,
значит, при удалении вершины
граф останется хорошим.
_________________________________________________________________________________________________________________________________________________________________________________
4. Сначала докажем вспомогательный факт про такой тип графов.
Лемма о раздвоении без добавления ребра. Пусть дан граф на
вершинах. Рассмотрим граф
, полученный из
добавлением вершины
и соединением ее со всеми вершинами из
, но не самой
. Тогда
Доказательство. Давайте заметим, что любое дерево в графе устройство следующим образом — на всех вершинах, кроме
,
берется некоторый лес, такой, что в каждой компоненте есть хотя бы одна вершина из
, и потом вершина
соединяется с ровно
одной вершиной из каждой компоненты. Обозначим за
множество всех таких лесов, за
— число компонент связности в лесу
, и назовем
пересечения множеств
с компонентами связности леса
. Тогда из рассуждений
выше
Теперь давайте поймём, как устроены деревья в . Там мы тоже берём лес, который содержит все вершины, кроме
,
, и
такой, что каждая его компонента содержит хотя бы одну вершину из
, после чего одна из долей соединяется с обеими вершинами
из
и
, а каждая из остальных
долей — с ровно одной из этих вершин. Тогда в тех же обозначениях получается,
что
Теперь очевидно, что второй сомножитель равен , и лемма доказана.
Лемма 2 (Лемма о раздвоении с добавлением ребра). Пусть дан граф . Рассмотрим граф
, получаемый из
добавлением вершины
и соединением её со всеми вершинами из
, а также с самой
. Тогда
Доказательство. Пусть — граф из леммы
Мы в лемме
уже выяснили как устроены деревья в графе
поэтому нужно
разобраться с тем, как они устроены в
. Заметим, что они устроены так: мы снова берем лес с такими же условиями, а дальше делаем
одно из двух — либо не проводим ребро между
и
, и это слагаемое такое же как в
, либо проводим, и тогда каждую из
долей соединяем с ровно одной из этих вершин. Стало быть, сумма всех первых слагаемых даст нам
, а сумма вторых
равна
Тогда получается, что
доказали требуемое.
Ошибка.
Попробуйте повторить позже
Будем называть треугольник вписанным в треугольник
, если точки
,
,
находятся на сторонах
,
,
соответственно.
1. Докажите, что если отрезок параллелен отрезку
, то описанные окружности треугольников
и
пересекаются на
прямой
.
2. Оказалось, что ,
. Докажите, что точка, симметричная
относительно
, лежит на пересечении описанных
окружностей треугольников
и
.
3. Пусть . Средняя линия треугольника
, параллельная
, пересекает
и
в точках
и
соответственно. Докажите, что точка
,
,
,
лежат на одной окружности.
4. В треугольник вписан треугольник
, гомотетичный треугольнику
. Докажите, что описанная окружность
треугольника
касается описанной окружности
тогда и только тогда, когда касается описанной окружности
.
Пункт 1, подсказка 1
Пусть G — вторая точка пересечения описанных окружностей △AEF и △ABD. Тогда чтобы показать, что G, E и D лежат на одной прямой, можно, например, показать равенство ∠AGE и∠AGD. Ведь нам дан факт про параллельность, которая как раз связана с углами.
Пункт 2, подсказка 1
Показать, что точка лежит на пересечении двух окружностей можно, если показать принадлежность данной точки к обоим окружностям по отдельности.
Пункт 2, подсказка 2
Принадлежность к описанной окружности △ABD. Теперь стоит воспользоваться, что равнобедренные треугольники дают ещё достаточно равных отрезков, а также равные отрезки есть из симметричность. Тогда что можно сказать о окружности с центром в E и радиусом EB? Аналогично для точки F. Но как же воспользоваться этим фактом? Углы AED’ и AFD’ центральные, какие же равенства для них можно составить?
Пункт 3, подсказка 1
Что же даёт равенство углов в условии? Чем будут DF и DE для описанной окружности △AFE?
Пункт 3, подсказка 2
Конечно, XY — радикальная ось. Тогда можно посчитать степени точек для X и для Y. Из равенства для X, что можно сказать о 😆 и окружности, описанной около △AFD? 😆 — касается данной окружности, отсюда можно получить равенство для углов. Останется проделать аналогичные рассуждения для Y и проверить, чему равна сумма противолежащих углов XAYD.
Пункт 4, подсказка 1
Окружность описанная около △DEF повторно пересекает стороны BC, AC, AB в точках D', E', F' соответственно. Окружность △XYZ повторно пересекает стороны EF, DF, DE в точках X', Y', Z' соответственно. Что можно сказать о пересечение описанных окружностей △EX'Z', △FX'Y' и △DY'Z'. Они пересекаются в одной точки, пусть М. Выясните, каким ещё окружностям принадлежит точка М?
Пункт 4, подсказка 2
Очень много окружностей пересекающихся в М. Давайте сделаем инверсию φ в этой точке с произвольным радиусом. Какие подобные треугольнике теперь можно увидеть? Например, △AE'F' ~ △φ(X') φ(E) φ(F). Какие ещё два аналогичных подобия можно получить?
1. Пусть — вторая точка пересечения описанных окружностей
и
. Поскольку четырехугольник
описанный, то
. Четырехугольник
также описанный, значит
.
Поскольку , то
.
Получаем, что . Тогда
,
,
лежат на одной прямой.
2. Поскольку треугольники и
равнобедренные, то
и
. Тогда
Также из определения (точка, симметричная
относительно
) следует, что
Получается, что лежит на описанной окружности
.
Из определения как симметричной точки:
Значит, и
лежат на одной окружности с центром в
а
и
с центром в
Тогда выполнены следующие равенства
для вписанных и центральных углов:
Получаем, что лежит и на описанной окружности
.
3. Обозначим за и
середины
и
соответственно. Т.к.
, то
и
— касательные к
окружности, описанной около
.
Рассмотрим пару окружностей: описанная окружность треугольника и окружность нулевого радиуса с центром в точке
.
Рассмотрим степени точек
и
относительно данных окружностей:
Получаем, что — радикальная ось наших 2 окружностей. Тогда на этой же радикальной оси лежат
и
. Тогда
и
Следовательно,
— касательная к описанной окружности
, и
— касательная к
описанной окружности
. Тогда
4. Окружность повторно пересекает стороны
,
,
в точках
,
,
соответственно. Окружность
повторно пересекает стороны
,
,
в точках
,
,
соответственно.
Окружности и
повторно пересекаются в точке
. Заметим, что
поэтому лежит на окружности
. Также
поэтому лежит на окружности
. Аналогично
лежит на окружностях
,
.
Пусть — инверсия с центром в точке
и произвольным радиусом. Тогда
Также
Аналогично . Следовательно, треугольники
и
подобны. Проделывая аналогичные
рассуждения для двух других сторон мы получаем
Следовательно, угол между окружностями и
равен углу между окружностями
и
по подобию, с другой стороны, равен углу между окружностями
и
, поскольку инверсия сохраняет
углы.
Ошибка.
Попробуйте повторить позже
Будем называть треугольник вписанным в треугольник
, если точки
,
,
находятся на сторонах
,
,
соответственно.
1. Докажите, что если отрезок параллелен отрезку
, то описанные окружности треугольников
и
пересекаются на
прямой
.
2. Оказалось, что ,
. Докажите, что точка, симметричная
относительно
, лежит на пересечении описанных
окружностей треугольников
и
.
Пункт 1, подсказка 1
Пусть G — вторая точка пересечения описанных окружностей △AEF и △ABD. Тогда чтобы показать, что G, E и D лежат на одной прямой, можно, например, показать равенство ∠AGE и∠AGD. Ведь нам дан факт про параллельность, которая как раз связана с углами.
Пункт 2, подсказка 1
Показать, что точка лежит на пересечении двух окружностей можно, если показать принадлежность данной точки к обоим окружностям по отдельности.
Пункт 2, подсказка 2
Принадлежность к описанной окружности △ABD. Теперь стоит воспользоваться, что равнобедренные треугольники дают ещё достаточно равных отрезков, а также равные отрезки есть из симметричность. Тогда что можно сказать о окружности с центром в E и радиусом EB? Аналогично для точки F. Но как же воспользоваться этим фактом? Углы AED’ и AFD’ центральные, какие же равенства для них можно составить?
1. Пусть — вторая точка пересечения описанных окружностей
и
. Поскольку четырехугольник
описанный, то
. Четырехугольник
также описанный, значит
.
Поскольку , то
.
Получаем, что . Тогда
,
,
лежат на одной прямой.
2. Поскольку треугольники и
равнобедренные, то
и
. Тогда
Также из определения (точка, симметричная
относительно
) следует, что
Получается, что лежит на описанной окружности
.
Из определения как симметричной точки:
Значит, и
лежат на одной окружности с центром в
а
и
— с центром в
Тогда выполнены следующие
равенства для вписанных и центральных углов:
Получаем, что лежит и на описанной окружности
.