Доказателство Опции

[Metrax]

1) (a+b+c)(1/a+1/b+1/c)>=9 a,b,c принад. множ.целых ч.
2) Всегда хотел узнать алгоритм доказателсва x=0 где x принад. множ.целых ч.

[Lapp]

1) (a+b+c)(1/a+1/b+1/c)>=9 a,b,c принад. множ.целых ч.

Принимая во внимание заголовок, пытаюсь доказать неравенство.
Подставляю а=0, при этом левая часть теряет смысл. Чешу репу.. Ладно, ошибка эксперимента.
Подставляю a=1, b=1, c=-2. Получаю 0>=9
Вывод: неверно.

2) Всегда хотел узнать алгоритм доказателсва x=0 где x принад. множ.целых ч.

А я всегд. хот. узн. алгор. доказ. y=1 гд. y принад. множ. целых ч.