Вы находитесь на странице: 1из 17

Библиотека

<Математическое просвещение>
Выпуск 32

А. В. Хачатурян
Н а у ч н о - р е д а к ц и о н н ы й с о в е т с е р и и:
В. В. Прасолов, А. Б. Сосинский (гл. ред.),
А. В. Спивак, В. М. Тихомиров, И. В. Ященко
ГЕОМЕТРИЯ ГАЛИЛЕЯ
Серия основана в 1999 году

Издательство Московского центра


непрерывного математического образования
Москва • 2005
УДК 514.126
ББК 22.151 ВВЕДЕНИЕ
Х29 На вопрос <Что изучает планиметрия?>, как правило, отвеча-
ют: свойства геометрических фигур на плоскости. Под геометри-
Аннотация ческой фигурой понимают множество точек плоскости, а свойства,
Планиметрия — наука о свойствах фигур плоскости, инвари- оказывается, геометрия изучает не любые, а только такие, ко-
антных относительно движений плоскости. Фигуры, которые можно торые инвариантны относительно определённых преобразований
совместить движениями, геометрия считает равными и не различает.
Всем известны движения евклидовой планиметрии: параллельный пе- плоскости, называемых движениями. Таким образом, понятие дви-
ренос, поворот, осевая симметрия. Если изменить группу движений, жения является одним из центральных в геометрии, поскольку
например, добавить преобразования подобия, то изменится и геоме-
трия. В определённом смысле любая группа преобразований порождает на нём основано понятие равенства фигур: две фигуры геометрия
свою геометрию. считает равными, если существует движение, переводящее одну
В брошюре рассказывается о геометрии, которую порождают пре- из них в другую. Движения евклидовой планиметрии (той, что
образования инерциальных систем отсчёта, знакомые из школьного
курса физики. Такую геометрию принято называть геометрией Га- изучается в школе) представлены параллельными переносами, по-
лилея. В чём-то эта странная геометрия отличается от евклидовой, воротами и осевыми симметриями с последующим параллельным
а в чём-то похожа на неё. переносом вдоль оси. Других нет. Этот факт называется теоре-
Текст брошюры представляет собой обработку записи лекции, про-
читанной автором 30 марта 2002 года на Малом мехмате МГУ для мой Шаля.
школьников 9—11 классов. Рассмотрим теперь вопрос с другой стороны. Равенство фигур
Брошюра рассчитана на широкий круг читателей, интересующих-
ся математикой: школьников старших классов, студентов младших естественно считать отношением эквивалентности, т. е. отноше-
курсов, учителей. нием, наделённым тремя свойствами: рефлексивностью (каждая
фигура равна самой себе), симметричностью (если фигура A рав-
на фигуре B, то и фигура B равна фигуре A) и транзитивностью
(если фигура A равна фигуре B, а фигура B, в свою очередь, равна
Александр Вячеславович Хачатурян
фигуре C, то фигура A равна фигуре C). Если считать, что равенство
Геометрия Галилея
фигур обеспечивается некоторым набором преобразований плоско-
(Серия: <Библиотека ,,Математическое просвещение“>)
сти (движений), то описанные свойства накладывают определённые
М.: МЦНМО, 2005. — 32 с.: ил. условия на этот набор: рефлексивность позволяет выделить дви-
Редактор Е. В. Корицкая Корректор Т. Л. Коробкова
жение, переводящее все точки плоскости в себя (тождественное
Техн. редакторы М. Н. Вельтищев, М. Ю. Панов движение), симметричность предполагает вместе с движением, пе-
реводящим A в B, рассматривать и обратное, переводящее B в A,
Лицензия ИД № 01335 от 24/III 2000 года. Подписано в печать 14/XI 2005 года. транзитивность велит считать преобразование, полученное после-
Формат бумаги 60×88 1/16 . Офсетная бумага № 1. Офсетная печать. Физ. печ. л. 2,00.
Усл. печ. л. 1,96. Уч.-изд. л. 2,16. Тираж 3000 экз. Заказ . довательным применением движений f и g, снова движением.
Сформулируем более отчётливо эти требования.
Брошюра соответствует гигиеническим требованиям к учебным изданиям для общего 1) Для любых движений f и g преобразование, являющееся
и начального профессионального образования (заключение государственной санитарно- результатом последовательного применения сначала f, а затем g,
эпидемиологической службы Российской Федерации № 77.99.02.953.Д.003873.06.04
от 2/VI 2004 года). снова является движением. Оно обозначается g◦f и называется
композицией f и g.
Издательство Московского центра непрерывного математического образования. 2) Преобразование, переводящее все точки плоскости в себя,
119002, Москва, Г-2, Бол. Власьевский пер., 11. Тел. 241 72 85, 241 05 00. является движением. Оно называется тождественным, обозна-
чается id и обладает естественным свойством f◦id=id◦f=f для
Отпечатано с готовых диапозитивов
в ФГУП <Производственно-издательский комбинат ВИНИТИ>. любого движения f.
140010, г. Люберцы Московской обл., Октябрьский пр-т, 403. Тел. 554 21 86. 3) Для любого движения f существует обратное к нему дви-
жение f−1 , такое, что f◦f−1 =f−1 ◦f=id.
Добавим к этому списку автоматически выполняющееся для
ISBN 5-94057-221-9 © Хачатурян А. В., 2005. преобразований условие ассоциативности:
© МЦНМО, 2005. 4) Для любых движений f, g и h справедливо (f◦g)◦h=f◦(g◦h).
3
Если набор движений удовлетворяет свойствам 1)—4), то гово- Покажем, что данный класс преобразований плоскости образу-
рят, что задана группа движений. Можно убедиться, что движе- ет группу, для чего проверим свойства 1)—3).
ния евклидовой плоскости образуют группу. Если к ней добавить Пусть f=[a, b, c] и g=[a′ , b′ , c′ ]. Тогда f переводит (x, y)
гомотетии*) и их композиции с евклидовыми движениями, то по- в (x+a, y+bx+c), а применение после этого преобразования g
лучится группа преобразований подобия. В соответствующей геоме- даёт точку (x+a+a′ , y+bx+c+b′ (x+a)+c′ ). Эту точку можно
трии подобные фигуры (например, подобные треугольники) будут было бы получить из (x, y) сразу применением h=[a+a′ , b+b′ ,
неразличимыми. c+c′ +b′ a]. Стало быть, h и есть f◦g, т. е. композиция двух пре-
Можно пойти ещё дальше и добавить к подобиям так называе- образований Галилея снова есть преобразование Галилея.
мые преобразования сжатия к прямой. Такая расширенная группа В качестве id, очевидно, годится [0, 0, 0], свойство 2) легко
(группа аффинных преобразований) вообще не различает треуголь- проверить. Нетрудно убедиться и в справедливости свойства 3).
ники — с её точки зрения все треугольники равны. Равны и все 1. Докажите, что если g=[a, b, c], то обратным к нему пре-
параллелограммы, а вот параллелограмм от трапеции эта геоме- образованием служит g−1 =[−a, −b, ba−c] *).
трия всё-таки отличает. Итак, мы определили группу преобразований, которую будем
Таким образом, строение группы движений в некотором смысле обозначать G и называть группой Галилея. Уже ясно, во что перехо-
определяет геометрию. Такой взгляд на геометрию традиционно дят точки, посмотрим теперь, как движения из G воздействуют на
связывают с именем немецкого математика Феликса Клейна, выска-
завшего эту точку зрения в знаменитой лекции 1878 года <Срав- ПРЯМЫЕ
нительное рассмотрение новейших геометрических исследований>, Уравнение невертикальной прямой имеет вид y=kx+l. Точка
получившей известность под названием <Эрлангенская программа>. (x, kx+l) такой прямой при преобразовании g=[a, b, c] переходит
Сейчас мы рассмотрим одну довольно простую группу преобра- в (x+a, kx+l+bx+c). Полагая x1 =x+a, полученную точку мож-
зований и увидим, какая геометрия с ней связана. Эта геометрия но записать как (x1 , (k+b)x1 +l+c−ka−ba), из чего следует, что
редко упоминается в литературе. Видимо, замечательная, ставшая она лежит на прямой y=(k+b)x+(l+c−ka−ba), причём по мере
уже давно библиографической редкостью монография [2] является того как x пробегает ³, x1 также пробегает ³, т. е. образом прямой
единственной научно-популярной книгой на русском языке на эту y=kx+l служит прямая y=(k+b)x+(l+c−ka−ba). Вертикаль-
тему. Бо́льшая часть изложенных здесь результатов заимствована ная же прямая задаётся уравнением x=p и переходит, очевидно,
из неё. Итак, рассмотрим снова в вертикальную прямую x=p+a. Тем самым, вертикальные
ПРЕОБРАЗОВАНИЯ ГАЛИЛЕЯ и невертикальные прямые, неразличимые обычной геометрией,
Пусть на плоскости введены координаты (x, y). Преобразования в геометрии Галилея являются разными объектами. Невертикаль-
ные прямые будем называть просто прямыми, вертикальные —
(x, y)7→ (x+a, y+bx+c), особыми прямыми. Нетрудно указать <физическую сущность> этих
где a, b, c∈³, назовём, следуя [2], преобразованиями Галилея. прямых: обычная прямая представляет из себя график равномер-
Это название связано с физической аналогией: если x мыслить как ного движения, особая — момент времени.
время, а y — как координату на прямой, то указанное преобразо- 2. Докажите, что преобразованием из G данную прямую можно
вание есть не что иное, как преобразование инерциальной системы перевести в любую наперёд заданную прямую. Укажите явно
отсчёта: a является величиной сдвига начала отсчёта по времени, элемент G, переводящий прямую y=kx+l в прямую y=k1 x+l1 .
c — величиной сдвига по пространственной координате, а b — ско- 3. Докажите, что параллельные прямые переходят в параллель-
ростью движения одной системы отсчёта относительно другой. Мы ные. Графиками каких движений служат параллельные прямые?
ещё не раз будем обращаться к этой физической модели, отмечая, Нетрудно убедиться, что элементы G сохраняют порядок точек
как в ней выглядят вводимые геометрические объекты и величины. на прямой (и на особой прямой), а поэтому естественно возникают
Будем обозначать указанное преобразование тройкой чисел такие фигуры, как луч, отрезок, особый луч, особый отрезок. Не-
[a, b, c], т. е. запись g=[a, b, c] будем понимать как трудно видеть, что далеко не любые два отрезка можно перевести
g: (x, y)7→ (x+a, y+bx+c). друг в друга. Это обстоятельство имеет место и в привычной нам
*) Гомотетией с центром O и коэффициентом k (k6= 0) называется отображение, при *) Двумя чертами слева выделены упражнения. Ответы, указания и решения

