Работа над книгой. Использование Mathematica, чтобы сделать некоторые автоматические доказательства. Если вы определите свою собственную функцию числа Фибоначчи, доказательства не будут работать. Если вы используете встроенные Фибоначчи, они работают. Документация Фибоначчи говорит, что функция Simplify имеет специальные правила для работы с Фибоначчи. Предположительно, Simplify вызывается из Evaluate, и там вызываются специальные правила для Фибоначчи. Любопытно, как Упростить и Оценить связаны в Mathematica. Не могу найти документацию, которая проясняет это.