раскрыть ветку (1)
Они там офанарели? Может им формулировку поменять?
Доказательство от обратного (самое простое, что в голову пришло):
Пусть x - минимальное количество спичек, которые нужно переложить для того, чтобы получилось верное равенство.
Сразу оговоримся, что т.к. равенство изначально неверное - x!=0.
Далее - пусть кол-во спичек, переложенных в конкретном решении - y.
Нужно доказать, что нет других x, удовлетворяющих условию задачи и меньших y.
Предположим, что такие x есть, тогда:
x>0
x
Доказательство от обратного (самое простое, что в голову пришло):
Пусть x - минимальное количество спичек, которые нужно переложить для того, чтобы получилось верное равенство.
Сразу оговоримся, что т.к. равенство изначально неверное - x!=0.
Далее - пусть кол-во спичек, переложенных в конкретном решении - y.
Нужно доказать, что нет других x, удовлетворяющих условию задачи и меньших y.
Предположим, что такие x есть, тогда:
x>0
x