Общие свойства выпуклых фигур

Определение 1.1.1. Плоская фигура называется выпуклой, если она целиком содержит прямолинейный отрезок, соединяющий любые две принадлежащие фигуре точки.

 

Рис. 1.1.1

 

Так, на рис. 1.1.1 фигуры а),б), в) выпуклые фигуры, а фигура на рисунке 1.1.1 г) не выпукла. Круг и треугольник являются выпуклыми фигурами, четырехугольник же может быть как выпуклым, так и невыпуклым в зависимости от того, пересекаются ли его диагонали внутри или вне четырехугольника (рис. 1.1.2 а, б). [1, 38]

 

Рис. 1.1.2

 

Определение 1.1.2. Пересечениемдвух (или нескольких) фигур называется фигура, состоящая из всех точек, принадлежащих обеим (или всем, если их несколько) фигурам.

Определение 1.1.3. Фигура называется ограниченной, если она целиком помещается внутри некоторой окружности. [8, 13]

Например, всякий параллелограмм, треугольник, круг, а также все фигуры, изображенные на рис. 1.1.1, являются ограниченными фигурами.

На рис. 1.1.3 изображено несколько неограниченных фигур; из них выпуклыми являются фигуры а)(полуплоскость), б)(полоса), в)(угол) и г).

 

Рис. 1.1.3

 

По отношению ко всякой плоской фигуре все точки плоскости делятся на три категории: внутренние, внешние и граничные. [8, 14]

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

Внутренними точками фигуры будут, например, точки А и А' на рис. 1.1.4.

 

Рис. 1.1.4

Определение 1.1.5. Точка называется внешней по отношению к фигуре, если существует круг с центром в этой точке, не содержащий точек фигуры.

Примером внешней точки по отношению к фигуре является точка В на рис. 1.1.4.

Определение 1.1.6. Точка фигуры называется граничной, если любой круг с центром в данной точке, всегда будет содержать как точки, принадлежащие фигуре, так и точки, не принадлежащие ей.

Например, точка С на рис. 1.1.4 является примером граничной точки фигуры. [7, 185]

Граничные точки фигуры образуют некоторую линию — кривую или ломаную. Эта линия называется границей фигуры. Если плоская линия является границей некоторой выпуклой фигуры, то она называется выпуклой кривой, или — в том случае, когда эта линия ломаная,— выпуклым многоугольником. [7, 186]

Определение 1.1.7. В ыпуклым многоугольником называют и плоскую фигуру, и линию — границу этой фигуры.

Определение 1.1.8. Точками, принадлежащими фигуре, или, точками фигуры, называют все ее внутренние или граничные точки.

Определение 1.1.9. Если множество содержит все свои граничные точки, то оно называется замкнутым. Если же множество не содержит ни одной своей граничной точки, т.е. состоит из одних внутренних точек, то оно называется открытым. [7, 15]

Определение 1.1.10. Одномерные выпуклые фигуры это линии, обладающие тем свойством, что отрезок АВ,соединяющий любые две точки А и В такой линии, целиком принадлежит ей. [8, 16]

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

Двумерные (плоские) выпуклые фигуры могут быть весьма разнообразны (см., например, фигуры а), б), в)на рис. 1.1.1 и а), б), в), г)на рис. 1.1.3).

Определение 1.1.11. Отрезокэто ограниченная одномерная выпуклая фигура.

Пусть Ф — произвольная плоская фигура.

Определение 1.1.12. Прямая l называется опорной прямой фигуры Ф, если она проходит хотя бы через одну граничную точку фигуры Ф и вся фигура Ф расположена по одну сторону от прямой l (рис. 1.1.5).

 

Рис. 1.1.5

