Brocard-Ramanujan方程式

方程式の正整数解はしか知られていません。1876年及び1885年にBrocardが、1913年にRamanujanがこの方程式を扱っています。Erdősはこれら以外に解は存在しないと予想しているそうです。定理 (Overholt, 1993) ABC予想が正しいと仮定する。このとき、Brocard-Ramanujan方程式は正整数解を高々有限個しか持たない。証明. とし…