- ベストアンサー
1が連なった数に素数はあるか
数学の専門家ではありませんが，最近，数論をかじり始めたアラフォーです。大学入試レベルの整数問題であれば合同式を自己流で振り回して解くことはできますが，位数のあたりでひっかかっている状況です。 あるきっかけから，111，11111，1111111など，1が素数個(2個は除く)連なった数の中に素数があるかどうかを調べていたのですが，17連までは素数ではないことがわかりました。ちなみに， 11111111111111111=2071723×5363222357 でした。 1が合成数個連なった場合は1111=11×101のように容易に分解できることは理解しています。 ということで，1が素数個(2個は除く)連なった数の中に素数はあるか，ないとすればその証明をどなたか教えてください！
- みんなの回答 （3）
- 専門家の回答
質問者が選んだベストアンサー
その他の回答 (2)
1が23個並んだものも素数です。 1が38個並んだものは、以下のように分解されます。何かヒントになりそうに思えませんか？ 11*909090909090909091*1111111111111111111 最後の数は、1が19個（38/2）並んでいます。 それ以上62個まで素数はありません。
お礼
回答ありがとうございます。 なんだか，こういった数式を眺めていると魔道に引き込まれそうな気がしてきますね。現実世界の事柄がどうでもよくなってくるというかなんというか…。
- Tacosan
- ベストアンサー率23% (3656/15482)
いわゆる「repunit」というやつですね. 相当に少ないみたいです.
- 参考URL：
- http://www36.tok2.com/home/kamada/math/11111.htm, http://primes.utm.edu/glossary/xpage/Repunit.html
お礼
素早い返答ありがとうございます。存在するんですね！
関連するQ&A
- 平方根を用いた素因数分解
ある整数Nを試し割りで素因数分解するとき √N>p を満たす最大の素数pまで試し割りすれば事足りる というものがありますが、この数学的証明はどうなるのでしょうか
- ベストアンサー
- 数学・算数
- 素数の分類と無限性に関して。以前質問させていただいたことの延長になりま
素数の分類と無限性に関して。以前質問させていただいたことの延長になります。 ※＾は乗数の意味です。 8n+1型の素数が無限に存在することの証明 原始根の存在（素数 p を法とする整数環 Z/pZ の乗法群が位数 p - 1 の巡回群であること）を使う。 x を整数とする時x＾4 + 1 の奇素数因子を p とする。 x＾4 ≡ - 1 (mod. p) より、両辺を2乗することでx^8≡1となる。 x の p を法とする整数環 Z/pZ の乗法群での位数は 8 で有るから、 p ≡ 1 (mod. 8) となる。ここで、 p ≡ 1 (mod. 8) となる素数が有限個であったとする時、その総乗積を P として、 (2P)＾4 + 1 の奇素数因子を考えると矛盾が出る。 私は2PをX"とおいて上と同様に考えました。 同じ方法を用いることで証明することはできたのですが、 この証明の中で用いている「位数は 8 で有るから、 p ≡ 1 (mod. 8) となるの部分に関して ラグランジュの定理 位数nの有限郡Gの任意の部分郡Hの位数はGの位数の約数である を用いた場合、GとHに当たる部分はどこになるのでしょうか。今の段階では、nがｐ－１にあたり、Hの位数が８と考えています。ｐが素数で、８はｐ－１の約数になるとの考えは当っているでしょうか・・？ よろしくお願いします。
- ベストアンサー
- 数学・算数
- 平方根の連分数展開の周期
何冊か数論の本を読んでみたのですが、見つけることができませんでした。 Dを平方数でない自然数とするとき、√Dの連分数展開は周期を持つ無限連分数になります。もちろんこの周期自体は実際に連分数展開してみないことにはわかりませんが、周期が偶数になるか奇数になるかは簡単に判定できるのではないか、と思いました。このことはx^2-Dy^2=-1が整数解を持つかどうかと同値で、また判別式が-1になることとも同値だと思います。しかしいずれにしても連分数展開を実行してみない以上わからないので不便です。 D=n^2-2と書けないこと、かつD=p_1^{r_1}…p_k^{r_k}と素因数分解したとき、p_iたちすべてがmod 4で3と合同でない、ということと、連分数展開の周期が奇数であることは同値だと予想したのですが、これは正しいですか？実二次体がらみの話なので、どこかに書いてあるとは思うのですが・・・
- ベストアンサー
- 数学・算数
- 素数の分類と無限性に関して。
素数の分類と無限性に関して。 ※＾は乗数の意味です。 8n+1型の素数が無限に存在することの証明 原始根の存在（素数 p を法とする整数環 Z/pZ の乗法群が位数 p - 1 の巡回群であること）を使う。 x を整数とする時x＾4 + 1 の奇素数因子を p とする。 x＾4 ≡ - 1 (mod. p) より、両辺を2乗することでx^8≡1となる。 x の p を法とする整数環 Z/pZ の乗法群での位数は 8 で有るから、 p ≡ 1 (mod. 8) となる。ここで、 p ≡ 1 (mod. 8) となる素数が有限個であったとする時、その総乗積を P として、 (2P)＾4 + 1 の奇素数因子を考えると矛盾が出る。 私は2PをX"とおいて上と同様に考えました。 この証明の流れや、8n＋1型の素数が無限に存在することは理解できるのですが、上の証明における「位数は 8 で有るから、 p ≡ 1 (mod. 8) となる」の部分がどのようにして言えるのかが分かりません。フェルマーの小定理を用いているのでしょうか？ よろしくお願いします。
- ベストアンサー
- 数学・算数
- 離散数学の証明問題
離散数学の証明問題 合同でないことを≡×と表します。 Pを素数とし、a≡×0(mod p)とする。また、aの位数をdとする。 このとき、次のことを示せ。 (1)整数nに対して、a^n≡1(mod p)であるならば、かつそのときに限り、d|n (2)dはp-1の約数である。 (3)整数i,jに対してa^i≡a^j (mod p)であるならば、かつそのときに限り、i≡j(mod p) (1)はFermatの小定理を使うと思うのですが、いまいち解法が浮かびません。 (2)はFermatの小定理から自明に思えますが、厳密に証明しないといけないみたいです。 (3)は証明方法がまったく分かりません。 分かる方、証明お願いします。
- ベストアンサー
- 数学・算数
- ペル方程式x^2-py^2=-1は常に整数解を持つか？
先日、 http://okwave.jp/kotaeru.php3?q=2069583 で、√Dの連分数展開の周期がいつ奇数になるか？という問題を質問させていただきました。平方剰余の相互法則の第一補充則と簡単な議論から、Dは4で割り切れないこと、さらにDの素因数に4で割って3余る素数を含まないことが必要条件となります。連分数展開の周期が奇数になることと、ペル方程式 x^2-Dy^2=-1 が整数解を持つことは同値です。したがってこのためのDの必要条件が求められたことになります。しかし、上の条件が満たされるDでもペル方程式が整数解を持たないものがたくさんあります。たとえば34,146,178,194,205,221,…などなどです。他方、合成数であっても解をもつDもたくさんあります。いったいこれらの性質の違いがどこから来るのか知りたいものです。ですが、難しい問題なのかも知れません。 で、本題です。このDが特に素数pのとき、解を持たないような反例が600以下の4で割って1余る素数で見つからなかったので、これなら正しいのではないか？と思ったので、そのことを証明する方法、あるいは反例があるのであれば知りたいと思いました。 きちんと書くと、「pを4で割って1余る素数とするとき、x^2-py^2=-1は常に整数解を持つか？」ということです。4で割って1余る素数pはある互いに素な自然数s,tを用いてp=s^2+t^2と表されることが知られています。しかし、こう表されることがペル方程式が整数解を持つための十分条件になるかというとそうではありません。たとえば34=5^2+3^2は合成数で平方和分解を持つ数ですが、上記のペル方程式の整数解を持たないもので、58=7^2+3^2は合成数で平方和分解をやはり持ちますが、こちらはペル方程式が整数解を持ちます。ですから、もし僕の書いた主張が正しいのであれば、素数性が大事なのであって、平方和分解とは本質的に異なる問題だと思います。
- ベストアンサー
- 数学・算数
- ゲーデル数と自然数の有限列について
ピンポイントな質問で申し訳ないのですが、もし答えられる方がいらっしゃればお願いします。 田中一之著「ゲーデルに挑む」の原論文第一節 p29に論理式は自然数の有限列で表されるとあって、その下の脚注8に「この有限列というは自然数の始切片で定義される数論的関数であって数が隙間を空けて並んでいるのではない」とありますが、ただ数が隙間を空けているものとすると、どのようにまずいのでしょうか（扱いにくくなってとても不便ことはわかりますが）。 このあとにゲーデル数を実際導入する際は素数を使って定義していますが、これは「自然数の始切片で定義される数論的関数」となっているのでしょうか（数論的関数なるものがどういうものなのかがよくわかっていないのです）。 またゲーデルが行ったのは、ある種の自然数がある性質をもつかどうか調べることが、体系内である論理式が証明できるかどうかを調べることになるということを、正確に定式化することだと考えているのですが、 前者の自然数の性質がどういった内容をあらわすか、つまりある自然数がどの論理式の証明可能性をあらわしているかは、数学は教えてくれず（解釈自体は体系内で行われることでなく）、人間が解釈を行う必要があるということでしょうか（もちろんゲーデル数の性質と記号変形としての証明の手順の間には対応があるので恣意的に解釈することは全く不可能ですが）。 変な質問になってしまって、恐縮ですが、お詳しい方お時間あればよろしくお願いします。
- 締切済み
- 数学・算数
- 数と式（整数問題）の入試の出題範囲について
高校数学の学習内容（数と式、整数問題）と大学入試の出題範囲についての質問です。 高校の授業では、「式の計算」「式の証明」「因数分解」「方程式と不等式」「複素数と方程式」などを習いますが、大学受験の問題には、不定方程式や倍数に関する問題などがよく出ています。私には、学校で習う範囲の問題と思えないのですが、基礎的なレベルから入試レベルの整数問題が解けるようになるまでの間に何があるのかわかりません。何をどのように勉強すればいいのかわかりません。難しい問題の解答の解説を読んでも理解できないです。基礎固めはできていますが、高校レベルの勉強だけしているようでは入試には通用しないのですか？ 相談内容をうまく説明できなくて申し訳ありませんが、どなたかアドバイスお願いします。
- ベストアンサー
- 数学・算数
- 場合の数、順列 について
高校数学Aの問題です。 (1)整数700の約数の中で正の数でかつ偶数であるものの個数と、それらの総和を求めなさい。 という問題なのですが、まず約数と出てきた時点で素因数分解をしてみたのですが、その後どのように考えればよいのかわかりません。（答えはありますが、後ほど掲載させてください。） 考え方のポイントを具体的に教えてくださるとうれしいです。どうかよろしくお願いします。
- ベストアンサー
- 数学・算数
- 3n+1 の素数について
３ｎ＋１ 型 の素数の無限性を証明せよ。 次のような証明をしようとしたが、うまくいきません。アドバイスをお願いします。 ３ｎ＋１型の素数は有限とし、最大な素数をｐとする。 k=3(7×13×・・・×ｐ)＋１ とおく。 ｋは合成数であるから、素因数分解され、３ｎ＋２型の偶数個の積になる。（３ｎ＋１型の最大素数がｐであることから） ＊このあとの証明がうまくいきません。よろしくお願いします。
- ベストアンサー
- 数学・算数
お礼
非常によくわかりました。ありがとうございます。しかし，１９番目は素数でしたか。なかなか計算ソフトで計算が終わらないので断念していたのですが…。素数の世界は奥が深いです。