Например, прямая, проведенная через вершину треугольника параллельно противолежащей стороне (рис. 1.1.6, а),или сторона треугольника (рис. 1.1.6,6)являются опорными прямыми треугольника; каждая сторона выпуклого многоугольника является его опорной прямой. Касательная к окружности является опорной прямой для круга, ограниченного этой окружностью (рис. 1.1.6, в).Опорная прямая может иметь с выпуклой ограниченной фигурой или единственную общую точку (см., например, рис. 1.1.6, а, в),или целый общий отрезок (рис. 1.1.6, б);если выпуклая фигура не ограничена, то опорная прямая может даже целиком принадлежать фигуре (рис. 1.1.6, г). [8, 18]

 

Рис. 1.1.6

 

Опорную прямую выпуклой фигуры Ф можно также определить следующим образом:

Определение 1.1.13. Опорная прямая выпуклой фигуры Ф - это такая прямая, которая содержит граничные точки фигуры, но не содержит ни одной ее внутренней точки.

Действительно, прежде всего ясно, что опорная прямая не может содержать внутренней точки А фигуры: в противном случае точки фигуры Ф, расположенные внутри некоторой окружности с центром в точке А,находились бы по обе стороны от опорной прямой (рис. 1.1.7). С другой стороны, если прямая l не содержит внутренних точек выпуклой фигуры Ф, то вся фигура должна быть расположена по одну сторону от l. Действительно, пусть А — какая-нибудь внутренняя точка Ф. Если бы какая-либо (внутренняя или граничная) точка В фигуры находилась по другую сторону от прямой l, чем точка А (рис. 1.1.8), то точка пересечения прямой l с отрезком АВ была бы внутренней точкой Ф (см. задачу 1.1.3 а, б). [8, 19]

 

Теорема 1.1.1. К каждой ограниченной выпуклой фигуре можно провести в точности две опорные прямые, параллельные данному направлению.

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

Для того чтобы это доказать, проведем через каждую точку ограниченной выпуклой фигуры Ф прямую, параллельную данному направлению (рис. 1.1.9). Все эти прямые пересекают произвольную прямую, перпендикулярную к выбранному направлению, по одномерной выпуклой фигуре (если А и В — две произвольные точки пересечения нашей совокупности прямых с перпендикулярной к ним прямой, а С—произвольная точка отрезка АВ,то С тоже должна принадлежать этому пересечению; это нетрудно видеть из рис. 1.1.9, если воспользоваться выпуклостью фигуры Ф). Следовательно, это пересечение должно быть отрезком прямой линии (ограниченность пересечения вытекает из ограниченности фигуры Ф), а совокупность прямых, параллельных заданному направлению, проведенных через все точки Ф, должна представлять собой полосу. Крайние (граничные) прямые l ₁ и l ₂ этой полосы и являются двумя опорными прямыми, параллельными заданному направлению.

 

Рис. 1.1.9

 

Теорема доказана. [8, 20]

Определение 1.1.14 . Наибольшее расстояние между двумя точками плоской фигуры Ф называется диаметром фигуры.

Иначе говоря, диаметром фигуры Ф называется такое расстояние d, что, во-первых, расстояние между любыми двумя точками М и N фигуры Ф не превосходит d и, во-вторых, можно отыскать в фигуре Ф хотя бы одну пару точек А и В, расстояние между которыми в точности равно d. [1, 6]

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

Определение 1.1.15. Пусть К выпуклая кривая l ’ и l ’’ две ее параллельные опорные прямые. Расстояние h между этими опорными прямыми называется шириной кривой К в направлении перпендикулярном к прямым l ’ и l ’’ (рис. 1.1.10). [7, 198]

 

Рис. 1.1.10

Определение 1.1.16. Наименьшую ширину выпуклой кривой К называют шириной К.

Определение 1.1.17. Совокупность лучей, исходящих из одной точки О,называется выпуклой, если она содержит все лучи, проходящие внутри угла, меньшего 180°, образованного любыми двумя лучами совокупности, не составляющими продолжение один другого.

Теорема 1.1.2. Выпуклая совокупность лучей может быть одним лучом, парой лучей, являющихся продолжением один другого, углом, меньшим 180°, полуплоскостью либо целой плоскостью (рис. 1.1.11).

 

