No.2
- 回答日時:
力任せだけれど,次のように示せそうです。
[補題]
pを素数とする。qがpの倍数でない時,階乗(q*p^r)! を素因数分解したpの指数は
q*(1+p+p^2+p^3+・・・+p^(r-1))=q*{(p^r)-1}/(p-1)である。
[補題の証明]
1,2,・・・,qp^rまでに
pの倍数は,p,2p,3p,・・・,qp^(r-1)*pのq*p^(r-1)個である。
p^2の倍数は,p^2,2p^2,3p^2,・・・,qp^(r-2)*p^2のq*p^(r-2)個である。
p^3の倍数は,q*p^(r-3)個である。
・・・・
p^(r-2)の倍数は,q*p^2個である。
p^(r-1)の倍数は,q*p個である。
p^rの倍数は,p^r,2p^r,・・・,qp^rのq個である。
よって,
1,2,・・・,qp^rまでに
p^rの倍数はq個,
p^(r-1)の倍数でp^rの倍数でないものは,q(p-1)個,
p^(r-2)の倍数でp^(r-1)の倍数でないものは,q(p^2-p)=q(p-1)*p個,
・・・
p^(k-1)の倍数でp^kの倍数でないものは,q(p-1)*(p^(r-k))
・・・
p^2の倍数でp^3の倍数でないものは,q(p-1)(p^(r-3))個
pの倍数でp^2の倍数でないものは,q(p-1)(p^(r-2))個
よって,(q*p^r)!を素因数分解したpの指数は,
q(p-1)p^(r-2)+2*q(p-1)p^(r-3)+3*q(p-1)p^(r-4)+・・・+(r-1)*q(p-1)+r*q
=q{p^(r-1)-p^(r-2)+2p^(r-2)-2p^(r-3)+3p^(r-3)-3p^(r-4)+・・・+
(r-1)p-(r-1)+r}
=q{p^(r-1)+p^(r-2)+p^(r-3)+・・・+1)=q{(p^r)-1}/(p-1)
[補題の証明終わり]
さて,与式は組み合わせ(コンビネーション)nCm=n!/{m!(n-m)!}に
n=qp^r,m=p^rを代入した形である。
与式=(p^rq)C(p^r)=(q*p^r)!/{(p^r)!*((q-1)p^r)!}の
分子を素因数分解したpの指数=q{(p^r)-1}/(p-1)
分母を素因数分解したpの指数={(p^r)-1}/(p-1) + (q-1){(p^r)-1}/(p-1)
=q{(p^r)-1}/(p-1)
よって分子と分母のpの指数は同じであるため,与式全体のpの指数は0となる。
すなわち与式はpの倍数ではない。
No.3
- 回答日時:
#2です。
自分の証明を見直してみると,勝手にq<pの条件をつけていました。示せている補題は
「pを素数とする。q<pの時,階乗(q*p^r)! を素因数分解したpの指数は
q*(1+p+p^2+p^3+・・・+p^(r-1))=q*{(p^r)-1}/(p-1)である。」
です。
元の問題は
「素数p、任意の自然数q、rについて、p^r*q C p^r がpの倍数でない」
を主張していますが,これには反例があります。
p=3,q=3,r=1とすると「9C3は3の倍数でない」はずです。
しかし実際は9C3=9*8*7/(3*2*1)=84=3*28で3の倍数です。
示すべき問題には,
「素数p、任意の自然数q、r(ただしq<p)について、p^r*q C p^r がpの倍数でない」
か
「素数p、任意の自然数q、r(ただしqはpの倍数ではない)について、p^r*q C p^r がpの倍数でない」
のように付帯条件がつきませんか?
前者なら#2で証明できていそうです。
後者なら#2では不完全です。
この回答への補足
詳しくありがとうございます。
課題を出された段階では、そのような条件はありませんでしたが、
確かに反例の通り、このままだとおかしいですね。
もし後者の場合、どのような証明が考えられるでしょうか?
大学の教授が条件を書き忘れたとした場合、後者の方が有力なので、後者の証明が分かると大変助かります。
No.4
- 回答日時:
n = q(pのr乗) として、n の値を与えたとき、
r が一意に決まるか? を考えれば、
後者の条件がついているのが自然でしょうね。
A No.2 の証明で、ちゃんと示せていますよ。
No.5ベストアンサー
- 回答日時:
Alice先生ありがとうございます。
#2でよいのか,いまいち不安なので,「qはpの倍数でない」の付帯条件が付いた場合の証明を考えました。
コンビネーションnCm=n!/{m!(n-m)!}=Π[j=1→m](n-m+j)/jと書けます。
与式qp^r C p^r=Π[j=1→p^r]((q-1)p^r+j)/jとなります。ここで,
p^r個の因子,((q-1)p^r+j)/j (j=1,2,3,・・・,p^r)を考えます。
与式がpの倍数なら,これらの因子の分子にpの倍数があるはずです。
分子がp^k(k=1,2,・・・r-1)で割り切れる時,jがp^kの倍数です。
分母もp^kで割り切れるため,与式を素因数分解したpの指数に,因子は貢献しません。
分子がp^rで割り切れる時はj=p^rの場合で,因子はqそのものです。
仮定によりqはpの倍数でないので,与式を素因数分解したpの指数に,因子は貢献しません。
よって,因子の中にpの倍数がないので,その積である与式もpの倍数ではありません。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 数学の解法について こんばんは。最近数学の問題を解いています。証明問題を解いたのですが、解答とアプロ 4 2022/09/11 23:22
- 数学 数学の複素数の証明問題です。 (1)複素数全体の集合に2要素間の実数と同様な大小を定義できないことを 2 2022/08/28 11:17
- 数学 0でも無限でもない。 4 2023/04/22 19:12
- 中学校 中3の数学の問題の四季と計算の利用という分野の問題がいくつか分かりません 助けてくださいm(_ _) 2 2022/05/05 21:23
- 数学 原始関数の存在性の証明について 数学科の3回生です。院試の勉強でつまづいたので助けてほしいです。 R 6 2022/11/13 19:19
- 数学 某大学の数学入試問題で、フェルマーの定理絡みの問いがありました。 9 2023/02/14 08:35
- 数学 大学数学の代数の問題です pは素数p>2とする 位数2pの郡は可解郡であることを証明せよ どなたかお 4 2022/12/08 16:53
- 数学 上三角行列のn乗の証明 2 2023/07/23 21:45
- 数学 8の倍数の証明(nの倍数の証明)をするとき、 k,lを整数とすると、−8(k+l)が8の倍数って答え 3 2022/12/02 17:59
- 数学 ABC予想を証明した望月教授の論文が欧米で認められないのは人種差別ですよね? 4 2022/04/11 10:20
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
有理数と無理数が無限個あること
-
証明終了の記号。
-
数学の「証明」のときなどの接...
-
rankに関する証明問題です。
-
数学の証明問題で、「証明終了」...
-
無理数って二乗しても有理数に...
-
よって・ゆえに・したがって・∴...
-
素数の性質
-
じゃらんで旅行予約をしたので...
-
原始関数の存在性の証明につい...
-
兄弟の子どもの養子縁組は可能...
-
巡回群と巡回群の直積は巡回群?
-
liman=a(n→∞)、limbn=b(n→∞)な...
-
婿養子です、妻と離婚して妻の...
-
大学の二次試験で・・・
-
次元定理以外で
-
「証明証」と「証明書」はどう...
-
夫が亡くなった後の義理家族と...
-
数学Aの整数の性質について質問...
-
心霊漫画家で新興宗教団体の教...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
数学の「証明」のときなどの接...
-
3,4,7,8を使って10を作る
-
証明終了の記号。
-
婿養子に入ったのに出て行けと...
-
数学の証明問題で、「証明終了」...
-
「証明証」と「証明書」はどう...
-
素数の積に1を加算すると素数で...
-
夫が亡くなった後の義理家族と...
-
よって・ゆえに・したがって・∴...
-
学割定期を親に買ってきてもら...
-
(4^n)-1が3の倍数であることの...
-
再婚、奨学金
-
素数の性質
-
なぜ独身だと養子が持てないの...
-
元夫が彼女の存在を隠す理由
-
成人した後両親が離婚し別の人...
-
大学の給付型奨学金について 現...
-
直角三角形の性質
-
通学証明書の契印とは
-
無理数って二乗しても有理数に...
おすすめ情報