Здравствуйте! Пусть для некоторых
геометрических величин x и y удалось доказать, что

. Первая забавная идея: всегда можно задать отрезок b длиной

, он существует всегда. Итак, возьмём систему отсчёта, где число

вообще соответствует некоторому отрезку, а
x и y как числа пусть принадлежат некоторому полю v (тут не уверен, всегда ли они принадлежат полю, пусть меня поправят, если что). Теперь преобразуем:

,

,

...следовательно

не может являться

. Тогда неравенство

невозможно. Но тогда возможно

или

...и вот не уверен, можно ли утверждать, что не просто возможно, но и верно? И вообще верен ли такой подход и в чём ошибка, если нет?