Рис. 1.1.11

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

В самом деле, из определения выпуклой совокупности лучей непосредственно следует, что пересечение такой совокупности с любой прямой, не проходящей через точку О,выпукло. Рассматривая пересечения выпуклой совокупности лучей, с двумя параллельными прямыми, расположенными по разные стороны от точки О,и учитывая, что каждое из этих пересечений может совсем не содержать точек, быть единственной точкой, отрезком, лучом или всей прямой, нетрудно выяснить, что выпуклая совокупность лучей может быть только одного из перечисленных выше видов; все возможные здесь случаи приведены на рис. 1.1.12. [8, 21]

 

Рис. 1.1.12

 

Теорема доказана. [8, 22]

Пусть Ф — некоторая выпуклая фигура и О — ее граничная точка. Проведем из точки О лучи, соединяющие ее с каждой точкой (внутренней или граничной) фигуры Ф (рис. 1.1.13).

Рис. 1.1.13

 

Мы получим выпуклую совокупность лучей. В самом деле, если ОА и ОВ — два луча данной совокупности (А и В — точки фигуры Ф), то все лучи, расположенные внутри острого угла АОВ,пересекают отрезок АВ,целиком состоящий из точек фигуры Ф, и, следовательно, принадлежат данной совокупности. [8, 22]

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

Нетрудно так же показать, что эта совокупность лучей не может заполнить всю плоскость. Действительно, если лучи заполняют плоскость, то среди них можно выбрать две такие пары лучей ОА и ОВ, ОС и О D,что лучи каждой пары, составляют продолжение один другого. Пусть А, В, С, D—точки выпуклой фигуры, лежащие на этих лучах (рис. 1.1.14). Фигура Ф вместе с точками А, В,С должна содержать весь треугольник АВС (см. рис. 1.1.14) и вместе с точками А, В, D—весь треугольник АВ D,т. е. она должна содержать весь выпуклый четырехугольник АСВ D, для которого точка О является внутренней. Таким образом, в этом случае точка О не может быть граничной точкой фигуры Ф. [8, 23]

 

Рис. 1.1.14

 

Следовательно, рассматриваемая совокупность лучей будет либо полуплоскостью, либо углом, меньшим 180°. В первом случае (рис. 1.1.15) точка О называется обыкновеннойточкой выпуклой кривой К, ограничивающей фигуру Ф.

Прямая Г, ограничивающая полуплоскость, является опорной прямой фигуры Ф (все точки Ф лежат на лучах нашей совокупности, а следовательно, с одной стороны от прямой Г).

 

Рис. 1.1.15                   Рис. 1.1.16

 

При этом прямая Г является единственной опорной прямой фигуры Ф в точке О,так как по обе стороны от каждой другой прямой l, проходящей через О,есть лучи нашей совокупности, а следовательно, и точки фигуры Ф (рис. 1.1.15). Такая опорная прямая Г фигуры Ф, ограничивающая полуплоскость, называется касательнойв точке О квыпуклой кривой К.[7, 188]

Во втором случае, когда выпуклая совокупность лучей является углом, меньшим 180°, точка О называется угловой точкой выпуклой кривой К,ограничивающей фигуру Ф (рис. 1.1.16).

Все точки фигуры Ф заключены в этом случае внутри угла МО N;поэтому всякая прямая l, проходящая внутри угла МО N ’,смежного с углом МО N,будет опорной прямой фигуры Ф. В частности, опорными будут и лучи ОМ, О N,которые называются полукасательным в точке О к выпуклой кривой К, ограничивающей фигуру Ф. [1, 40]

Определение 1.1.18. Угол MON =  называется внутренним углом (или просто углом) выпуклой кривой К или выпуклой фигуры Ф в точке О, а угол МО N ’ =180° -  называется внешним углом кривой К или выпуклой фигуры Ф. [7, 189]

