１９７５年，エルデスとセルフリッジは連続する整数の積は整数のベキでないこと，すなわち

　　ｙ^q＝ｘ（ｘ＋１）・・・（ｘ＋ｐ−１）

はすべてが＞１である整数解（ｘ，ｙ，ｐ，ｑ）をもたないことを証明しています．

　したがって，

　連続する３個の自然数の積は平方数とはならない

　連続する４個の自然数の積は平方数，立方数とはならない

　連続するｋ（＞１）個の自然数の積はある数のベキ乗数とはならない

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

［Ｑ］連続する３個の自然数の積（ａ−１）ａ（ａ＋１）は平方数とはならないことを示せ．

［Ａ］ａ≧２．（ａ−１）とａ，ａと（ａ＋１）は互いに素であるから，（ａ−１）ａ（ａ＋１）は平方数ならばａ自身が平方数でなければならない．すると（ａ−１）（ａ＋１）＝ａ^2−１も平方数であるから，ａ^2−１＝ｂ^2と書ける．

　このとき，ａ^2−ｂ^2＝（ａ＋ｂ）（ａ−ｂ）＝１より（ａ，ｂ）＝（±１，０）となり，ａ≧２であることに反する．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

［Ｑ］連続する３個の自然数の積（ａ−１）ａ（ａ＋１）はｋ乗数とはならないことを示せ．

［Ａ］ａ^2−１とａは互いに素．（ａ−１）ａ（ａ＋１）がｋ乗数ならば隣り合う整数ａ^2−１とａ^2がともにｋ乗数であるが，そのようなことはあり得ない．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

連続する整数のいくつかのブロックの積はベキになることがある

[1]Π(1-4)(ai-1)ai(ai+1)

a1=2^(n-1),a2=2^n,a3=2^(2n-1)-1,a4=2^(2n)-1

は平方数である

[2](n-1)n(n+1),(2n-2)(2n-1)(2n)の積が平方数になるのは、(n+1)(2n-1)=m^2のとき、たとえば、n=74のとき

(73・74・75)(146・147・148)=73^2・74^2・210^2

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