面白い問題おしえて～な 二十二問目©2ch.net
レス数が1000を超えています。これ以上書き込みはできません。
(1)の模範解答
（n=0のときはC[2015,n]=1で奇数）
まず1≦n≦1008について考える
C[2015,n]
=(2015*2014*…*(2015-n+1))/(n*(n-1)*…*1)
=Π[k=1,n] (2016-k)/k …①
k=2^a*b (bは奇数)とおくと
(2016-k)/k
=((2^5*63)-(2^a*b))/(2^a*b)
=(2^(5-a)*63-b))/b …②
k≦31のとき、a≦4であるから
②は分子分母共に奇数、よってそれらの積の①も奇数
k=32のとき、a=5であるが
このとき②は分子が偶数（・分母が奇数）となり①も偶数になる …★
a=6,7,8,9 (k=64b,128b,256b,512b)のとき、②の分子が奇数・分母が偶数となるが
①の分子の素因数の2の指数sと、①の分母の素因数の2の指数tを比較したのが次表
1009≦n≦2014のときはC[2015,n]=C[2015,2015-n]で求められる
以上より、C[2015,n]が偶数になるのは
32b≦n＜32(b+1) （bは61以下の奇数）
b=2m-1とおけば
64m-32≦n＜64m （mは31以下の自然数） 順に
kの最大値(=n) s t ①の偶奇
（000～031 00 00 奇）
032(=2^5*01)～063 01 00 偶
064(=2^6*01)～095 01 01 奇
096(=2^5*03)～127 03 01 偶
128(=2^7*01)～159 03 03 奇
160(=2^5*05)～191 04 03 偶
192(=2^6*03)～223 04 04 奇
224(=2^5*07)～255 07 04 偶
256(=2^8*01)～287 07 07 奇
288(=2^5*09)～319 08 07 偶
320(=2^6*05)～351 08 08 奇
352(=2^5*11)～383 10 08 偶
384(=2^7*03)～415 10 10 奇
416(=2^5*13)～447 11 10 偶
448(=2^6*07)～479 11 11 奇
480(=2^5*15)～511 15 11 偶
512(=2^9*01)～543 15 15 奇
544(=2^5*17)～575 16 15 偶
576(=2^6*09)～607 16 16 奇
608(=2^5*19)～639 18 16 偶
640(=2^7*05)～671 18 18 奇
672(=2^5*21)～703 19 18 偶
704(=2^6*11)～735 19 19 奇
736(=2^5*23)～767 22 19 偶
768(=2^8*03)～799 22 22 奇
800(=2^5*25)～831 23 22 偶
832(=2^6*13)～863 23 23 奇
864(=2^5*27)～895 25 23 偶
896(=2^7*07)～927 25 25 奇
928(=2^5*29)～959 26 25 偶
960(=2^6*15)～991 26 26 奇
992(=2^5*31)～1008（～1023） 31 26 偶
… sは、a=5のときに、63-bの素因数の2の指数だけ増える。
tは、a=6,7,8,9のときに、a-5だけ増える。
Wolfram AlphaはC[2015,1008]（605桁）も計算できるので、適当なnで計算させて上の解答を確認できる。
入試問題として出た際は★を求めさせるまで。それ以降は非本質なので、無駄に拡張するべきではなかった。
2進数で解く方法（n=*****1*****と表せることを示す）もあるが、ググれば出てくるので割愛。
出典：東大2015前期数学（理科）5 改題 ■■■馬鹿板を続けたらオツムがスポンジ脳になるのでサッサと足を洗うべき。■■■
￥ (4)
1は任意のa_nと互いに素。
2はa_1=10と互いに素ではない。
3はa_2=48と互いに素ではない。
5以上の素数pで、任意のa_nと互いに素になるものは無いことを示す。
以下、pを法として
6(a_(p-2))
=6(2^(p-2)+3^(p-2)+6^(p-2)-1)
=3*2^(p-1)+2*3^(p-1)+6^(p-1)-6 …★
≡3*1+2*1+1-6 （∵フェルマーの小定理）
≡0
6とpは互いに素であるから
a_(p-2)≡0
（例えばp=5ならば、a_3=250≡0でa_3はpの倍数であり、pと互いに素ではない。）
素数で、任意のa_nと互いに素になるものは無いことが示された。よって、素数の積で表せる合成数についても、任意のa_nと互いに素になるものは無い。
以上より、与条件を満たすのは1のみ。
フェルマーの小定理（の系）：素数p、pと互いに素な自然数aについてa^(p-1)≡1 mod p
★で2,3,6がそれぞれpと互いに素であるのを利用した。
出典：IMO2005-4 (5)
i) m=nのとき
(与式)=n+1/(n-1)が整数になるのはn=2、すなわち(m,n)=(2,2)
ii) m>nのとき
n=1のときm=2,3、すなわち(m,n)=(2,1),(3,1)
n≧2のときを考える。
以下、nを法として
与式が整数のとき
n^3+1≡1, mn-1≡-1より(与式)≡-1であり …☆
(与式)=kn-1 （kは自然数）
とおける
kn-1=(n^3+1)/(mn-1)<(n^3+1)/(n^2-1)=n+1/(n-1)
∴(k-1)n<1+1/(n-1)≦2
よってk=1、n^3+1=(mn-1)(n-1)
∴m=(n^2+1)/(n-1)=n+1+2/(n-1)
これが整数になるのはn=2,3、すなわち(m,n)=(5,2),(5,3)
iii) m<nのとき
与式の対称性よりiiと同じ議論ができ
(m,n)=(1,2),(1,3),(2,5),(3,5)
以上より、(m,n)=(1,2),(1,3),(2,1),(2,2),(2,5),(3,1),(3,5),(5,2),(5,3)
このスレが埋まりそうなので、もう一問解答発表。
元々の問題をそのまま出したら出したで難易度が高すぎるんだよなぁ…
出典：IMO1994-4 （☆でさらっと1/(-1)=-1を行っているが、これは自明じゃない気がするなあ） >>989
m=nだから
(与式)
=(n^3+1)/(n^2-1)
=(n+1)(n^2-n+1)/(n+1)(n-1)
=(n^2-n+1)/(n-1)
={n(n-1)+1}/(n-1)
=n+1/(n-1)
だと思う ★★★忖度と処世術に汚染された日本人：権威主義的な支配と損したくない人達★★★
～～～芳雄氏が言う『研究者としての基本的態度』とは一体何だろうか～～～
佐藤幹夫：自分自身の素朴な疑問に真剣に耳を傾ける。⇒不滅の金字塔を打ち立てる。
糞父芳雄：人間関係を駆使し他人を操り根回しを行う。⇒ハリボテお教授として君臨。
隠蔽の財務省、嘘吐きの文科省、そして問答無用に屈服させる官邸。コレでも先進国？
（佐藤師がしてたのは本物の研究だ。だが）芳雄氏がしてたのはケケケ、ケンキュウ。
外見を繕って偉そう見せさえすれば何でもヨロシ。ほんで教授になりさえすれば研究の
中身なんて何でもヨロシ。そもそも論文なんてモンは、外国の権威ある雑誌に掲載され
さえすれば、その中身のギロンなんて何でもヨロシ。そやし適当に書いてしまえ～～～
中身がダメだと知ってて、ソレでもSTAP論文を外国に投稿して受理される。発覚したら
適当に言い逃れる醜い態度。オツムのダメな大学院生に「虚偽の良品ラベル」を貼って
世間に出荷するハリボテ大学は詐欺行為そのもの。世間に媚びを売って客商売に徹し、
『売れさえすれば学生の脳の質なんて何でもヨロシ』と居直る大学。そしてブランド名
だけを見て仕入れる世間。●●は一流大学やさかい、きっと優秀なエリートやろｗｗｗ
中身を何も説明しないで、問答無用に上から押し付ける。ソレをイチャモンで騒いで、
そして邪魔して潰そうとする周囲の下々。大学教員も国会議事堂も、そして馬鹿板人の
遣ってる事も皆同じだ。日本人はバカ民族であり、今は外国にもちゃんとバレてるので
海外からも軽蔑されるだけであり、そのうちにどの国からも信用されなくなるだろう。
近視眼的で打算的な人生観を息子に押し付ける父親と、大脳に栄養が足りてない連中が
跋扈する永田町や霞が関に支配される国に住む不幸、一体どうしてくれるというのか。
■■■馬鹿板を習慣にすれば脳が悪くなります。そやし数学徒には特にダメです。■■■
猫 このスレッドは１０００を超えました。
もう書けないので、新しいスレッドを立ててくださいです。。。
life time: 380日 9時間 15分 23秒 ２ちゃんねるの運営はプレミアム会員の皆さまに支えられています。
運営にご協力お願いいたします。
───────────────────
《プレミアム会員の主な特典》
★ ２ちゃんねる専用ブラウザからの広告除去
★ ２ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────
会員登録には個人情報は一切必要ありません。
月300円から匿名でご購入いただけます。
▼ プレミアム会員登録はこちら ▼
https://premium.2ch.net/
▼ 浪人ログインはこちら ▼
https://login.2ch.net/login.php レス数が1000を超えています。これ以上書き込みはできません。