Согласно этому определению все точки выпуклого многоугольника, кроме вершин, являются обыкновенными, причем касательными в этих точках являются стороны многоугольника. Вершины выпуклого многоугольника являются его угловыми точками, а определенные выше углы совпадают с углами многоугольника в обычном смысле (рис. 1.1.17).

 

Рис. 1.1.17

 

Сопоставляя оба случая — случай обыкновенной точки выпуклой кривой и случай угловой точки, приходим к заключению, что через каждую точку выпуклой кривой проходит, по крайней мере, одна опорная прямая. [1, 41]

Определение 1.1.19. Ограниченная фигура называется выпуклой, если через каждую ее граничную точку проходит, по крайней мере, одна опорная прямая. [8, 26]

Пусть Ф — произвольная ограниченная выпуклая фигура, К— ее граница. Установим на кривой К определенное направление обхода, например, против часовой стрелки. При движении по кривой К в этом направлении фигура Ф все время остается слева (рис. 1.1.18). В соответствии с этим установим направления и на опорных прямых фигуры Ф.

Будем выбирать направление опорной прямой l фигуры Ф таким образом, чтобы фигура Ф лежала слева от прямой l (рис. 1.1.19).

 

Рис. 1.1.18         Рис. 1.1.19

 

В таком случае две параллельные между собой опорные прямые l₁ и l₂ фигуры Ф получат противоположные направления. Таким образом, каждому направлению в плоскости (которое можно задавать при помощи прямой со стрелкой) будет соответствовать единственная опорная прямая, имеющая это направление (рис. 1.1.19).

Если К это многоугольник, то задание направления обхода позволяет говорить о направлениях сторон многоугольника.

Определение 1.1.20. п граничных точек А, В, С,..., Р фигуры Ф расположены в циклическом порядке, если при обходе кривой К,ограничивающей фигуру Ф, против часовой стрелки эти точки встречаются в указанном порядке

Рис. 1.1.20

Определение 1.1.21. Если точки А, В, С,..., Р кривой К расположены в циклическом порядке, то многоугольник АВС...Р называется вписанным в кривую К.

Определение 1.1.22. Если l₁, l₂, ... , l _п это п опорных прямых выпуклой фигуры Ф, на каждой из которых установлено направление, а П₁, П₂, ... , П_n - соответствующие им левые полуплоскости (рис.1.1.21), то Ф расположена в каждой из этих левых полуплоскостей, а значит, и в их пересечении. Если это пересечение ограничено, т. е. является многоугольником, то этот многоугольник называется описанным вокруг фигуры Ф или вокруг ограничивающей ее кривой К.[8, 27]

Рис. 1.1.21

 

Из этого определения следует, что многоугольник, описанный вокруг выпуклой фигуры, всегда является выпуклым. Сторонами описанного многоугольника являются отрезки прямых l₁, l₂, ... , l _п.

Может, однако, оказаться, что три (или больше) из взятых п опорных прямых будут проходить через одну и ту же граничную точку фигуры Ф (которая в этом случае обязательно является угловой; рис. 1.1.22). В таком случае описанный многоугольник будет иметь меньше чем п сторон. Такой многоугольник называют n -угольником, имеющим одну или несколько сторон нулевой длины, т. е сторон, превратившихся в точки. Эти стороны нулевой длины имеют определенные направления, а именно направления соответствующих опорных прямых

 

Рис. 1.1.22

 

Это позволяет говорить об п внутренних и внешних углах описанного n-угольника независимо от того, имеет ли он стороны нулевой длины или нет.

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

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

Теорема 1.1.3. Если выпуклая кривая К целиком заключена внутри выпуклой кривой К’, то длина К не может быть больше длины К’.

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

Действительно, рассмотрим последовательность многоугольников, вписанных в кривую К,стороны которых безгранично уменьшаются, и последовательность многоугольников, описанных вокруг К’,внешние углы которых безгранично уменьшаются (рис. 1.1.23).

 

Рис. 1.1.23

 

