n!/ (p+1)=p^cを満たす整数n・素数p・正整数cは存在するか？高校数学的な証明

本記事では、整数n（n≥6）、素数p（p≤n）、正整数cについて「n!/(p+1)=p^c」を満たす組が存在するかどうかを、数論的な観点から簡潔に考察します。

問題の整理

与えられた条件は次の形です。

n! を (p+1) で割った結果が、pの冪（p^c）になるというものです。

つまり、n! = (p+1) × p^c という構造を持つ必要があります。

このとき左辺n!は「n以下のすべての素数を含む積」であるため、右辺の素因数構造と一致する必要があります。

n!には、n以下のすべての素数が必ず含まれます。

一方で右辺(p+1)×p^cでは、素因数はpと(p+1)の素因数のみです。

したがって、n!に現れるp以外の素数（2,3,5,7,…など）はすべてp+1の中に含まれなければなりません。

しかしp+1は固定された整数であり、多くの異なる素数を同時に含むことはほぼ不可能です。

p=2の場合、p+1=3となります。

しかしn≥6では5が必ずn!に含まれますが、5は3を割り切れないため矛盾します。

p=3の場合、p+1=4ですが、n≥6では5が含まれ、これも4では吸収できません。

p=5の場合、p+1=6で2と3は含められますが、n≥7で7が登場し、やはり矛盾します。

それ以降のpについても同様に、p+1がすべての他の素数を含むことはできません。

n≥6では少なくとも素数2,3,5が必ずn!に含まれます。

pをどのように選んでも、p+1が「p以外のすべての素数（特に複数の異なる素数）」を同時に割り切る必要があります。

しかし異なる素数の積は急速に大きくなり、p+1という小さな整数に収まりません。

したがって、この条件を満たす構造そのものが成立しません。

以上より、n≥6を満たす整数n、素数p（p≤n）、正整数cで n!/(p+1)=p^c を満たす組は存在しません。

理由は、n!に含まれる複数の異なる素数をp+1が同時に吸収することができず、素因数構造が一致しないためです。

よってこの方程式は数論的に矛盾を含み、解を持ちません。