−→ −→
котором образом произвольной точки X является такая точка X1 , что OX1 =kOX. к ним приведены на с. 24—31.
4 5
а) y (x2 , y2 ) y
геометрии: движением друг в друга переводят- жена окружность с центром в точке A ради-
ся только равные по длине отрезки. Значит, уса −1. <Физическая сущность> окружности,
следует попытаться и в рассматриваемой гео- стало быть, такая же, как и у особой прямой:
A
x1 метрии определить окружность — это момент времени. Навер- –1
ное, будет разумно с этого момента отказаться
x2 x x
РАССТОЯНИЕ МЕЖДУ ТОЧКАМИ от термина <особая прямая>, называя этот
объект окружностью. Особый же отрезок мы,
(x1 , y1 ) Хотелось бы, чтобы расстояние обладало естественно, назовём дугой. И несмотря на то,
d((x1 , y1 ), (x2 , y2 ))=x2 –x1 >0
естественными для него свойствами, в частно- что такая окружность сама по себе фигура
сти, чтобы оно равнялось нулю только в слу- довольно примитивная и не сравнимая по бо- Рис. 2
чае совпадения точек и чтобы преобразования гатству геометрических свойств с евклидовой
(x2 , y2 ) y б) из G сохраняли расстояние. Положим рассто- окружностью, дуга окружности поможет нам y
яние между точками (x1 , y1 ) и (x2 , y2 ) равным в важном деле — с её помощью мы сможем ℓ2
d((x1 , y1 ), (x2 , y2 ))=x2 −x1 измерять
x1
(рис. 1, а, б). Однако равенство введённого рас- УГЛЫ 1 ∠(ℓ1 , ℓ2 )
x2 x
стояния между точками нулю ещё не означает Как и в евклидовой геометрии, углом
их совпадения, а означает всего лишь принад- между пересекающимися прямыми l1 и l2
(x1 , y1 ) x
лежность одной особой прямой. В этом случае назовём длину дуги, которую они высекают
d((x1 , y1 ), (x2 , y2 ))=x2 –x1 <0 определим особое расстояние (рис. 1, в, г) на единичной окружности с центром в точке ℓ1

dособ.((x1 , y1 ), (x1 , y2 ))=y2 −y1 . их пересечения (рис. 3). Подобно расстоянию