Каждый из многоугольников второй последовательности заключает в себе каждый из выпуклых многоугольников первой последовательности и, следовательно, имеет больший периметр; отсюда следует, что предел периметров многоугольников второй последовательности — длина К’ не меньше предела периметров многоугольников первой последовательности — длины К.

Теорема доказана.

Определение 1.1.24. Периметром плоской фигуры называется длина кривой, ограничивающей эту фигуру. [8, 28]

Задачи

Задача №1.1.1. Докажите, что пересечение двух или нескольких выпуклых фигур есть выпуклая фигура.

Задача №1.1.2. Докажите, что всякий выпуклый многоугольник является пересечением конечного числа полуплоскостей (рис.1.1.24). [8, 14]

 

Рис. 1.1.24

 

Задача №1.1.3. Докажите, что

а) если А и В — внутренние точки выпуклой фигуры Ф, то все точки отрезка АВ — внутренние точки Ф;

б) если А — внутренняя, а В — граничная точка выпуклой фигуры Ф, то все точки отрезка АВ,кроме В,— внутренние точки Ф;

в) если А и В—граничные точки выпуклой фигуры Ф, то либо все точки отрезка АВ — граничные точки Ф, либо все точки отрезка АВ,кроме А и В,— внутренние точки Ф.

Задача №1.1.4. Докажите, что всякая прямая, проведенная через внутреннюю точку выпуклой фигуры, пересекает ее границу не более, чем в двух точках. Если выпуклая фигура ограничена, то каждая прямая, проходящая через какую-либо ее внутреннюю точку, пересекает границу фигуры ровно в двух точках.

Задача №1.1.5. Докажите, что если всякая прямая, проходящая через любую внутреннюю точку ограниченной фигуры, пересекает ее границу в двух точках, то фигура выпукла. [8, 15]

Задача №1.1.6. Докажите, что каждая из двух параллельных опорных прямых, расстояние между которыми имеет наибольшее возможное значение, содержит единственную точку границы фигуры и что отрезок, соединяющий эти точки, перпендикулярен к обеим опорным прямым (рис. 1.1.25). [8, 20]

 

Рис. 1.1.25

Задача №1.1.7. Докажите, что наибольшее расстояние между двумя точками выпуклой фигуры совпадает с наибольшим расстоянием между парой параллельных опорных прямых.

Задача №1.1.8. Докажите, что если А и В — две точки выпуклой фигуры Ф, расстояние d между которыми имеет наибольшее значение, то прямые, проведенные через точки А и В перпендикулярно к отрезку АВ,являются опорными прямыми Ф. [8, 21]

 

Решения

Задача №1.1.1

Пусть Ф₁ и Ф₂ — две выпуклые фигуры, Ф — их пересечение, А и В — две произвольные точки, принадлежащие пересечению Ф (рис. 1.1.26). По определению пересечения двух фигур обе точки А и В принадлежат как фигуре Ф₁, так и фигуре Ф₂. В силу выпуклости фигуры Ф₁ все точки отрезка АВ принадлежат Ф₁, а в силу выпуклости Ф₂ — все они принадлежат также фигуре Ф₂. Следовательно, отрезок АВ целиком принадлежит пересечению Ф фигур Ф₁ и Ф₂, а это и означает, что пересечение Ф выпукло.

 

Рис. 1.1.26                     Рис. 1.1.27

Точно так же доказывается, что пересечения Ф нескольких выпуклых фигур Ф₁, Ф₂,..., Ф_п выпукло: если А и В — две произвольные точки Ф, то А и В принадлежат одновременно всем фигурам Ф₁, Ф₂, ..., Ф_п и в силу того, что все эти фигуры выпуклы, все точки отрезка АВ принадлежат одновременно всем фигурам Ф₁, Ф₂,..., Ф _n , т.е. принадлежат их пересечению Ф.

