Здравствуйте! Пусть для некоторых
геометрических величин x и y удалось доказать, что
. Первая забавная идея: всегда можно задать отрезок b длиной
, он существует всегда. Итак, возьмём систему отсчёта, где число
вообще соответствует некоторому отрезку, а
x и y как числа пусть принадлежат некоторому полю v (тут не уверен, всегда ли они принадлежат полю, пусть меня поправят, если что). Теперь преобразуем:
,
,
...следовательно
не может являться
. Тогда неравенство
невозможно. Но тогда возможно
или
...и вот не уверен, можно ли утверждать, что не просто возможно, но и верно? И вообще верен ли такой подход и в чём ошибка, если нет?