(x2 , y2 ) y в)
между точками, величина угла между прямы- Рис. 3
y2 Такое определение удовлетворяет первому же- ми зависит от порядка их следования, т. е.
лаемому свойству: две точки совпадают тогда ∠(l1 , l2 )=−∠(l2 , l1 ).
и только тогда, когда между ними определено
особое расстояние, и оно равно нулю. С <фи- Про угол ∠(l1 , l2 ) мы будем говорить <угол от прямой l1 к пря-
x зической точки зрения> расстояние — это раз- мой l2 >, такие углы называют ориентированными. Заметим, что
ница во времени между событиями, а особое величина угла может быть л ю б ы м действительным числом. Угол
y1 расстояние — разница в их координате для между совпадающими или же параллельными прямыми считается
(x1 , y1 ) равным 0.
одновременно произошедших событий.
d((x1 , y1 ), (x2 , y2 ))=y2 –y1 >0, 4. Докажите, что преобразования из G 5. Докажите, что если прямые l1 и l2 заданы уравнения-
x1 =x2 ми y=k1 x+b1 и y=k2 x+b2 соответственно, то ∠(l1 , l2 )=k2 −k1 .
сохраняют расстояние и особое расстояние
(если последнее определено). Докажите, что преобразования из G сохраняют углы. Каков фи-
г) y (x1 , y1 ) Очень важное отличие от евклидова рас- зический смысл угла между прямыми?
y1 6. Докажите, что в геометрии Галилея справедлив критерий
стояния в том, что теперь расстояние между
точками может быть о т р и ц а т е л ь н ы м параллельности прямых: две прямые, пересечённые третьей, па-
(рис. 1, б, г)! раллельны тогда и только тогда, когда эта третья прямая обра-
Теперь рассмотрим множество точек, уда- зует с ними одинаковые углы. Верно ли, что две прямые, па-
x лённых от данной точки на определённое рас- раллельные третьей, параллельны (разумеется, мы здесь и далее
стояние. Каждый знает, что это — совпадающие прямые тоже считаем параллельными)?
y2
(x2 , y2 )
Перпендикуляром, опущенным из точки A на прямую l, обыч-
ОКРУЖНОСТЬ но называют прямую, соединяющую A с ближайшей к ней точкой
d((x1 , y1 ), (x2 , y2 ))=y2 –y1 <0, прямой l. В нашем случае такой прямой нет, несмотря на то, что
x1 =x2
Совершенно очевидно, что окружность — ближайшая (в смысле обычного, неособого расстояния) точка су-
Рис. 1 это попросту особая прямая! На рис. 2 изобра- ществует. Однако роль перпендикуляра может взять на себя особая
6 7
y прямая. Во всяком случае, при таком опреде- Покажем справедливость признака равенства
лении из каждой точки, не лежащей на пря- по двум сторонам и углу между ними. Пусть
мой, можно опустить единственный перпенди- даны треугольники ABC и A1 B1 C1 такие, что
куляр на эту прямую, а из точки, лежащей AB=A1 B1 , AC=A1 C1 и ∠BAC=∠B1 A1 C1 . Рас-
на прямой, — восставить единственный пер- смотрим преобразование [a, b, c] из G, пере-
пендикуляр к ней. В евклидовой планиметрии водящее A в A1 и C в C1 . Оно существует
угол между прямыми не превосходит 90◦ , до- и единственно. Здесь a равно разности аб-
стигая максимума в случае перпендикулярно- сцисс точек A и A1 (для точек C и C1 оно
сти; в геометрии Галилея определённый нами будет таким же, поскольку AC=A1 C1 ), b и c
перпендикуляр является предельным положе- определятся из системы линейных уравне-
нием прямых, пересекающих данную прямую ний, получающихся из-за совпадения орди-
в фиксированной точке при увеличении угла нат точек A1 и C1 с ординатами образов A
1
между ней и этими прямыми (рис. 4). и C. Эта система имеет одно решение, по-
x Теперь мы умеем измерять отрезки и углы скольку абсциссы точек A и C различны. Рис. 6
и можем рассмотреть Указанное движение [a, b, c] переводит так-
же B в B1 . В самом деле, из-за равенства AB=A1 B1 образ B лежит
ТРЕУГОЛЬНИКИ на одной окружности с B1 , а из-за равенства ∠BAC=∠B1 A1 C1
Рис. 4 образ B лежит на прямой A1 B1 . Образу B ничего не остаётся,
Три точки, не лежащие на одной пря- как совпасть с B1 , тем самым равенство треугольников доказано.
мой и три (неособых!) отрезка, соединяющие 7. Справедливы ли в геометрии Галилея признаки равенства
их, назовём треугольником. Попробуем про- треугольников по стороне и двум углам? по трём сторонам?
верить привычные нам свойства треугольника Сказанное ранее о перпендикулярах позволяет без изменений
β в изучаемой геометрии. Начнём с неравенства перенести в геометрию Галилея определение высоты треугольни-
B
треугольника. ка (рис. 6). Биссектрису угла разумно определить как прямую,
Если вершины треугольника ABC имеют делящую угол пополам, понимать же биссектрису треугольника
координаты A(xa , ya ), B(xb , yb ) и C(xc , yc ), то как отрезок неудобно, поскольку она вообще может проходить
AB=xb −xa , BC=xc −xb , AC=xc −xa , откуда вне треугольника (рис. 7). Определение медианы можно перенести
α C γ
AB+BC=AC. Вместо неравенства треугольни- из евклидовой геометрии буквально, благо середина отрезка в обе-
ка получилось равенство! Этот же факт можно их геометриях — одна и та же точка, однако при этом приходится
A записать и в виде AB+BC+CA=0 — пери- смириться с тем, что медиа-
α метр любого треугольника равен нулю. на может быть как отрезком,
β А чему равна сумма углов треугольни-
γ так и дугой окружности. Зато
ка? Прежде чем вычислить её, условимся за- медианы любого треугольника
пись ∠ABC понимать как <угол от прямой AB пересекаются в одной точке и
Рис. 5 к прямой BC> и отличать ∠ABC от ∠CBA= делятся ей в отношении 2:1—
=−∠ABC. Пусть угловые коэффициенты пря- доказательство этого факта без
мых AB, BC и CA равны k1 , k2 и k3 соот- изменений переносится из ев-
ветственно. Воспользуемся результатом упражнения 5 и получим: клидовой геометрии в геомет-
∠ABC+∠BCA+∠CAB=(k1 −k2 )+(k2 −k3 )+(k3 −k1 )=0. рию Галилея, этот факт лежит
в круге понятий и фактов, об-
Это ясно и из геометрических соображений (рис. 5). щих для обеих геометрий. Вы-
В школьной геометрии учение о треугольниках базируется соты треугольника, конечно,
на понятии равенства треугольников и признаках равенства. Тре- не пересекаются (см. рис. 6),
угольники мы назовём равными, если существует преобразова- не пересекаются в одной точ-
ние из группы G, переводящее один из треугольников в другой. ке и биссектрисы (см. рис. 7). Рис. 7
8 9
B 8. Докажите, что биссектрисы уг- пересечения делятся пополам (рис. 10).
лов треугольника попарно пересека- Более того, у параллелограммов в гео-
C ются, причём точки пересечения слу- метрии Галилея равны все четыре угла!
∠BCA жат вершинами треугольника, сторо- 14. Докажите, что диагонали че-
∠CAB ны которого равны сторонам исходно- тырёхугольника делятся точкой пере-
M
го треугольника, а углы вдвое мень- сечения пополам тогда и только то-
A
1 1 ше углов исходного (см. рис. 7). гда, когда это параллелограмм.
Интересно также рассмотреть рав- 15. Докажите, что противополож-
∠CAB =MB/AM =MB/MC=∠BCA
нобедренный треугольник, т. е. такой ные углы четырёхугольника попарно
Рис. 8 треугольник ABC, у которого AB=BC равны тогда и только тогда, когда это Рис. 10
(рис. 8). Его углы при основании равны, параллелограмм.
так как их величина равна отношению В евклидовой геометрии ромб оп-
высоты, опущенной на основание, к по- ределялся как параллелограмм с рав- B
ловине этого основания (равной боковой ными сторонами или же как четырёх-
B
стороне). У равнобедренного треуголь- угольник с равными сторонами — оба C
ника (и только у него) медиана совпадает определения были эквивалентными.
A
с высотой. Однако биссектриса угла В геометрии Галилея этими свойствами
C при вершине обладает иным свойством. определяются разные четырёхугольни-
D
9. Докажите, что биссектриса уг- ки. Будем называть ромбом параллело-
ла при вершине равнобедренного тре- грамм с равными сторонами, т. е. такой Рис. 11
A
угольника параллельна основанию, а параллелограмм ABCD, у которого AB=
Рис. 9 для неравнобедренного треугольника =BC=AD=DC (рис. 11). Четырёхуголь-
это не так (рис. 9). ник же, не являющийся параллелограм- B
10. Существуют ли равносторонние треугольники? мом, но с равными сторонами условимся
11. В любом ли треугольнике справедлива теорема о средней линии? называть равносторонником (рис. 12). C
12. Докажите, что в любом треугольнике ABC справедлива 16. Верно ли, что диагонали ромба A
AB BC CA перпендикулярны и являются бис-
своеобразная теорема синусов: = = . сектрисами его углов? Верны ли эти
∠ACB ∠BAC ∠CBA
13. Справедлива ли в произвольном разностороннем треуголь- свойства для произвольного равносто-
нике ABC теорема о биссектрисе: биссектриса угла пересекает ронника?
противоположную сторону или её продолжение и делит её в от- Ничто не мешает назвать трапеци- D
ношении, равном отношению сторон, образующих этот угол? ей четырёхугольник, две стороны кото-
Рис. 12
Многими интересными свойствами обладают различные рого параллельны, а две другие — нет
(рис. 13). Для трапеции останутся спра-
ЧЕТЫРЁХУГОЛЬНИКИ ведливыми её аффинные свойства, на-
пример, теорема о средней линии или
Определение четырёхугольника такое же, как в евклидовой так называемая <лемма о трапеции>:
планиметрии. Точно так же среди четырёхугольников можно выде- точка пересечения диагоналей, точка
лить параллелограммы — такие четырёхугольники, противополож- пересечения боковых сторон и середи-
ные стороны которых попарно параллельны (подумайте, почему ны оснований трапеции лежат на одной
в отличие от евклидовой геометрии в геометрии Галилея че- прямой (рис. 13). Правда, в изучаемой
тырёхугольник с попарно равными противоположными сторонами геометрии такой прямой может оказать-
не обязательно является параллелограммом). Неудивительно, что ся и особая прямая, т. е. окружность.
у параллелограммов в геометрии Галилея, так же как и в геоме- А вот прямоугольников в геометрии
трии Евклида, равны противоположные углы и диагонали точкой Галилея, строго говоря, нет. И всё же: Рис. 13
10 11
C назовём прямоугольником фигуру ABCD, четы- Выводя уравнение цикла, мы по сути также доказали, что любой
B ре вершины которой соединены двумя отрезками график квадратного трёхчлена является циклом, а также что вокруг
BC и AD и двумя дугами AB и CD (рис. 14). любого треугольника можно описать цикл, причём единственным
Такой прямоугольник не является четырёх- образом. В самом деле, пусть дан график квадратного трёхчлена,
угольником, однако его диагонали делятся точки A, B, C лежат на нём, и ∠ACB=k. Описывая геометрическое
D
точкой пересечения пополам и равны по длине. место точек, из которых отрезок AB виден под углом k, мы доказа-
A 17. Докажите, что ABCD — прямоуголь- ли, что это график квадратного трёхчлена. Точки A, B, C принад-
Рис. 14 ник тогда и только тогда, когда CD — дуга лежат ему, однако через три точки плоскости нельзя провести два
окружности и ∠CAD=∠CBD. различных графика квадратных трёхчленов, иначе их разность —
Свойство, описанное в этом упражне- многочлен степени не выше второй, не равный тождественно ну-
нии — равенство углов, опирающихся на одну лю, — будет иметь три различных корня, что невозможно. Пусть
дугу, — в евклидовой геометрии играет важ- теперь ABC — произвольный треугольник. Тогда решение нашей
ную роль, оно выполняется тогда и только задачи укажет единственный квадратный трёхчлен, график которо-
тогда, когда вокруг четырёхугольника мож- го проходит через A, B и C — описанный цикл треугольника ABC.
но описать окружность. Собственно говоря, 18. Верно ли, что в цикл можно вписать только равнобедрен-
окружность можно определять как множество ные трапеции (рис. 17)?
точек, из которых отрезок виден под данным Каков физический смысл цикла? Он хорошо известен из школь-
(ориентированным!) углом (рис. 15). Если ного курса физики: цикл — график равноускоренного движения,
Рис. 15 в геометрии Галилея решить такую же задачу, подобно тому, как прямая — график равномерного. Цикл, описанный
возникнет новый объект — значительно более вокруг треугольника, можно интерпретировать следующим обра-
похожий по свойствам на евклидову окруж- зом. Допустим, вы выезжаете из Москвы в 10 часов утра и плани-
ность. Поскольку термин <окружность> уже руете быть в Нижнем Новгороде в 18 часов. Тогда вы всегда можете
использован, такую кривую называют словом подобрать нужную скорость и двигаться равномерно, при этом вы
в какой-то момент окажетесь во Владимире. Двигаясь равноуско-
ЦИКЛ ренно, вы сможете осуществлять своё путеше-
Итак, назовём циклом множество точек M ствие так, чтобы проезжать Владимир в различ-
плоскости, таких, что ∠AMB=const, где AB— ные моменты времени. Если же вам нужно быть
B данный отрезок (рис. 16). во Владимире ровно в 15 часов, то существует
единственное равноускоренное движение, удо- НИЖНИЙ
НИЖНИЙ
НИЖНИЙ
НИЖНИЙ
Выведем уравнение цикла. Пусть A(xa , ya ), НОВГОРОД
НОВГОРОД
НОВГОРОД
НОВГОРОД
B(xb , yb ), M(xm , ym ), ∠AMB=k6= 0. Тогда угло- влетворяющее всем этим требованиям (рис. 18).
A
вые коэффициенты прямых MA и MB равны 19. Докажите, что образом цикла при дви-
Рис. 16 yb −ym y −ym жении является цикл.
и a соответственно, и мы имеем: У цикла есть много свойств, характерных
xb −xm xa −xm ВЛАДИМИР
ВЛАДИМИР
для евклидовой окружности. Например, суще- ВЛАДИМИР
ВЛАДИМИР
yb −ym y −ym ствует семейство движений, переводящих цикл
− a =k.
xb −xm xa −xm в себя (аналогичных евклидовым поворотам).
Несложными преобразованиями получаем, что Они называются сдвигами вдоль цикла, или ци-
k kx +kxb +ya −yb клическими поворотами. МОСКВА
МОСКВА
МОСКВА
МОСКВА
ym = x2 − a xm + 20. Докажите, что движения, переводящие
xb −xa m xb −xa
цикл y=ax2 +bx+c в себя, описываются фор-
kx x +ya xb −yb xa
+ a b . мулой [λ, 2aλ, bλ−aλ2 ], где λ — произвольное
xb −xa действительное число (аналог угла поворота).
Мы получили квадратный трёхчлен, значит, Можно ли сдвигом вдоль фиксированного ци-
цикл — это парабола. Её ветви могут быть кла перевести данную точку в любую наперёд 1000 1500 1800
Рис. 17 направлены как вверх, так и вниз. заданную? Рис. 18
12 13
Говорят, что прямая касается цикла, ес- ке B — прямая b; поскольку соответствие взаимно однозначное, то
ли она имеет с ним ровно одну общую точку. прямой a соответствует точка A, прямой b — точка B. Тогда 1) если
Оказывается, что в любой треугольник мож- точка A лежит на прямой b, то прямая a содержит точку B; 2) рассто-
но единственным образом вписать цикл, т. е. яние от точки A до точки B равно углу от прямой a к прямой b.
расположить его так, чтобы прямые — сторо- В качестве примера такого соответствия рассмотрим следующее:
ны треугольника — касались цикла (рис. 19).
точка M(p, q) ←→ прямая m: y=px−q.
Докажем этот факт. Для этого нам пона-
добится следующая вспомогательная задача. 23. Проверьте, что это соответствие обладает описанными
21. Докажите, что для любого числа k выше свойствами.
существует единственная прямая с угловым 24. Может ли точка лежать на двойственной себе прямой?
Рис. 19
коэффициентом k, касающаяся параболы Если да, то что из себя представляет множество таких точек?
y=x2 . Нетрудно видеть, что в геометрии Галилея параллельные пря-
Пусть дан произвольный треугольник. Проведём к параболе мые при преобразовании двойственности переходят в точки, лежа-
y=x2 касательные, параллельные его сторонам. В пересечении эти щие на одной окружности. Такие точки ради единства терминоло-
прямые образуют треугольник, равный или гомотетичный данному. гии тоже называют параллельными. Ясно, что две непараллельные
Переведём его в данный сдвигом (именно сдвигом, так как со- точки и соединяющая их прямая переходят, соответственно, в две
ответствующие стороны параллельны) или гомотетией. При этом прямые и точку их пересечения.
парабола y=x2 перейдёт в искомый цикл. Ясно также, что вписан- Интересно рассмотреть объекты, двойственные уже известным
ный цикл единствен: если два цикла вписаны в один треугольник, нам. Что, например, двойственно треугольнику? Вершины A, B и C
то они совмещаются либо сдвигом, либо гомотетией. Проведём треугольника, будучи непараллельными точками, переходят в не-
это преобразование; стороны треугольника сохранят направление, параллельные прямые a, b и c, причём a и b пересекаются в точке,
а свойство <касаться цикла> перейдёт в себя. Тогда треугольник являющейся образом стороны AB треугольника, и т. д. Таким
останется на месте, из чего легко вывести, что преобразование было образом, фигура, двойственная треугольнику, — тоже треуголь-
тождественным, а значит, циклы совпадают. ник. При этом вершины соответствуют сторонам, длины сторон —
22. Докажите, что длины касательных к циклу, проведённых углам, середины сторон — биссектрисам, основания биссектрис —
из одной точки, равны по абсолютной величине. медианам. Более того, рассмотрев некоторое утверждение о принад-
Три точки определяют цикл, три прямые также его опреде- лежности точек прямым, длинах отрезков и величинах углов, мы
ляют. Это далеко не единственный пример аналогичных свойств можем сформулировать двойственное ему утверждение, заменив
точек и прямых — явления, которое называется все слова в парах <прямая — точка>, <принадлежит — содержит>,
<расстояние — угол> друг на друга. Полученное утверждение
ДВОЙСТВЕННОСТЬ окажется верным, а его доказательство автоматически получится
из доказательства исходного при выполнении в нём тех же за-
Если вдуматься, свойства прямых и точек в геометрии весьма мен! Таким образом можно получить <чудесные доказательства>
схожи. Например, через две точки проходит единственная прямая, некоторых уже упоминавшихся фактов. Например, теореме о том,
и на двух прямых лежит единственная точка. Правда, в геометрии что периметр треугольника равен нулю, двойственно утвержде-
Евклида есть параллельные прямые и нет параллельных точек. ние о равенстве нулю суммы углов треугольника. Упоминавшаяся
Свойства расстояний между точками и углов между прямыми тоже в упражнении 12 <теорема синусов> оказывается <самодвойствен-
весьма похожи (например, выполняется аддитивность). Однако сход- ным> утверждением.
ство и тут неполное: углы не превосходят определённой величины, 25. Докажите, что равнобедренному треугольнику двойственен
расстояния же неограничены. Геометрия Галилея стирает все эти равнобедренный треугольник.
несогласованности: в ней прямые и точки отличаются не больше, 26. Найдите другое доказательство факта из упражнения 9.
чем положительные и отрицательные числа. А именно, существует Теперь давайте рассмотрим фигуру, двойственную параллело-
взаимно однозначное соответствие (называемое двойственностью) грамму. Его пары параллельных сторон перейдут в пары парал-
между множеством точек и множеством прямых, обладающее сле- лельных точек, причём точка, соответствующая <верхней> прямой,
дующими свойствами. Пусть точке A соответствует прямая a, а точ- окажется <ниже> точки, соответствующей <нижней>. Вершины
14 15
b C параллелограмма перейдут в прямые, соединя-
B
ющие указанные точки. В итоге получится фигу-
c
o
ра, которая называется антипараллелограммом
a (рис. 20). Получившаяся точка O соответствует
D одной из диагоналей исходного параллелограмма.
A d 27. Какая точка соответствует другой диаго-
нали параллелограмма? Какая прямая соответ- 1111 17
17
17
17
c ствует центру параллелограмма?
D
28. Очевидно, что в антипараллелограмме Исходный
Исходный
Исходный цикл
Исходный цикл
цикл
цикл
d
ad=cb и ab=cd. Какому утверждению о па-
C
раллелограмме двойственен этот факт? Какие ещё 17
17
17
O 16 17
двойственные друг другу свойства параллелограм- 2222 16
16
16
b ма и антипараллелограмма вы можете указать?
A Равносторонник имеет одну пару параллель- 16
16
16
16
Двойственный цикл
Двойственный
Двойственный
Двойственный цикл
цикл
цикл
ных вершин, значит, двойственная ему фигура
B имеет пару параллельных сторон. Это — трапеция, 3333 15
15
15
15
если равносторонник невыпуклый (рис. 21, а), 15
15
15
15
a а в случае выпуклого равносторонника получается
псевдотрапеция — трапеция без боковых сторон,
Рис. 20 но с диагоналями (рис. 21, б). Отметим, что трапеции 444 14
14
14
и псевдотрапеции, двойственные равносторонни- 14
14
14
14
B кам, являются р а в н о б е д р е н н ы м и, поскольку
противоположные углы равносторонников равны. 5555 13
13
13
13
D b 29. Как выглядит антиромб?
a
c C 30. Какое свойство равносторонника двой-
d
ственно лемме о трапеции? 6666 12
12
12
12 13
13
13
A 13
Было бы заманчиво включить циклы в учение 7777 11
11
11
11
c D
d
о двойственности. Для этого надо выяснить, какой
8888 10
10
10
C объект двойственен циклу. Всякая точка цикла 9999 10
A двойственна некоторой прямой. Оказывается, все
b
а) B a эти прямые касаются одного и того же цикла! 12
12
12
12
Этот цикл (его называют огибающей линией для
указанного семейства прямых) разумно считать
B b двойственным исходному циклу (рис. 22).
a C
Докажем указанное утверждение. Рассмотрим
A
c все точки (p, ap2 +bp+c) некоторого цикла (p —
d произвольное число). Им соответствуют прямые
D 11
11
11
11
y=px−ap2 −bp−c.
Пусть все они касаются цикла y=kx2 +mx+n. 5555
d D 2222
c Тогда дискриминант квадратного уравнения 1111 4444 6666 7777
A C kx2 +mx+n=px−ap2 −bp−c 3333 8888 9999 10
10
10
10
b
должен быть нулевым для любого p. Это значит, что
a Рис. 22
б) B (m−p)2 −4k(n+ap2 +bp+c)=
Рис. 21 =(1−4ka)p2 −(2m+4kb)p+m2 −4kn−4kc=0
16 17
для любого p, что возможно только при Им соответствуют прямые y=(a−λ)x+l(a, b) и y=(c−λ)x+l(c, d).
Точке пересечения R этих прямых должна соответствовать прямая,
1−4ka=0,

