離散数学の問題の解説
- 自然数nの素因数分解と約数の和を求める問題について解説します。
- 約数の和を求める公式について述べ、その証明方法を解説します。
- 証明の進め方が分からない場合でも、解説を参考に進めることができます。
- ベストアンサー
離散数学の問題
離散数学の問題 （書き方がよく分からないので、ちっちゃくしたに書く文字の前には _ をつけておきました） 自然数nは n=p_1^e_1*p_2^e_2*...p_r^e_r （p_1<...<p_r,e_1,...,e_r≧0） という形に素因数分解できるとする。 次の問いに答えよ。 nの全ての異なる正の約数の和をσ(n)とする。 例えばσ(8)=1+2+4+8=15です。 このときσ(n)=p_1^e_1+1 -1/p_1-1 *p_2^e_2+1 -1/p_2-1*...p_r^e_r+1 -1/p_r-1 となることを示せ。 上の式で１文字ぶん空けてあるところが所々ありますが、これは指数部分の終わりを示しています。 証明をどのように進めていけばよいかわかりません。 分かる方、助けてください。
- exymezxy09
- お礼率94% (194/205)
- 数学・算数
- 回答数1
- ありがとう数10
- みんなの回答 （1）
- 専門家の回答
質問者が選んだベストアンサー
こんにちわ。 数式は、空白ではなくきちんと括弧をつけた方がよいです。 σ(n)={ p_1^(e_1+1)- 1 }/(p_1- 1)* { p_2^(e_2+1)- 1 }/(p_2- 1)* ...{ p_r^(e_r+1) -1 }/(p_r- 1) 約数が素因数の「どのような組合せ」になっているかを考えれば、証明が見えてきます。 例として、216の約数の和を示す方法を添付します。
関連するQ&A
- 離散数学の問題
離散数学の問題 （書き方がよく分からないので、ちっちゃくしたに書く文字の前には _ をつけておきました） 自然数nは n=p_1^e_1*p_2^e_2*...p_r^e_r （p_1<...<p_r,e_1,...,e_r≧0） という形に素因数分解できるとする。 次の問いに答えよ。 nの全ての異なる正の約数の和をσ(n)とする。 例えばσ(8)=1+2+4+8=15です。 このときσ(n)=(p_1^e_1+1 -1)/(p_1-1) *(p_2^e_2+1 -1)/(p_2-1)*・・・(p_r^e_r+1 -1)/(p_r-1) となることを示せ。 上の式で１文字ぶん空けてあるところが所々ありますが、これは指数部分の終わりを示しています。 証明をどのように進めていけばよいかわかりません。 分かる方、助けてください。
- ベストアンサー
- 数学・算数
- 約数の和を求める方法
高校数学の内容の、 約数の和を求める方法について質問です。 自然数Pの約数の和には以下のように求められるかと思います。 「Pの約数の和Nは、Pの素因数のそれぞれを階乗ごとに合計し、 和同士を掛け合わせればいい。」 N = (1+q+q2+q3+....+qa)(1+r+r2+r3+....+rb)(1+s+s2+s3+.....+sc) となると思います。 「q2」のように数と文字がくっついてるものの数字の部分は指数です。 で、 なぜこの形で和の合計が求められるのかが、 いまいち理解できないんです。 上記のカッコでくくられた中の数字が、素因数それぞれの階乗の和で、それを全部足すとNを割り切る階乗の形になる数の合計であることは理解できます。 しかし、なぜ掛け合わせると、全部の数の合計になるのか？ ちょっと質問がわかりにくいかもしれませんが、 気になってしまっています。 よろしくお願いします。
- ベストアンサー
- 数学・算数
- 数学Iの知識を使う問題のようです
塾で出た問題です。 始めて見る問題で、新高一の自分には難しすぎます・・・ この問題の類題のテストを近いうちに実施するようなので、できれば早いお答えをお願いします。 （問題） 完全数Nと素数p,qがある（但しp≠qである） 尚、完全数Nとは、Nを除くNの約数の和がNと等しい数の事である ex）6の6を除く約数の和は1＋2＋3＝6 よって、6は完全数と言える (1）N＝pqの形をとれるNを全て求めろ (２)Ｎ＝p^qの形をとれるNを全て求めろ（p^はpの二乗です） 僕は、「N＝pqなら1＋p＋q＝pqなので、pq－p－q－1＝0の形にして因数分解しよう。」と考えたのですが、p(q－1）－(q＋1）＝0の形にしかならず、そこで手づまってしまいました。 (2）も同様に行き詰りました。 やはり、因数分解はしないのでしょうか・・・？ 因みに、完全数の知識があれば数学Iまでで習う知識で解けるようです。 答えだけでなく、考え方、途中式等もお願いします。
- ベストアンサー
- 数学・算数
- 離散数学の証明問題
離散数学の証明問題 合同でないことを≡×と表します。 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)は証明方法がまったく分かりません。 分かる方、証明お願いします。
- ベストアンサー
- 数学・算数
- 素因数分解の証明問題
素因数分解の証明問題 証明方法がわかりません。 自然数の素因数分解をn=(P_1)^e_1(p_2)^e_2・・・(p_r)^e_rとする。このとき、 φ(n)=n｛1-(1/p_1)｝｛1-(1/p_2)｝・・・｛1-(1/p_r)｝となることを示せ。 ただし、自然数m,nに対して、gcd(m,n)=1ならば、φ(mn)=φ(m)φ(n)であることを用いよ。 よろしくお願いします。
- ベストアンサー
- 数学・算数
- 素因数分解の問題
久々に素因数分解の問題を解いてみようとしたところ、いきなり躓いてしまいました。 二桁の整数ｎに１６８をかけると、ある数の二乗になりました。この整数ｎはいくらになるかという問題です。 １６８を素因数分解し、ｎ×１６８＝ｎ×２＾３×３×７となることは分かります。 これから先、どのように組み立てて解けばよいのか分かりません。 解説では、各素数が偶数個になるように解くと書かれており、ある数の二乗になるため、 ｎ＝２×３×７×ｍ＾２となっていました。 どうしてこのような式なるのですか？ A＝A＾p×ｂ＾q×c＾rとなっている時、各指数がすべて偶数（２の倍数）なっていれば、Aは何かの二乗になることは確かめてみました。
- ベストアンサー
- 数学・算数
- この数学的帰納法を用いた証明問題がわかりません。
この数学的帰納法を用いた証明問題がわかりません。 （２）n 回微分可能な関数f(x) のn 次導関数をf^(n)(x) で表しf^(0)(x) = f(x) と定 義するとき，次の公式(Ｐ) が成立する．以下の問(ａ), (ｂ) に答えなさい． (Ｐ)d^n/dx^n ( e^xf(x) ) =Σ(r=0からn)ｔ(n r)e＾xf＾(r)(x) （ n ≧ 1, t(n r)=n!/( r!(n - r)! ) ） (ａ) g(x) = x^2e^x のn 次導関数g^(n)(x) を求めなさい． (ｂ) 数学的帰納法を用いて公式(Ｐ) を証明しなさい．ただし，必要であれ ば次の性質を用いてよい． t(n ,r - 1)+t(n,r)=t(n + 1,r) （r ≧ 1; n ≧ r） -------------------------------------------------------------- 画像が見づらくて申し訳ありません。 (a)はh(x)=x^2と置くと、 g^(n)=d^n/dx^n( e^xh(x) )=Σ(rからn)e^x h^(r) (x) これで合っていますか？ (b)は n=1のときは明らかに成り立つ。 n=k(kは自然数)のとき成り立つと仮定し、n=k+1のときの式変形がどうもうまくいきません。 (n≧3のときh^(n)=0であるのはわかります。) どなたか解説をよろしくお願いします。
- ベストアンサー
- 数学・算数
- 離散数学の問題について質問させていただきます。
離散数学の問題について質問させていただきます。 以下の2つの問題がどうしても分かりません。 解答・解説ともに手元に無く、大変困っております。急を要しております。 どうか力をお貸し下さい。よろしくお願いします。 (1)可算集合の高々可算個の和集合が可算集合であることの証明 (2)Nを自然数全体の集合（N = {1,2,3…})としたとき、Nのべき集合すなわちすべての部分集合の集合は、可算集合でないことの証明
- ベストアンサー
- 数学・算数
お礼
参考にさせていただきます。 ありがとうございました。