Задачка про таракана и истину

Ну с Богом на поиски Истины) ) Для начала таракан вводит на плоскости систему координат с началом координат в точке, где он находится, и произвольно направленными осями, при этом тут же фиксирует направления этих осей, пока отложив на время вопрос о направлениях этих осей. Далее первый шаг по одной из новорожденных осей. Приблизился - эта ось получает положительное направление в эту сторону. Не приблизился - возвращается в исходную точку - всего 2 шага - и назначает положительным направлением оси противоположное. Аналогично - истратив еще в худшем случае 2 шага - определяет положительное направление второй оси. Теперь он знает квадрант, в котором находится истина, причем ее координаты при выбранных направлениях осей положительны. Пусть они равны х и у. Докажем, что таракан может достигнуть точки х1,у1, где х1 и у1 - целые части х и у соответственно, не более чем за р = 3D/2 + 2 шагов. Он бежит по оси х х1 шагов, и на х1+1-ом шаге получает сообщение, что на этом шаге он к истине не приблизился. Делает шаг назад (х1 + 2 шага) и тем самым находится по координате х на расстоянии не более 1 см от истины, то есть его х-координата равна х1. Теперь он бежит по оси у, Легко видеть, что самое большее через у1 + 1 шаг он увидит наконец заветную истину. Суммируем все шаги: х1 + у1 + 7 шагов. Осталось показать, что х1 + у1 < 3D/2 Докажем более сильное утверждение, а именно, что х1 + у1 <= x + y <= DV2 Дело сводится к лемме: В прямоугольном треугольнике сумма катетов не превышает гипотенузу, умноженную на корень квадратный из двух. Доказательство достаточно простое, я оставляю его Вам. Уффф, кажись все?

Так вопрос к задаче какой????

сама придумала?