Цитата:
Можно догадаться, что (100n+20) должен быть факториалом числа, идущим перед n, такое выполняться только для 7 (6!=720=7*100+20), чтоб выполнялось для других, надо поменять выражение в скобках.
Отсюда никак не следует, что не существует некоего неведомого числа, которое так же, как и семерка, будет превращать это соотношение в равенство.
Хотя, конечно, понятно, что такого нет(потому как n квадрат растет значительно медленней факториала, поэтому после семерки больше пересечений не будет), однако доказателство получается не строгое, что не есть гуд.
Можно доказать от обратного, например, так:
Допустим, что есть номер k, для которого это тоже верно. Тогда k! = k((k-1)!) = k(100k+20);
(k-1)! = 100k + 20;
Факториал чисел, больших девяти, обязательно кратен 100(так как это число содержит сомножители 10, 5 и 2), в то же время 100k + 20 ни при каких натуральных k не кратно 100, так что для полноты доказательства осталось тупо проверить все числа от одного до десяти, исключая семерку, разумеется. Получим противоречие, перебрав при этом все возможные варианты, из чего следует что равенство выполняется только для 7.