проходящая через P и Q. Угловой коэффициент этой прямой равен




2m+4kb=0, d−b l(a, b)−l(c, d)

, а абсцисса точки R есть , следовательно,



( m2 −4kn−4kc=0.
 c−a c−a

1 b d−b l(a, b)−l(c, d)


Из полученной системы последовательно находим k= , m=− , = −λ,
4a 2a c−a c−a
b2 −4ac откуда
n= . Итак, циклу y=ax2 +bx+c двойственен цикл
4a l(a, b)−l(c, d)=d−b+λ(c−a),
2
1 2 b b −4ac т. е.
y= x − x+ .
4a 2a 4a l(a, b)+b+aλ=l(c, d)+d+cλ.
31. Проверьте, что циклу Это значит, что
1 2 b b2 −4ac l(a, b)+b+aλ=const.
y= x − x+
4a 2a 4a Обозначив эту константу через ν, получаем, что l(a, b)=ν−aλ−b,
а общий вид прямой, двойственной точке (a, b), будет таким:
двойственен цикл y=ax2 +bx+c.
32. Бывают ли самодвойственные циклы? y=(a−λ)x+ν−aλ−b.
Существуют ли Соответственно, точка, двойственная прямой y=kx+l, имеет ко-
ординаты (k+λ, ν−λ2 −kλ−l). Легко убедиться, что при любых λ
ДРУГИЕ СООТВЕТСТВИЯ ДВОЙСТВЕННОСТИ и ν указанное соответствие обладает всеми свойствами соответ-
ствия двойственности. Заметим также, что рассмотренное нами
между множеством точек и множеством прямых, т. е. соответ-
простейшее соответствие двойственности получается из общего при
ствия, удовлетворяющие требованиям двойственности?
λ=ν=0.
Да, существуют. Определим общий вид таких соответствий.
Пусть точке (a, b) соответствует прямая y=k(a, b)x+l(a, b). По-
скольку параллельным точкам должны соответствовать параллель- * **
ные прямые, а непараллельным — непараллельные, число k(a, b) Мы затронули лишь небольшой круг начальных понятий гео-
одинаково для всех точек с одинаковой абсциссой и разное для то- метрии Галилея, отталкиваясь от заданной группы преобразова-
чек с различными абсциссами. Значит, k(a, b) определяется только ний. Изложение наше носит, впрочем, существенный недостаток:
абсциссой точки: k(a, b)=k(a). Более того, требование соответствия мы постоянно апеллируем к евклидовой геометрии, пытаясь ввести
расстояния углу накладывает ограничение объекты, аналогичные евклидовым, перенести теоремы <школь-
ной> планиметрии в новую область, вместо того, чтобы предо-
a1 −a2 =k(a1 )−k(a2 )
ставить геометрии Галилея развиваться по своим внутренним за-
для любых a1 и a2 , откуда конам. Но для краткого введения в круг подобных вопросов,
наверное, необходимо от чего-то отталкиваться. И естественно
a1 −k(a1 )=a2 −k(a2 ), задаться вопросом
т. е. a−k(a)=const. Обозначив эту константу через λ, получаем:
k(a)=a−λ. Итак, точка (a, b) переходит в прямую ЧТО ДАЛЬШЕ?

y=(a−λ)x+l(a, b). Какие вопросы и проблемы могут возникнуть при дальнейшем


проникновении в глубины геометрии Галилея? По каким направле-
Далее, пусть даны две непараллельные точки P(a, b) и Q(c, d). ниям вести дальнейшее изучение? Мы очертим несколько вопросов
18 19
понятиям <центр цикла>, <диаметр цикла>? Верен ли аналог
теоремы об угле между хордой и касательной? Оказывается,
не лишено смысла понятие степени точки относительно цикла,
C3 а именно, если через данную точку A проведена произвольная
прямая, пересекающая цикл в точках B и C, то произведение
AB·AC не зависит от выбора секущей, а характеризует положе-
ние точки относительно цикла (рис. 24). Можно ли получить
B3
A выражение этого произведения через радиус цикла и расстояние
от точки до цикла? А как будет выглядеть радикальная ось двух
B2 циклов (множество точек, степени которых относительно двух
циклов равны)?
B1 C2 Существуют ли в геометрии Галилея преобразования подобия
и подобные фигуры? Обычная гомотетия в сочетании с движе-
C1 ниями не меняет углы, изменяя расстояние в одинаковое число
AB1  AC1 =AB2  AC2 =AB3  AC3
раз. Но есть и другое преобразование, также со свойствами подо-
бия — сжатие к оси абсцисс, при котором каждая точка движется
Рис. 23 Рис. 24 по окружности, изменяя в заданное количество раз расстояние от
неё до оси абсцисс (рис. 25). Это подобие не изменяет расстояний,
но меняет углы в фиксированное количество раз, оно как бы двой-
ственно обычному подобию. Какой точный смысл стоит за этой
для исследования, причём трудность зачастую окажется не в до- видимой двойственностью? Каковы признаки и свойства подобных
казательстве, а в формулировке предложений. Ответить на чёткий треугольников?
вопрос чаще легче, чем задать его, поскольку, как сказано в одном В евклидовой геометрии инверсия — пример преобразования,
из рассказов Роберта Шекли, <чтобы правильно задать вопрос, на- переводящего окружности и прямые в окружности и прямые.
до знать бо́льшую часть ответа>. Есть ли аналог инверсии в геометрии
Как выглядит в геометрии Галилея теория площадей? Можно Галилея? y
определить площадь треугольника как полупроизведение высо- Геометрию принято считать клас- yA A
ты на основание, эта величина, как легко проверить, не зави- сическим примером теории, построен-
сит от выбора вершины ориентированного треугольника. Какие ной на чёткой системе аксиом; такой
ещё формулы для площади треугольника будут справедливы? Как подход общепринят по крайней мере
вычислить площадь многоугольника? со времён Евклида. Можно ли сформу- yB
Какие ещё свойства евклидовой окружности имеют аналоги B
лировать аксиомы, задающие геоме- α
для цикла в геометрии Галилея? Некоторые факты можно из- трию Галилея? К каким объектам они
влечь из книги [2], где теория циклов развита довольно глубоко должны относиться? Насколько похо-
(доказывается, например, аналог теоремы Фейербаха: вписанный жи будут аксиомы геометрий Евклида kyA A0

в треугольник цикл касается цикла, проходящего через середи- и Галилея? Эти вопросы представля- kyB
ны сторон треугольника, рис. 23), а также из [5], где с разных ются тонкими и сложными. Совпаде- B
0

точек зрения обсуждается параллелизм свойств параболы и окруж- ние большого количества теорем в обе- x
l их геометриях заставляет думать, что
ности. Докажите, например, что величина , где l — длина
2α это влияние общих аксиом. Возможно, kyC 0
C
хорды цикла, а α — величина опирающегося на неё вписанно- в этих геометриях есть существенная
го угла, постоянна для данного цикла. Эту величину естественно общая часть, подобно тому, как аб- yC C
1 солютная геометрия является частью
назвать радиусом цикла. Для цикла y=ax2 +bx+c она равна
2a и геометрии Евклида, и геометрии
(убедитесь в этом). Можно ли придать какой-то разумный смысл Лобачевского. Рис. 25
20 21
ЗАДАЧИ ДЛЯ САМОСТОЯТЕЛЬНОГО РЕШЕНИЯ
33. Продолжения противоположных сторон четырёхугольника
попарно пересекаются в точках P и Q. Докажите, что если точ-
P ки P и Q параллельны, то биссектрисы углов P и Q проходят
через точку пересечения диагоналей четырёхугольника (рис. 26).
34. Как выглядит геометрическое множество точек, равно-
удалённых от данной точки и данной прямой?
C 35. Даны точка A и прямая l. Найдите геометрическое место
точек X таких, что расстояние от X до A равно углу между
A прямыми XA и l.
36. Всякое ли движение геометрии Галилея является цикли-
ческим поворотом?
37. Сколько точек пересечения могут иметь цикл и двойствен-
B
ный ему? Какие прямые соответствуют этим точкам?
38. Вокруг треугольника ABC описан цикл, к которому в точ-
ках A, B, C проведены касательные. Докажите, что касательные
в пересечении образуют треугольник, стороны которого вдвое
меньше сторон исходного треугольника, а углы — вдвое больше
Q углов исходного треугольника (рис. 27).
39. Докажите, что цикл, проходящий через середины сторон тре-
угольника, проходит также и через основания его высот (рис. 28).
Рис. 26 Рис. 27 40. Даны две параболы с параллельными осями, A и B —
точки их пересечения, MN — хорда одной из парабол. Прямые
AM и BN вторично пересекают другую параболу в точках P и Q.
Докажите, что прямые PQ и MN параллельны (рис. 29).
N
З а м е ч а н и е. Эта задача сформулирована и может быть
решена в рамках евклидовой геометрии. Однако её решение ста-
новится очень простым, если понимать её как задачу геометрии
M Галилея.

ЛИТЕРАТУРА
[1] Я г л о м И. М. Геометрические преобразования: В 2-x ч. —
A Ч. 1: Движения и преобразования подобия. — М.: Гостехиздат,
1955; Ч. 2: Линейные и круговые преобразования. — М.: Гос-
B
P техиздат, 1956.
[2] Я г л о м И. М. Принцип относительности Галилея и неевкли-
дова геометрия. — М.: Наука, 1969.
Q [3] К л е й н Ф. Элементарная математика с точки зрения выс-
шей. — Т. 2: Геометрия. — М.: Наука, 1987.
[4] Е ф и м о в Н. В. Высшая геометрия. — М.: Наука, 1978.
Рис. 28 Рис. 29
[5] М а р к е л о в С. В. Парабола как окружность // Математиче-
ское образование. — 1998. — № 3—4; // X летняя конференция
Турнира городов / Отв. ред. М. Н. Вялый. — М.: МЦНМО,
1999.
22 23
y
ОТВЕТЫ, УКАЗАНИЯ, РЕШЕНИЯ и x0 =xA +1, то
++bbbb2222
kk xxxx++ 22
1. Пусть g=[a, b, c], h=[−a, −b, ba−c]. Имеем: ∠(l1 , l2 )=(k2 −k1 )x0 +(b2 −b1 )=(k2 −k1 )(xA +1)+ yyy====kk222222
ℓℓℓℓ22222:2::: y C(x , y )
+(b2 −b1 )=((k2 −k1 )xA +(b2 −b1 ))+(k2 −k1 )=k2 −k1 . C C
g(x, y)=(x+a, y+bx+c), A(xAAAA,,,, yyyyAAAA))))
A(x
A(x
A(x AA AA
(h◦g)(x, y)=h(g(x, y))=h(x+a, y+bx+c)= 6. Если прямая m: y=kx+l образует равные
=((x+a)−a, (y+bx+c)−b(x+a)+(ba−c))=(x, y). углы с прямыми m1 : y=k1 x+l1 и m2 : y=k2 x+l2 , ℓ11ℓℓ1ℓ :: B(xB , yB )
111 :: yyyy
то ∠(m, m1 )=k1 −k=k2 −k= ∠(m, m2 ), откуда k1 = ====kkkk
111111xxxx++
Тем самым h◦g=[0, 0, 0]=id, т. е. h=g−1 — обратное к g преобразование. =k2 , значит, m1 km2 . ++bbbb
2. Чтобы движение f=[a, b, c] переводило прямую y=kx+l в прямую y= Пусть m1 : y=k1 x+l1 , m2 : y=k2 x+l2 , m3 : y= 111 1111
=k1 x+l1 , необходимо, чтобы все точки (x, y)=(x, kx+l) первой прямой после =k3 x+l3 — три прямые, причём m1 km3 и m2 km3 . 1
применения движения f оказывались на второй прямой. Для этого равенство Тогда k1 =k3 и k2 =k3 , значит, k1 =k2 и m1 km2 . xA x0 x
7. О т в е т: в геометрии Галилея признак ра-
kx+l+bx+c=k1(x+a)+l1 венства треугольников по стороне и двум углам, Рис. 30
прилегающим к ней, справедлив, а признак равен-
должно выполняться для всех x. Значит, ства по трём сторонам — нет.
Докажем признак равенства треугольников по
k+b=k1 ,


стороне и двум прилегающим к ней углам. Пусть

(*)


для треугольников ABC и A′ B′ C′ выполнены ра-

( l+c=k1a+l1 .


венства AB=A′ B′ , ∠CAB= ∠C′ A′ B′ , ∠CBA= ∠C′ B′ A′ .
Для любых значений k, l, k1 , l1 , очевидно, можно подобрать числа a, b, c для кото- Рассмотрим движение g, переводящее отрезок AB
рых выполняется система (*), причём таких подходящих троек (a, b, c) бесконечно в отрезок A′ B′ ; такое движение существует, посколь-
много. Имеющаяся степень свободы соответствует тому, что совместив прямую y= ку выполнено равенство AB=A′ B′ , и единственно.
=kx+l с прямой y=k1 x+l1 , затем её можно ещё сдвинуть параллельно последней. Поскольку любое движение сохраняет углы, образ
Все такие движения (как следует из (*)) исчерпываются формулой f=[a, k1 −k, точки C лежит на прямой, составляющей с прямой
k1 a+l1 −l] (a — произвольное число). A′ B′ угол, равный ∠CAB; а так как ∠CAB= ∠C′ A′ B′ ,
3. Движение g=[a, b, c] переводит прямую y=kx+l в прямую y=(k+b)x+ образ точки C лежит на прямой A′ C′ . Аналогично
+(l+ba+c). Поэтому параллельные прямые — прямые с одинаковыми угловыми показывается, что образ точки C лежит и на прямой
коэффициентами — переходят в прямые с одинаковыми угловыми коэффициента- B′ C′ . Значит, C=C′ , и движение g переводит тре-
ми, т. е. в параллельные. угольник ABC в треугольник A′ B′ C′ , т. е. они равны. Рис. 31
Две параллельные прямые являются графиками движения двух скреплённых То, что нет признака равенства треугольников
тел (например, двух вагонов одного поезда), которые, естественно, движутся с оди- по трём сторонам, понятно из рис. 31.
наковыми скоростями (это выражает равенство угловых коэффициентов прямых), 8. Понятно, что биссектриса угла A треуголь- HC
но в разных точках пространства. ника ABC проходит через середины высот BHB
4. Если точки A1 (x1 , y1 ) и A2 (x2 , y2 ) переходят при движении f=[a, b, c] в точ- и CHC , биссектриса угла B — через середины высот
ки B1 (x′1 , y′1 ) и B2 (x′2 , y′2 ), то AHA и CHC , биссектриса угла C — через середины
высот AHA и BHB (рис. 32). Отсюда следует, что
x′1 =x1 +a, x′2 =x2 +a, y′1 =y1 +bx1 +c, y′2 =y2 +bx2 +c, точки IA , IB , IC пересечения биссектрис треуголь-
ника совпадают с серединами высот. А поэтому
следовательно, стороны треугольника IA IB IC равны сторонам тре-
x′2 −x′1 =x2 −x1 , y′2 −y′1 =y2 −y1 +b(x2 −x1 ). угольника ABC. Кроме того, HA
IC
Поэтому ∠IA IC IB = ∠IA IC A=
d(B1 , B2 )=x′2 −x′1 =x2 −x1 =d(A1 , A2 ), B
IA A 1 1
= ∠HA CA= ∠BCA=− ∠ACB,
если же x1 =x2 , то x′1 =x′2 , и HA A 2 2

dособ. (B1 , B2 )=y′2 −y′1 =y2 −y1 +b·0=dособ.(A1 , A2 ). ∠IB IA IC = ∠CIA IC = IA

5. Пусть A(xA , yA ) — точка пересечения прямых l1 и l2 , а точки B(xB , yB ) IC C 1 1 IB


= ∠CAHC = ∠CAB=− ∠BAC, C
и C(xC , yC ) соответственно — точки пересечения этих прямых с единичной окруж- HC C 2 2
ностью, вдоль которой измеряется угол ∠(l1 , l2 ), рис. 30. Имеем:
∠IC IB IA = ∠IC IB C= HB
∠(l1 , l2 )=d(B, C)=yC −yB =(k2 xC +b2 )−(k1 xB +b1 )=(k2 −k1 )x0 +(b2 −b1 ), A
I C 1 1
где x0 =xB =xC . Поскольку yA =k1 xA +b1 =k2 xA +b2 , т. е. (k2 −k1 )xA +(b2 −b1 )=0, = C ∠HC BC= ∠ABC=− ∠CBA. Рис. 32
HC C 2 2
24 25
9. У к а з а н и е: воспользуйтесь результатом упражнения 8. Для произвольного же равносторонника можно лишь C
10. О т в е т: не существуют. Предположим, что существует равносторонний утверждать, что его диагонали перпендикулярны, посколь-
треугольник ABC, тогда, с одной стороны, поскольку периметр любого треугольника ку одна из них является особой прямой.
равен нулю, то AB+BC+CA=0, с другой стороны, |AB|=|BC|=|CA|6= 0. Но одно- CD CD
17. Имеем: ∠CAD= , ∠CBD= (рис. 34). Поэто- B
временно эти два условия выполняться не могут. AD BD
11. О т в е т: да, в любом. Доказательство практически ничем не отличается му равенство ∠CAD= ∠CBD равносильно равенству AD=
от доказательства соответствующего утверждения евклидовой геометрии. =BD, значит, точки A и B лежат на одной окружности. D
12. Обозначим координаты вершин треугольника: A(xA , yA ), B(xB , yB ), C(xC , yC ). 18. О т в е т: да, верно. Рассмотрим трапецию ABCD
Согласно результату упражнения 5 величина ∠ACB равна разности угловых коэф- (ABkCD, A(xA , yA ), B(xB , yB ), C(xC , yC ), D(xD , yD )), вписан- A
фициентов прямых CB и AC, т. е. ную в цикл y=ax2 +bx+c. Поскольку ABkCD, то
yB −yC y −yA x y −xA yB −xC yC +xA yC −xB yC +xB yA +xC yC −xC yA Рис. 34
∠ACB= − C = C B = yB −yA y −yC
xB −xC xC −xA (xB −xC )(xC −xA ) = D . (**)
xB −xA xD −xC
xA (yC −yB )+xB (yA −yC )+xC (yB −yA )
= . Заметим, что
(xC −xB )(xA −xC )
yB −yA =ax2B +bxB +c−ax2A −bxA −c=(xB −xA )(a(xA +xB )+b),
Поэтому
AB (xC −xB )(xA −xC )(xB −xA ) и, аналогично, yD −yC =(xD −xC )(a(xC +xD )+b). Значит, равенство (**) равносильно
= . такому:
∠ACB xA (yC −yB )+xB (yA −yC )+xC (yB −yA )
a(xA +xB )+b=a(xC +xD )+b,
Полученное выражение не меняется при циклических перестановках индексов
A→B→C→A, следовательно, откуда xA +xB =xC +xD . Это равенство можно переписать в виде xC −xB =xA −xD .
Поэтому BC=DA.
AB BC CA Заметим, что обратное утверждение неверно. Покажите самостоятельно, что
= = .
∠ACB ∠BAC ∠CBA равнобедренную трапецию ABCD (ABkCD) можно вписать в цикл тогда и только
тогда, когда выполнено равенство xA +xB =xC +xD (это равенство равносильно тому,
13. О т в е т: да, справедлива. Пусть L — точка пересечения биссектрисы что середины оснований трапеции лежат на особой прямой).
угла C треугольника ABC со стороной AB; ∠ACL= ∠LCB, ∠CLA= ∠CLB. По теореме 19. Подвергнем цикл y=kx2 +mx+n движению [a, b, c]. При этом движе-
синусов (см. упражнение 12) для треугольников ALC и CLB имеем: нии каждая его точка (x, y)=(x, kx2 +mx+n) переходит в точку (x′ , y′ )=(x+a,
AL CA LB BC kx2 +mx+n+bx+c). Чтобы все такие точки лежали на некотором цикле y′ =px′2 +
= , = . +qx′ +r, равенство
∠ACL ∠CLA ∠LCB ∠BLC
Разделив первое из этих равенств на второе, получим: kx2 +mx+n+bx+c=p(x+a)2 +q(x+a)+r,
kx +(m+b)x+(n+c)=px2 +(2ap+q)x+(r+aq+a2 p)
2
AL CA AL AC
= или = .
LB BC LB CB должно выполняться для всех x, что возможно лишь при
14. В евклидовой геометрии диагонали четырёхугольника делятся точкой пе- 


 k=p,
ресечения пополам тогда и только тогда, когда этот четырёхугольник является 

 m+b=2ap+q,
параллелограммом. Осталось вспомнить, что параллелограммы в геометрии Гали-



лея являются параллелограммами и с точки зрения геометрии Евклида. ( n+c=r+aq+a2p.


15. Обозначим угловые коэффициенты сторон четырёхугольника ABCD через
kAB , kBC , kCD , kDA . Тогда равенства противоположных углов можно записать сле- Из этой системы находим, что p=k, q=m+b−2ak, r=n+c−am−ab+a2k.
дующим образом: kAB −kBC =kCD −kDA , kBC −kCD =kDA −kAB . Складывая и вычитая Следовательно, при движении [a, b, c] цикл y=kx2 +mx+n переходит в цикл
друг из друга эти равенства, получаем: 2kAB =2kCD y2 =kx2 +(m+b−2ak)x+n+c−am−ab+a2k.
и −2kBC =−2kDA . Значит, ABkCD, BCkDA. 20. Точка (x, y)=(x, ax2 +bx+c) цикла y=ax2 +bx+c при движении [λ, m, n],
B 16. Действительно, диагонали ромба перпен- переводящем цикл в себя, получает координаты (x+λ, ax2 +bx+c+m(x+λ)+n)
дикулярны (поскольку одна из них, очевидно, и должна опять лежать на цикле y=ax2 +bx+c, т. е. при любом x должно выпол-
C является окружностью, т. е. особой прямой). Ес- няться равенство
ли считать, что особая прямая составляет равные a(x+λ)2 +b(x+λ)+c=ax2 +bx+c+m(x+λ)+n.
A углы со всеми прямыми, можно утверждать, что
BD — биссектриса углов B и D ромба. Диагональ Преобразуем его:
D AC делит пополам углы A и C, поскольку она де-
лит пополам <особую диагональ> BD, ведь каждый ax2 +2aλx+aλ2 +bx+bλ+c−ax2 −bx−c−mx−mλ−n=0,
Рис. 33 ромб — это параллелограмм (рис. 33). x(2aλ−m)+(aλ2 +bλ−mλ−n)=0.
26 27
y
Т р е т ь е д о к а з а т е л ь с т в о (с использо-
ванием геометрического определения параболы). Геоме-
трическое определение параболы гласит: парабола — это
множество точек, равноудалённых*) от данной точки F
(фокуса параболы) и данной прямой d (директрисы пара-
болы), рис. 36. Для параболы y=x2 фокус — это точка
 1 1
 
F 0, , а директриса имеет уравнение y=− (проверьте F
4 4
x
это самостоятельно). Докажем утверждение, называемое
оптическим свойством параболы, а именно, что каса- d
тельная к параболе в точке M является биссектрисой
угла FMG (G — основание перпендикуляра, опущенного Рис. 36
из точки M на директрису), рис. 37. Предположим, что
биссектриса угла FMG не является касательной и име-
ет (кроме M) ещё одну точку пересечения с параболой,
обозначим её буквой N (рис. 38), опустим из N перпен-
дикуляр NH на директрису. Поскольку точка M лежит
на параболе, то FM=MG, значит, MN — биссектриса M
Рис. 35 равнобедренного треугольника FMG, а значит, и высота,
и медиана. Другими словами, MN является серединным
Получаем систему уравнений для m и n: перпендикуляром к FG, следовательно, FN=NG. Кроме
того, поскольку точка N лежит на параболе, то для неё F
2aλ−m=0,



 верно равенство FN=NH. Мы получили противоречие:
( aλ2 +bλ−mλ−n=0. d G

 перпендикуляр NH не может быть равен наклонному
2 2
отрезку NG, значит, биссектриса угла FMG имеет един- Рис. 37
Откуда m=2aλ, n=bλ−aλ . Значит, все движения [λ, 2aλ, bλ−aλ ] и только они ственную общую точку с параболой (точку M), и, тем
переводят цикл y=ax2 +bx+c в себя. самым, является касательной. Заметим, что мы также
Поскольку в формулу движений, сохраняющих фиксированный цикл y= доказали, что касательная к параболе в точке M(x0 , x20 )
=a0 x2 +b0 x+c0 , не входит c0 , эти движения сохраняют и все циклы y=a0 x2 + проходит через середину отрезка FG (рис. 38), имеющую
+b0 x+c (с произвольными значениями c); все точки плоскости как бы сдвигаются M
 x
 
вдоль этих циклов (рис. 35). Поэтому не любую точку плоскости можно перевести координаты  0 , 0. Теперь, зная координаты уже двух

таким движением в некоторую фиксированную. 2
N
21. Докажем, что касательная к параболе y=x2 в точке M(x0 , x20 ) имеет точек, лежащих на касательной, несложно написать её
уравнение y=2x0 x−x20 . Тем самым и будет доказано, что для каждого углового уравнение.
коэффициента k существует единственная касательная к параболе y=x2 с угловым 22. Пусть цикл задан уравнением y=ax2 +bx+c,
 k k2 
  и пусть к нему проведены две касательные из точки F
коэффициентом k — таковой будет касательная в точке  , , и только она.
(x0 , y0 ) (рис. 39). Обозначим координаты точек касания
2 4
П е р в о е д о к а з а т е л ь с т в о (с использованием определения каса- через (x1 , y1 ) и (x2 , y2 ). Поскольку касательная к циклу d H G
тельной как предельного положения секущей). Касательная к параболе в точке y=ax2 +bx+c, проведённая в точке (x′ , ax′2 +bx′ +c),
имеет уравнение y=(2ax′ +b)x+c−ax′ (см. решение пре- Рис. 38
M(x0 , x20 ) — это предельное положение прямой M1 M2 , где M1 (x0 −ε, (x0 −ε)2 ),
M2 (x0 +ε, (x0 +ε)2 ) при ε→0. Вычислим угловой коэффициент k′ прямой M1 M2 : дыдущего упражнения), то

(x0 +ε)2 −(x0 −ε)2 4x ε y0 =(2ax1 +b)x0 +c−ax21 =(2ax2 +b)x0 +c−ax22.

c
k′ = = 0 =2x0 .

+ bx +
(x0 +ε)−(x0 −ε) 2ε Это равенство можно переписать в виде 2a(x1 −x2 )x0 =

y = ax 2
Значит, и касательная к параболе в точке M имеет угловой коэффициент 2x0 . x +x2 (x1 , y1 )
Осталось подобрать свободный член b уравнения y=2x0 x+b этой касательной, так =a(x1 −x2 )(x1 +x2 ), откуда x0 = 1 . Поэтому
2
чтобы касательная проходила через точку M(x0 , x20 ). Имеем: x20 =2x0 ·x0 +b, откуда
b=−x20 . |d((x1 , y1 ), (x0 , y0 ))|=|x0 −x1 |= (x2 , y2 )
В т о р о е д о к а з а т е л ь с т в о (с использованием производной). Те, кто
знаком с понятием производной, знают, что уравнение касательной к графику =|x0 −x2 |=|d((x2 , y2 ), (x0 , y0 ))|.
функции y=f(x) в точке (x0 , y0 ) имеет вид y=f′ (x0 ) x+(y0 −f′ (x0 ) x0 ). Поскольку
(x2 )′ =2x, то уравнение касательной к параболе — это в точности y=2x0 x−x20 . *) Здесь и далее в тексте доказательства все термины (x0 , y0 )
Фактически, первое доказательство ничем не отличается от этого, и там, и здесь (расстояние, угол, биссектриса и т. п.) понимаются в ев-
мы вычисляли производную функции x2 . клидовом смысле. Рис. 39
28 29
b C 23. 1) Рассмотрим точку A(p, q) и прямую l: y=rx+s. точки из леммы о трапеции лежат не на прямой, а на особой прямой (т. е.
B При соответствии (α, β) ↔ y=αx−β им соответствуют пря- параллельны)! Правильный перевод такой:
o c мая a: y=px−q и точка L(r, −s). Нам надо проверить, что
p Точка пересечения . . . . . . . . . . . Прямая, проходящая через
a Q если A лежит на l, то L лежит на a, т. е. что из равенства
q=pr+s следует равенство −s=pr−q. Но это, очевидно, так. продолжений непараллельных сторон, . . . непараллельные вершины,
D точка пересечения . . . . . . . . . . . прямая, проходящая через
A d 2) Рассмотрим теперь точки A(p, q) и B(r, s) и соответ-
ствующие им прямые a: y=px−q и b: y=rx−s. Имеем: прямых, соединяющих . . . . . . . . . точки пересечения
d(A, B)=r−p, а согласно результату упражнения 5, ∠(a, b)= противоположные вершины, . . . . . . . противоположных сторон,
c =r−p. Значит, и в самом деле, d(A, B)= ∠(a, b). середины . . . . . . . . . . . . . . . биссектрисы углов
D 24. Если точка (a, b) лежит на двойственной себе пря- параллельных сторон . . . . . . . . . . при параллельных вершинах
р а в н о б е д р е н н о й трапеции . . . . . . равносторонника
1 п а р а л л е л ь н ы. . . . . . . . . . . . п а р а л л е л ь н ы (рис. 42).
d мой y=ax−b, то b=a2 −b, т. е. b= a2 . Множество таких
C 2
1 31. Пусть циклу
P O точек представляет собой цикл y= x2 (являющийся само-
2
q 1 2 b b2 −4ac
b двойственным, см. упражнение 32). y= x − x+ =a′ x2 +b′ x+c,
4a 2a 4a
A 25. У треугольника, двойственного равнобедренному,
равны две стороны, поскольку у исходного равнобедренного 1 b b2 −4ac
B треугольника равны углы при основании. где a′ = , b′ =− , c′ = двойственен цикл y=a′′ x2 +b′′ x+c′′ . Тогда
4a 2a 4a
26. Утверждение задачи 9 является двойственным та-
a кому: середина стороны треугольника и противолежащая ей b

вершина параллельны (лежат на одной окружности) тогда 1 1 b′ 2a
a′′ = = =a, b′′ =− =− =b,
и только тогда, когда треугольник равнобедренный. 4a′ 1 2a′ 1
Рис. 40 4· 2·
27. Второй диагонали параллелограмма соответствует 4a 4a
точка P пересечения продолжений противоположных сторон
антипараллелограмма (рис. 40). Центру параллелограмма соответствует прямая OP,  2 2
  −4· 1 · b −4ac
 b 
соединяющая точки, соответствующие диагоналям параллелограмма (см. рис. 40). ′2
b −4a c ′ ′
2a 4a 4a
28. Равенствам ad=cb, ab=cd для антипараллелограмма двойственны ра- c′′ = = =
4a′ 1
венства ∠(a, d)= ∠(c, b), ∠(a, b)= ∠(c, d) противоположных углов параллелограмма. 4·
4a
Например, двойственными являются и следующие утверждения:
1 b2 1 b2 −4ac
· − ·
диагонали параллелограмма делятся прямая q (см. рис. 40) делит пополам a 4a a 4a b2 b2 −4ac
↔ = = − =c.
точкой пересечения пополам углы между прямыми ab и cd, ad и cb; 1 4a 4a
a
противоположные стороны AB и DC, противоположные углы ∠(A, B) 32. Цикл y=ax2 +bx+c является самодвойствен- Рис. 41
BC и DA параллелограмма равны ↔ и ∠(D, C), ∠(B, C) и ∠(D, A) антипа- ным, если и только если
по длине раллелограмма равны.
1 b b2 −4ac
=a, − =b, =c.
29. Согласно определению, ромб — это параллелограмм, у которого две проти- 4a 2a 4a
воположные вершины параллельны. Поэтому антиромб — это антипараллелограмм,
у которого две противоположные стороны параллельны (рис. 41). 1
Из первого равенства следует, что a=± . Из второго
30. Переведём <пословно> лемму о трапеции на <двойственный язык>. 2
1
понятно, что при b6= 0 годится лишь a=− . Перепи-
Точка пересечения . . . . . . . . . . . Прямая, проходящая через 2
продолжений непараллельных сторон, . . . непараллельные вершины, b2 +2c b2
точка пересечения . . . . . . . . . . . прямая, проходящая через шем третье равенство: =c, или c=− . При
−2 4
прямых, соединяющих . . . . . . . . . точки пересечения 1
противоположные вершины, . . . . . . . противоположных сторон, b=0 годятся оба значения a=± ; из третьего ра-
2
середины . . . . . . . . . . . . . . . биссектрисы углов венства следует, что в этом случае обязательно c=0.
параллельных сторон . . . . . . . . . . при параллельных вершинах Значит, самодвойственными являются циклы
трапеции . . . . . . . . . . . . . . . равносторонника
лежат на одной прямой. . . . . . . . . . пересекаются в одной точке. 1 1 b2
y= x2 и y=− x2 +bx−
2 2 4
Вообще говоря, полученное двойственное утверждение неверно. Дело в том,
что мы забыли учесть то, что трапеция является равнобедренной, а для неё четыре (b — произвольное число) и только они. Рис. 42
30 31
БИБЛИОТЕКА <МАТЕМАТИЧЕСКОЕ ПРОСВЕЩЕНИЕ>
1. В.М.Тихомиров Великие математики прошлого и их вели-
кие теоремы
2. А.А.Болибрух Проблемы Гильберта (100 лет спустя)
3. Д.В.Аносов Взгляд на математику и нечто из неё
4. В.В.Прасолов Точки Брокара и изогональное сопряжение
5. Н.П.Долбилин Жемчужины теории многогранников
6. А.Б.Сосинский Мыльные плёнки и случайные блуждания
7. И.М.Парамонова Симметрия в математике
8. В.В.Острик, Алгебраическая геометрия и теория чисел:
ОГЛАВЛЕНИЕ М.А.Цфасман рациональные и эллиптические кривые
Введение . . . . . . . . . . . . 3 9. Б.П.Гейдман Площади многоугольников
10. А.Б.Сосинский Узлы и косы
Преобразования Галилея . . . . . 4 11. Э.Б.Винберг Симметрия многочленов
Прямые . . . . . . . . . . . . . . 5
Расстояние между точками . . . . 6 12. В.Г.Сурдин Динамика звёздных систем
Окружность . . . . . . . . . . . . 6 13. В.О.Бугаенко Уравнения Пелля
Углы . . . . . . . . . . . . . . . 7 14. В.И.Арнольд Цепные дроби
Треугольники . . . . . . . . . . . 8 15. В.М.Тихомиров Дифференциальное исчисление (теория и при-
Четырёхугольники . . . . . . . . 10 ложения)
Цикл . . . . . . . . . . . . . . . 12
16. В.А.Скворцов Примеры метрических пространств
Двойственность . . . . . . . . . . 14
Другие соответствия двойственности 18 17. В.Г.Сурдин Пятая сила
Что дальше? . . . . . . . . . . . 19 18. А.В.Жуков О числе π
19. А.Г.Мякишев Элементы геометрии треугольника
З а д а ч и д л я с а м о с т о я т е л ь-
н о г о р е ш е н и я . . . . . . . . . 22 20. И.В.Ященко Парадоксы теории множеств
21. И.Х.Сабитов Объёмы многогранников
Литература . . . . . . . . . . 23
22. А.Л.Семёнов Математика текстов
О т в е т ы, у к а з а н и я, р е ш е н и я 24 23. М.А.Шубин Математический анализ для решения фи-
зических задач
24. А.И.Дьяченко Магнитные полюса Земли
25. С.М.Гусейн-Заде Разборчивая невеста
26. К.П.Кохась Ладейные числа и многочлены
27. С.Г.Смирнов Прогулки по замкнутым поверхностям
28. А.М.Райгородский Хроматические числа
29. С.Б.Гашков Системы счисления и их применение
30. Ю.П.Соловьёв Неравенства
31. В.Ю.Протасов Максимумы и минимумы в геометрии
32. А.В.Хачатурян Геометрия Галилея