Субботний мат-блиц-марафон. Задачка-4, которая только выглядит просто.

Жизнь должна быть прекрасной и удивительной! Прекрасна она по определению, поскольку за окном тёплый (а где-то наверняка и ярко-солнечный) летний денёчек, а удивительной её делает четвёртая порция задачек нашего субботнего мат-блиц-марафона. Вот таких:

===>

Задачка 4. Найти все целые решения уравнения y² = x³ + 1

-----

Задачка 4-лёгкая. Доказать, что если:
x + 2ˣ = y + 2ʸ
то =>
x + sin(x) = y + sin(y)

<===



Добавлю, что вновь присоединившиеся могут порешать также и предыдущие сегодняшние задачки. Там ещё есть возможность поучаствовать в призах, поскольку некоторые решения в скрытых комментариях частично или полностью неправильные.