Примечание. Теорема остается верной и в том случае, когда фигур Ф_1,…,Ф _n,... бесконечно много; доказательство ее остаётся прежним. Например, на рис. 1.1.27 изображены равные между собой квадраты с общим центром. Легко видеть, что пересечением всех таких квадратов (а этих квадратов бесконечно много) является круг, т. е. выпуклая фигура.

Задача №1.1.2

Выпуклый многоугольник Ф лежит по одну сторону от каждой прямой, являющейся продолжением его стороны. В самом деле, если бы существовала точка С,принадлежащая Ф и расположенная не с той стороны прямой АВ (А и В — две соседние вершины Ф), с какой многоугольник Ф примыкает к стороне АВ (рис. 1.1.28), то, например, отрезок МС, соединяющий внутреннюю точку М отрезка АВ с точкой С, не принадлежал бы целиком Ф, т. е. многоугольник Ф не мог бы быть выпуклым. Таким образом, выпуклый многоугольник Ф расположен целиком в каждой из полуплоскостей, границами которых служат прямые, содержащие каждую из сторон многоугольника. Пересечение всех таких полуплоскостей и дает многоугольник Ф.

 

Рис. 1.1.28

 

Задача №1.1.3

а) Пусть А и В — две внутренние точки фигуры Ф. Согласно определению внутренних точек (определение1.1.4)существуют два круга С и С’ с центрами соответственно в точках А и В,все точки которых принадлежат фигуре Ф (рис. 1.1.29, а).Пусть М N и Р Q — внешние общие касательные кругов С и С’.В силу выпуклости Ф вся криволинейная фигура МР Q N,заштрихованная на рис. 1.1.29, а)принадлежит Ф, и следовательно, каждая точка D отрезка АВ является центром некоторого круга, все точки которого принадлежат Ф (этот круг вписан в фигуру МР QN).

б) Доказательство почти не отличается от доказательства пункта а), только окружность С’ приходится заменить одной точкой В и фигуру М PQN — фигурой MBN, заштрихованной на рис. 1.1.29, б).

 

Рис. 1.1.29

 

в) Пусть А и В — две граничные точки выпуклой фигуры Ф. Отрезок АВ может целиком состоять из граничных точек (рис. 1.1.30, а) — это и есть первый случай, указанный в условии задачи.

 

Рис. 1.1.30

 

Если же какая-либо точка С отрезка АВ является внутренней точкой Ф, то согласно пункту б) все точки отрезков СА и СВ,кроме А и В,должны быть внутренними для Ф — это второй случай, указанный в условии (рис. 1.1.30, б). [8, 140]

Задача №1.1.4

Пусть Ф это выпуклая фигура, О — ее внутренняя точка и l—прямая, проходящая через точку О.Так как прямая l сама является выпуклой фигурой, то ее пересечение с фигурой Ф будет (согласно задаче 1.1.1) выпуклой фигурой, расположенной на прямой (одномерной выпуклой фигурой), т. е. отрезком, лучом или всей прямой. Если это — отрезок, то его концы А и В являются граничными точками фигуры Ф (рис. 1.1.31), и следовательно, прямая l содержит две граничные точки Ф.

 

 

Если это пересечение — луч (прямая l ₁ на рис. 1.1.31), то его начало А’ будет единственной граничной точкой фигуры Ф, лежащей на прямой l _1.

Если, наконец, прямая l целиком принадлежит фигуре (рис. 1.1.32), то на этой прямой нет ни одной граничной точки фигуры Ф.

Если фигура Ф ограничена, то ее пересечение с прямой также ограничено и, следовательно, является отрезком. Таким образом, на каждой прямой l, проведенной через внутреннюю точку ограниченной выпуклой фигуры Ф, имеются ровно две граничные точки этой фигуры. [8, 142]

Задача № 1.1.5

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

Пусть Ф — ограниченная невыпуклая фигура. В таком случае найдутся такие точки А и В,принадлежащие Ф, что отрезок, их соединяющий, не принадлежит целиком фигуре Ф; обозначим через С точку отрезка АВ,не принадлежащую Ф (рис. 1.1.33, а).Мы всегда можем предположить, что точка А — внутренняя точка Ф.

 

 

