Highwind писал(а):
Ну приходит в голову его написать так
![\[1 \cdot 2 \cdot 3... \cdot (x - 1) \cdot x = y^2 - 1\] \[1 \cdot 2 \cdot 3... \cdot (x - 1) \cdot x = y^2 - 1\]](https://dxdy-04.korotkov.co.uk/f/3/8/e/38ed63b7f346e54c1baad5cdf7a7512982.png)
А потом помутить с делимостью что-нибудь
По-моему, разумное предложение.
Выражение
![$ y^2-1 $ $ y^2-1 $](https://dxdy-04.korotkov.co.uk/f/7/8/2/782c288db9db2cb8bab26c064d8c37bb82.png)
предполагает, что множители числа
![$ n! $ $ n! $](https://dxdy-03.korotkov.co.uk/f/2/4/f/24f45c342fdec483e3c8ad25765246c082.png)
можно разделить на две группы, произведение которых будет отличаться друг от друга на
![$ 2 $ $ 2 $](https://dxdy-04.korotkov.co.uk/f/b/5/2/b52fbbaad3234af1a994ef482b40a08882.png)
.
Это возможно лишь тогда, когда одно из указанных произведений имеет степень четности
![$ 2^1 $ $ 2^1 $](https://dxdy-04.korotkov.co.uk/f/b/b/4/bb4c51157f0527e133e640befbc2441a82.png)
.
Тогда все остальные степени двойки четных чисел должны быть во второй группе.
Кроме того, в обеих группах не должно быть и других общих простых множителей, т.е. полученные произведения должны быть взаимнопростыми числами по всем простым числам за исключением одной степени двойки.