можно предположить, что для любых двух разных точек a и b из s найдется отличная от них точка x из s такая, что либо xa < 0,999ab, либо xb < 0,999ab.
переформулируем утверждение: для любого отрезка i с концами в s и длиной l найдется отрезок i′ с концами в s длины не более 0,999l, один из концов которого совпадает с некоторым концом i.
или, иначе говоря, i′ пересекает i.
возьмем теперь первый отрезок i1 длины l и будем брать отрезки i2, i3, …так, что ik + 1 пересекается с ik и |ik + 1| < 0,999|ik|.
все эти отрезки имеют концы в s. ломаная не короче отрезка, соединяющего ее концы, поэтому расстояние от любого конца ik до любого конца i1 не превосходит
следовательно, в квадрате 2000l × 2000l с центром в любом из концов i1 лежит бесконечное число точек s.
но из условия следует конечность их числа в любом квадрате.
Отрезок-это часть прямой,ограниченная двумя точками. луч-это часть прямой,ограниченая одной точкой. угол-это геометрическая фигура,состоящая из двух лучей,которые имеют общее начало. биссектриса-это луч,который выходит из вершины угла и делит угол пополам.
вертикальные углы -2 угла,у которых стороны дополняют друг друга до прямой.
Два угла называются смежными если одна сторона у них общая,а другие являются продолжениями друг друга. свойства:сумма смежных углов равна 180 градусов.
две прямые называются перпендикулярными если они пересекаются под прямым углом.
треугольник-геометрическая фигура,состоящая из трех точек не лежащих на одной прямой и попарно соединенных отрезков.
докажем утверждение от противного.
можно предположить, что для любых двух разных точек a и b из s найдется отличная от них точка x из s такая, что либо xa < 0,999ab, либо xb < 0,999ab.
переформулируем утверждение: для любого отрезка i с концами в s и длиной l найдется отрезок i′ с концами в s длины не более 0,999l, один из концов которого совпадает с некоторым концом i.
или, иначе говоря, i′ пересекает i.
возьмем теперь первый отрезок i1 длины l и будем брать отрезки i2, i3, …так, что ik + 1 пересекается с ik и |ik + 1| < 0,999|ik|.
все эти отрезки имеют концы в s. ломаная не короче отрезка, соединяющего ее концы, поэтому расстояние от любого конца ik до любого конца i1 не превосходит
следовательно, в квадрате 2000l × 2000l с центром в любом из концов i1 лежит бесконечное число точек s.
но из условия следует конечность их числа в любом квадрате.