Действительно, если А — граничная точка Ф, А’ — внутренняя точка, достаточно близкая к точке А, то отрезок А’В также будет иметь точки вне фигуры Ф (рис. 1.1.33, б).

Итак, пусть А — внутренняя точка. На отрезке ВС есть граничная точка Р₁, фигуры Ф (может быть, совпадающая с В),т.к. точка В принадлежит фигуре Ф, а С лежит вне ее. На отрезке АС также есть граничная точка Р₂ фигуры Ф (А лежит внутри Ф, С— вне этой фигуры). Тогда, продолжив отрезок ВА за точку А,мы получим луч А D, исходящий из внутренней точки А фигуры Ф. На этом луче также есть граничная точка Р₃ фигуры Ф (т.к. фигура Ф ограничена).

Итак, на прямой АВ, проходящей через внутреннюю точку А фигуры Ф, лежат по крайней мере три граничные точки Р₁, Р₂ и Р₃, что и требовалось доказать. Следовательно, всякая фигура Ф, удовлетворяющая условию задачи, должна быть выпуклой.

Задача №1.1.6

Пусть l ₁ и l ₂ — две параллельные опорные прямые фигуры Ф, расстояние между которыми имеет наибольшее значение; А₁ и А₂ — граничные точки фигуры Ф, принадлежащие соответственно прямым l ₁ и l ₂. Покажем, что отрезок А₁ А₂ перпендикулярен к обеим прямым l ₁ и l ₂. В самом деле, если бы это было не так, то расстояние между прямыми l ₁ и l ₂ было бы меньше, чем отрезок А₁А₂ (рис. 1.1.34), и тем более меньше, чем расстояние между двумя опорными прямыми l ₁’и l ₂ ’ фигуры Ф, перпендикулярными к отрезку А₁А₂,что противоречит условию (т.к. мы нашли две опорные прямые расстояние между которыми больше расстояния между опорными прямыми l ₁ и l ₂).

Так как А₁ и А₂ — какие угодно граничные точки фигуры Ф, принадлежащие соответственно прямым l ₁ и l ₂, то из перпендикулярности отрезка А₁А₂ к прямым l ₁ и l ₂ следует, что ни одна из прямых l ₁ и l ₂ не может иметь с фигурой Ф целый общий отрезок (т. е. случай, изображенный на рис. 1.1.35, невозможен); другими словами, каждая из этих прямых содержит единственную граничную точку фигуры Ф. [8, 143]

 

 

Задача №1.1.7

Пусть Ф — выпуклая фигура, l ₁ и l ₂ — параллельные опорные прямые, расстояние между которыми имеет наибольшее возможное значение d, А₁ и А₂ — общие точки фигуры Ф и прямых l ₁ и l ₂ соответственно. Так как отрезок А₁А₂ перпендикулярен к прямым l ₁ и l ₂ (см. задачу 1.1.6), то длина его равна d (рис. 1.1.36). Остается только доказать, что расстояние между любыми двумя точками фигуры Ф не превосходит d . Действительно, если В и С — какие-либо две точки фигуры Ф, а т и п — опорные прямые, перпендикулярные к прямой содержащей отрезок ВС (рис. 1.1.37), то отрезок ВС не превосходит расстояния между прямыми т и п,которое в свою очередь не превосходит d.Следовательно, длина ВС не может быть больше d.

 

Задача №1.1.8

Проведем две опорные прямые l и т выпуклой фигуры Ф, перпендикулярные к отрезку АВ.Вся фигура Ф заключена в полосе между прямыми l и т,а следовательно, в этой полосе помещается и отрезок АВ длины d , перпендикулярный к прямым l и т.Но так как расстояние между прямыми l и т не может быть больше d (задача 1.1.7), то прямые l и т должны проходить через концы А и В отрезка. [8, 145]