можно предположить, что для любых двух разных точек 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.
но из условия следует конечность их числа в любом квадрате.
Если в решении корня получается бесконечная десятичная дробь, то это иррациональное число, например 1:3=0,3333(3) -это иррациональное число. 1# а) √16=4 - рациональное число б) √1600=40 - рациональное число в) √16000=126,491... -иррациональное число г) все числа ответ: в) 2# а) √0,04=0,2 - рациональное число б) √4000=63,245... - иррациональное число в) √4=2 - рациональное число г) все числа ответ: б) 3# а) √64000=252,982... - иррациональное число б) √640000=800 - рациональное число в) √64=8 - рациональное г) все числа ответ: а) 4# а) √25000=158,113... - иррациональное число б) √0,025=0,158... - иррациональное число в) √250=15,811... - иррациональное число г) все числа ответ: г)
докажем утверждение от противного.
можно предположить, что для любых двух разных точек 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.
но из условия следует конечность их числа в любом квадрате.