Двач, помоги дауну. Как формально доказать, что если x>0, то -x<0? Использую аксиоматику вещественных чисел как написано в Зориче (Гильберта).
бамп
Нахуй это доказывать?
Зачем? Любому дауну понятно, что все числа с отрицательным модулем - меньше нуля.
Догадался доказать от противного.Утв. (x>0) => (-x <0).Док-во. Согласно уже доказанным свойствам, которые следуют из аксиом порядка 1, 3, для любого x принадлежащего R, возможны три варианта x<0 или x>0 или x=0.Пусть -x > 0. Но тогда x + (-x) должно быть тоже больше нуля, что противоречит аксиоме сложения. Пусть -x = 0. Но тогда x+(-x) = 0, а с другой стороны x+0=x, а это возможно только при x = 0, что противоречит условию.Следовательно, -x<0
>>138047253>Отрицательный модульты вообще еблан?