- ベストアンサー
自然数の数列
自然数からなる数列a[1],a[2],a[3],...,a[n],...で、 ・n→∞ のとき ω(a[n])→∞ ・任意のnについて φ(a[n]) | a[n]^2 をどちらもみたすものの例を教えて下さい。 ω(m)は自然数mの素因数の個数、 φ(m)はm以下でmと互いに素な自然数の個数、 k | m は自然数mが自然数kで割り切れる、 を表しています。
- みんなの回答 (1)
- 専門家の回答
質問者が選んだベストアンサー
関連するQ&A
- 7で割ると3余り、11で割ると4余る3ケタの自然数は何個あるか。
7で割ると3余り、11で割ると4余る3ケタの自然数は何個あるか。 という問題で、 N=7m+3=11k+4とおいて、 m=(11k+1)/7 =k+(4k+1)/7 より、4k+1=7n k=(7n-1)/4 を代入して、 N=11{(7n-1)/4}+4 =(77n+5)/4 100≦N<1000より 100≦(77n+5)/4<1000 6≦n≦51 51-6+1=46個? となりました。 でも正解は12個でした。 知っている他のやり方でこの問題をすると、 7m+3=11k+4 7m=11k+1…(1) の一例を考えて入れてみて、 7*8=11*5+1…(2) (1)-(2)より、 7(m-8)=11(k-5) 7と11は互いに素であるので、 m-8=11nより m=11n+8 これをNの式に代入して、 N=77n+59 100≦77n+59<1000 1≦n≦12 ∴12個 となり、正解にたどりつけました。最初の方法でなぜ正解にたどりつけなかったのかがわかりません。何か条件を忘れているのでしょうか。2つのやり方の違い、最初のやり方の不足点を教えてください。
- ベストアンサー
- 数学・算数
- 論理的な誤りがあるなら指摘して
いまnを3以上の自然数、mを自然数とする。 f(n)を「nと互いに素でnよりも小さい自然数の個数」と定義します。 f(6)なら、1、2、3、4、5のなかで互いに素なのは、1、2、4、5の4個よりf(6) = 4です。 さてm<nのときにmとnが互いに素なら、n-mとnも互いに素です(これは証明されたとします) このときf(n)が偶数であることを証明します。 ------------ k∈Nとして n = 2k+1のとき {1、2・・k}の集合をA {k+1、k+2・・2k}の集合をBとする。集合Aでnと互いに素な自然数をrとすると、 1≦ r ≦ k ⇔ n-k ≦ n-r ≦ n-1 ⇔ k+1≦ n-r ≦ 2kより互いに素なn-rは必ず集合Bに存在するので、集合Aの互いに素な個数とBの個数は同数なので、f(n)は偶数になる n = 2k+2のとき {1、2・・k}の集合をA {k+2、k+2・・2k+1}の集合をBとする。 {k+1}の集合をCとする 集合Cにおいて、n =2(k+1)とk+1は因数としてk+1(≧2)を持つので互いに素ではないのは 明らか。 集合Aでnと互いに素な自然数をrとすると、 1≦ r ≦ k ⇔ n-k ≦ n-r ≦ n-1 ⇔ k+2≦ n-r ≦ 2k+1より互いに素なn-rは必ず集合Bに存在し、さきほどと同じ議論になるので、f(n)は偶数になる qed で何か誤りがあるかね?
- 締切済み
- 数学・算数
- 数列{an}、{bn}の共通項から数列作成問題
よろしくお願いします。 an=8n-2 bn=6n+2 とする。 数列{an}と{bn}に共通して現れる数を小さい順に並べて新しい数列{cn} を作る時、cnの初項と公差を求めよ。 という問題で anの第m項と、bnの第n項が等しくなるから、 8m-4=6n+2 ⇔2(2m-1)=3n これより2と3は互いに素だからn=2k と表せられる。 よってbnのnに2kを代入して、 cn=b2k=6(2k)+2=12k+2 ゆえにcn=12n+2 と解きましたが間違っておりました。 解答では、 an=8n-2=8(n-2)+14 bn=6n+2=6(n-2)+14 と変形できる。am=bnとすると8(m-2)+14=6(n-2)+14 よって 4(m-2)=3(n-2), m≧2、 n≧2 4と3は互いに素だから、kを自然数として m-2=3(k-1) よってm=3k-1からcnはanの第3k-1項であり、 8(3k-1)-2=24k-10=14+(k-1)*24 したがって初項14、公差24である。 と解いてありました。 私の解答のどこがいけないのか、解答は一体何をやっているのか を教えて下さい。 よろしくお願いします。
- ベストアンサー
- 数学・算数
- 平方数でない自然数の数列
自然数の数列 1 2 3 4 5 6 7 8 9 10 11 ,,, から 平方数の数列 1 4 9 16 ,,, を取り除くと、 平方数でない自然数の数列 2 3 5 6 7 8 10 11 12 13 14 15 17 ,,, が得られますが、その一般項a[n]は、 a[n] = n + [1/2 + √n] または a[n] = n + [ √( n + [ √n ] ) ] と表されるそうなのですが、どうのように求めればよいのでしょうか?
- ベストアンサー
- 数学・算数
- 数列と整数の融合問題?
(1) 実数a,b,cはa<b<cを満たすとする。このときa,b,cを項として含む等差数列が存在するためには、適当な自然数k,tによってb=(ka+tc)/(k+t)と書き表せることが必要十分である。このことを示せ。 (2) nを自然数とする。このとき3つの実数logn,log(n+1),log(n+2)を項として含む等差数列は存在しないことを示せ。 解(2)(1はわかります) この3つの数を含む等差数列があれば、適当な自然数k,tによって log(n+1)={klogn+tlog(n+2)}/(k+t) と表される。 これより、 log(n+1)^(k+t)=logn^k+log(n+2)^t ∴(n+1)^(k+t)=n^k×(n+2)^t …(1) n=1のとき、2^(k+t)=3^tで成立しない。 「 n>1のとき、n+1とnは互いに素でないとすると、 n+1=m(1)p 、n=m(2)pとなる1より大きいpがあって、辺々ひくと、 {m(1)-m(2)}p=1 (p>1)より矛盾する。 よって、n+1とnは互いに素だから(1)は矛盾 よって、題意が成立する。 」 「」の部分がどうもよくわかりません。一応整数関係の問題は一通りやったのですが…。 (1)でn+2に関しては何もしなくてもよいのでしょうか? それと、整数問題ではこの解法自体あまりみたことないので、こういう解法もあると覚えていたらよいのでしょうか? もしもう少し分かりやすい解法があればよろしくお願いします。
- ベストアンサー
- 数学・算数
- 素数は無限に多く存在することの証明(ユークリッドの別証)を二つの添削
ユークリッドの証明は背理法を用いた証明。 素数を有限個とするならその最大素数をpnとして素数を小さい順にp1,p2,…,pnとした時 N=p1*p2*p3*…pn + 1 全ての自然数は素因数に分解できるのでp1~pnの少なくとも一つ因数に持つはずだが、どれで割っても1あまる。これはpnが最大の素数であることに矛盾 素数は無限に存在する。 といった証明。今回はこれの別称として以下の漸化式を用いたものを解けという問題です。 ◆a_{n}:=2^(2^n) + 1, n=1,2,3,… を用いた証明 この時任意のm≠nに対しa_{m}, a_{n}は互いに素である。実際n>mの時 a_{n} - 2 = 2^(2^n) - 1 ={2^2^(n-1) + 1}{2^2^(n-1) - 1} =a_{n-1}*(a_{n-1} - 2) =a_{n-1}*a_{n-2}*…*a_{m}*(a_{m} - 2) となるのでa_{m},a_{n}の公約数dは2の約数でなければならない。他方a_{m},a_{n}は奇数であるから(←漸化式より)d=1となる。すると各a_nを素因数分解すると少なくとも一つ素因子pnが得られ、これらはnが異なれば一致しない。かくして無限個の素数p1,p2,p3,…,pn,…が得られた□ ◆正整数の列a_nを次のように定める a_{n+1} = a_{n}*(a_{n} - 1) + 1, a_{1} = 2 これを用いて素数が無限であることを示すのですが 任意のm≠nに対して a_{n} - 1 = a_{n-1}*(a_{n-1} - 1) = a_{n-1}*a_{n-2}*(a_{n-2} - 1) = a_{n-1}*a_{n-2}*…*a_{m}*(a_{m} - 1) よりa_{n},a_{m}の公約数は1の約数でなければならない。よってa_{n},a_{m}は互いに素である。 すると各a_nを素因数分解すると少なくとも一つ素因子pnが得られ、これらはnが異なれば一致しない。かくして無限個の素数p1,p2,p3,…,pn,…が得られた□ これら2つの証明はこれであっているでしょうか?
- ベストアンサー
- 数学・算数
- 数列の自然数の2乗和
数学Bの数列の範囲で 自然数の2乗の和は1/6n(n+1)(2n+1)で求められるとなっていて それの証明が 恒等式k^3-(k-1)^3=3k^2-3k+1でkに1からnまでを順々に代入して求めたn個の等式の両辺を加えるというものでした たしかにこれで1/6n(n+1)(2n+1)は求められたのですが なぜいきなり恒等式k^3-(k-1)^3=3k^2-3k+1が出てきたのか分かりません なにか他に違う求め方とかあるのでしょうか?
- 締切済み
- 数学・算数
- 素因数分解の一意性?????
m,n,p,qをすべて互いに素な自然数とした時に、 2^n・p^m=q^mにおいて、 素因数分解の一意性より、qは2の倍数である。 素因数分解の一意性ってどういうことなのでしょうか?
- ベストアンサー
- 数学・算数
- Lifebook UHseries PCの裏側の丸いゴムのスペーサーが片方だけ取れて不安定になりました。
- 困っていますので、料金をお支払いしてゴムのスペーサーを送っていただけないでしょうか?
- ご連絡をお待ちしています。
お礼
ありがとうございました。 このように考えるのか、と とても勉強になりました。