- 1 名前：１３２人目の素数さん mailto:sage [2008/01/07(月) 20:54:04 ]
- 理系で数学が得意な高校生が２５～５０分で
解ける問題を考えてうぷするスレ。
これ以上の難易度の問題はスレ違いとなります。
関連スレへどうぞ
- 52 名前：１３２人目の素数さん mailto:sage [2008/01/21(月) 12:15:37 ]
- (（ ⌒ ））＿☆ﾉﾉハヽ＿＿＿
（( （≡三（＿リﾉ‘ヮ‘ﾘ＿＿（）
（( ⌒ ）） （ ニつノ MASUDAセンター英語の点数酷過ぎﾜﾛﾀwww
(（ ) ,‐（＿ ￣ｌ
し―（＿_）
- 53 名前：１３２人目の素数さん [2008/01/21(月) 14:16:41 ]
- >>52
それもなんか違うｗ
- 54 名前：1stVirtue ◆.NHnubyYck [2008/01/21(月) 16:17:10 ]
- 他に笑う方法がないならもう笑わなくてよい。
- 55 名前：１３２人目の素数さん mailto:sage [2008/01/21(月) 17:30:09 ]
- あれ？king逮捕されたんじゃなかったのか？
- 56 名前：１３２人目の素数さん mailto:sage [2008/01/21(月) 21:24:19 ]
- >>49
b[k,1],…,b[k,k] の最小公倍数を L[k] とする代わりに、
b[k,k]! を L[k] とすれば >>26 になりますね
- 57 名前：１３２人目の素数さん [2008/01/22(火) 00:49:41 ]
- MASUDAのHPの日本数学オリンピック本選予想模試より
【3】
0以上の全ての実数xについて定義される関数f(x)は以下の条件をみたす．
f(0)=0
f(x)=x-f(f(x-1))
x≦y⇔f(x)≦f(y)
このとき，f(x)を求めよ．
- 58 名前：１３２人目の素数さん mailto:sage [2008/01/22(火) 03:01:58 ]
- a=(√5-1)/2
n≦x≦n+1におけるf(x)は
・[(n+1)a]=[(n+2)a]のときf(x)=[(n+1)a]
・[(n+1)a]=[(n+2)a]-1のときf(x)=x+[(n+1)a]-n
- 59 名前：１３２人目の素数さん mailto:sage [2008/01/22(火) 10:27:41 ]
- 3つの条件を全て満たす関数fが存在したとする。
1番目の条件と2番目の条件から
f(1)=1-f(f(0))=1-f(0)=1
f(2)=2-f(f(1))=2-f(1)=1
すなわち
f(1)=f(2)=1
とくに
f(2)≦f(1) (何故ならば a=b⇒a≦b は真だから。a=f(2),b=f(1)としてみよ)
すると3番目の条件から
f(2)≦f(1)⇒2≦1
となり、不合理。したがって条件を満たすfは存在しない。
- 60 名前：１３２人目の素数さん mailto:sage [2008/01/22(火) 13:09:21 ]
- >>59
馬鹿か
f(1)とf(2)を持ち出した時点で1≦2は確定してるだろが
そこからなんでf(2)≦f(1)とかできるんだよ
- 61 名前：１３２人目の素数さん [2008/01/22(火) 13:16:41 ]
- (ﾟДﾟ )ﾊｧ?
- 62 名前：１３２人目の素数さん mailto:sage [2008/01/22(火) 13:36:55 ]
- >>57
xが自然数のときの点をいくつか取ってみたんだけどこんなの式で表せるの？
- 63 名前：１３２人目の素数さん [2008/01/22(火) 13:43:03 ]
- >>62
つ>>58
- 64 名前：１３２人目の素数さん mailto:sage [2008/01/22(火) 13:58:33 ]
- >>60
俺も>>59馬鹿じゃねーの、と思ったが
問題の条件x≦y⇔f(x)≦f(y) を考えると正しいな
設問が間違ってる、x≦y⇒f(x)≦f(y) にしなくてはならない
- 65 名前：１３２人目の素数さん mailto:sage [2008/01/22(火) 14:05:18 ]
- >>64
混乱してきた
xに具体的数値を代入した時点で条件からf(1)≦f(2)は確定すると思うんだが
- 66 名前：１３２人目の素数さん [2008/01/22(火) 14:08:53 ]
- >>65
池沼
- 67 名前：１３２人目の素数さん [2008/01/22(火) 14:42:54 ]
- >>60>>65
f(2)≦f(1)は「x≦y⇔f(x)≦f(y)」から導き出されたのではない。
- 68 名前：１３２人目の素数さん mailto:sage [2008/01/22(火) 15:04:36 ]
- x≦y⇒f(x)≦f(y)じゃ解けなかったりしてｗ
- 69 名前：１３２人目の素数さん mailto:sage [2008/01/22(火) 15:14:23 ]
- 欠陥多すぎるができないことはない
- 70 名前：１３２人目の素数さん mailto:sage [2008/01/22(火) 15:34:28 ]
- MASUDAへ
1/21のB問題間違えてると思うんだが。
十分小さいABを取れば速攻で証明されない？
- 71 名前：１３２人目の素数さん mailto:sage [2008/01/22(火) 15:38:24 ]
- お前ら益田のとこ行ってやれ
益田益田うるさい
いつから益田スレになったんだよ
- 72 名前：１３２人目の素数さん mailto:sage [2008/01/22(火) 15:40:47 ]
- じゃおめーが面白い問題だせよ、無能がｗ
- 73 名前：１３２人目の素数さん [2008/01/22(火) 15:41:53 ]
- >>70
半円を白、半円を黒って意味じゃないんだろたぶん
- 74 名前：１３２人目の素数さん mailto:sage [2008/01/22(火) 15:46:41 ]
- >>73 どんな塗り方してもAB小さくすれば条件満たすABCDが存在するだろ
- 75 名前：１３２人目の素数さん mailto:sage [2008/01/22(火) 15:48:35 ]
- 黒と白が一点のみからなってるとするとそうはいかない
- 76 名前：１３２人目の素数さん mailto:sage [2008/01/22(火) 15:50:43 ]
- 稠密分布ならどんな近辺にも黒白存在するからそれはそれで自明じゃね？
つーか稠密分布なんて明らかに高校生には範囲外だ。
- 77 名前：１３２人目の素数さん mailto:sage [2008/01/22(火) 15:52:00 ]
- どんな近辺にも黒白存在するからといってABCDが存在するか？
- 78 名前：１３２人目の素数さん [2008/01/22(火) 15:54:22 ]
- 益田厨UZEEEEEEEEEEEEE
- 79 名前：１３２人目の素数さん mailto:sage [2008/01/22(火) 15:55:03 ]
- >>78
お前の方がうざぇよ
- 80 名前：１３２人目の素数さん [2008/01/22(火) 15:59:42 ]
- >>79
日本語でおｋｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ
- 81 名前：１３２人目の素数さん [2008/01/22(火) 16:14:09 ]
- 馬鹿に馬鹿と言われた>59が不憫でなりません。
- 82 名前：１３２人目の素数さん mailto:sage [2008/01/22(火) 16:14:12 ]
- >>74
大学生には自明だが
高校生が自明とするのは無理だろ
- 83 名前：１３２人目の素数さん mailto:sage [2008/01/22(火) 16:16:38 ]
- なんで？
- 84 名前：１３２人目の素数さん mailto:sage [2008/01/22(火) 16:23:42 ]
- >>81
ホントそれ
このスレ馬鹿多すぎ
- 85 名前：１３２人目の素数さん mailto:sage [2008/01/22(火) 16:27:55 ]
- 自分がその”馬鹿”である事に気づいていない、最高の馬鹿。
- 86 名前：１３２人目の素数さん [2008/01/22(火) 16:30:22 ]
- 緻密性を説明できる一般の高校生なんてほとんどおらんさ
- 87 名前：１３２人目の素数さん mailto:sage [2008/01/22(火) 16:45:28 ]
- 半径1の円に内接する三角形 ABC の面積を S とする。
(sin A)^3, (sin B)^3, (sin C)^3 の少なくとも1つは S より小さいことを示せ。
- 88 名前：１３２人目の素数さん mailto:sage [2008/01/22(火) 17:47:58 ]
- >>87
一般に△ABCにおいて、その辺a,b,c,及び面積S,外接円の半径Rには以下の関係が成り立つ。
abc=4SR (1)
(sinA)^3,(sinB)^3,(sinC)^3がどれもSより大きいとすると
(sinA)^3(sinB)^3(sinC)^3＞S^3
∴sinAsinBsinC＞S
∴(a/2)(b/2)(c/2)＞S (正弦定理より)
∴S/2＞S ((1)より)
∴S＜0
これは不適。したがって(sin A)^3,(sin B)^3,(sin C)^3の少なくとも1つはSより小さい。 ■
- 89 名前：１３２人目の素数さん mailto:sage [2008/01/22(火) 18:47:52 ]
- f[1](x)を1次以上の実数係数多項式とする。
f[k+1](x)=f[k](x)+f'[k](x) (k=1,2,3,・・・)
によってf[n](x)を定めるとき、
f[n](x)=0のすべての解が実数となる自然数nが存在することを証明せよ。
- 90 名前：MASUDA ◆5cS5qOgH3M [2008/01/22(火) 19:24:18 ]
- (1) f(x)でxの小数部分を表す．αは0＜α＜1をみたす無理数の定数である．nを正の整数として，
f(α),f(2α),…,f(nα)
の中で最小のものをm(n)とするとき，m(n)＞f(a)をみたすnより大きい整数aが存在することを示せ．
(2) 常用対数log2は無理数であることを示せ．
(3) 2^nの最高位より1つ下の位から連続して0が2008個ならぶような正の整数nが存在することを示せ．
- 91 名前：MASUDA ◆5cS5qOgH3M [2008/01/22(火) 19:25:39 ]
- >>90の(3)ですが，2^nは2009桁以上の整数と考えてください．
- 92 名前：１３２人目の素数さん [2008/01/22(火) 19:33:51 ]
- やだよ
- 93 名前：93 mailto:sage [2008/01/22(火) 20:09:36 ]
- √9=3
- 94 名前：１３２人目の素数さん [2008/01/22(火) 23:21:58 ]
- >>90
(1)問題文あってる？
- 95 名前：１３２人目の素数さん mailto:sage [2008/01/22(火) 23:30:33 ]
- masudaは出直しだな。
- 96 名前：１３２人目の素数さん [2008/01/22(火) 23:41:23 ]
- >>94
たぶんf(aα)だよな
- 97 名前：１３２人目の素数さん mailto:sage [2008/01/22(火) 23:46:07 ]
- 稠密を緻密とか言ってる>>86みたいな馬鹿はこのスレに来なくていいよ。
- 98 名前：１３２人目の素数さん mailto:sage [2008/01/22(火) 23:59:42 ]
- 藁多
- 99 名前：１３２人目の素数さん [2008/01/23(水) 00:01:07 ]
- 今日は平日なのに、バカが大勢訪れたんだな。
- 100 名前：１３２人目の素数さん mailto:sage [2008/01/23(水) 01:39:05 ]
- 益田のサイト訪問者のセンター点数化け物揃いだな
東大行くにしてもあんなにいらないだろ
- 101 名前：１３２人目の素数さん [2008/01/23(水) 02:38:03 ]
- >>87
面積と(sin A)^3の比較ってﾃﾞｨﾒﾝｼﾞｮﾝ的に違和感がある。
半径はＲとした方がいいよ。
さらに>>88を解答として想定したのなら
【(sinA)^3,(sinB)^3,(sinC)^3がどれもSより大きい】
【(sinA)^3(sinB)^3(sinC)^3＞S^3 】
が必要十分条件じゃないから欠陥問題なるよ。
- 102 名前：１３２人目の素数さん [2008/01/23(水) 08:47:02 ]
- えっ？
- 103 名前：１３２人目の素数さん [2008/01/23(水) 10:10:19 ]
- >>101
何で欠陥問題になるの？頭大丈夫？
- 104 名前：１３２人目の素数さん [2008/01/23(水) 14:09:03 ]
- >>103
xy>z^2ならばx>zかつy>zとは限らない。
一部を否定しても全体を否定した事にはならない。
この場合、全否定ができなければ題意が満たされない。
A+B+C=πで仮に成立してもそれを示す必要がある。
背理法は騙されたような気がする時があるが
実際騙されている事もある。
- 105 名前：１３２人目の素数さん [2008/01/23(水) 15:45:18 ]
- >>104
>>88は解答としては正しい。多分お前の勘違いだろう。
背理法を理解してないのではないかな？
- 106 名前：87 mailto:sage [2008/01/23(水) 16:31:29 ]
- >>101
むしろそのディメンジョンの違和感こそ出題の狙いなんだが。
ただ、このセンスはむしろ京大的かもしれんね。
>>88は想定していた解答の1つだけど、大きな間違いはないよ。
【(sinA)^3,(sinB)^3,(sinC)^3がどれもSより大きい】
【(sinA)^3(sinB)^3(sinC)^3＞S^3 】
が必要十分である必要はない。
強いて間違いを言うなら「どれも S より大きい」じゃなくて
「どれも S 以上」として以降の不等式を微修正する必要がある。
ちなみに別解も用意してある。
対称性から最小辺を BC として考えれば十分。
面積の公式より sin A = 2S/(AB*AC)
正弦定理より sin A = BC/2
∴ (sin A)^3 = (BC/2)^2 * 2S/(AB*AC)
= (BC/AB) * (BC/AC) * S/2
≦ S/2 ＜ S
- 107 名前：１３２人目の素数さん mailto:sage [2008/01/23(水) 16:31:47 ]
- >>104
頭ﾀﾞｲｼﾞｮｳﾌﾞ?
- 108 名前：MASUDA ◆5cS5qOgH3M [2008/01/23(水) 16:57:45 ]
- 円周を8等分する8個の点のそれぞれに8個の文字A,a,B,b,C,c,D,dを無作為に配置する．同じ大文字と小文字(Aとa，Bとbなど)が隣り合わない確率を求めよ．
- 109 名前：１３２人目の素数さん [2008/01/23(水) 18:20:40 ]
- m,nは自然数とする
(1)∑[k=0,n]C[m,k]C[n,k]を求めよ
(2)∑[k=0,n](-1)^(m+k)C[m,k]C[n+k,k]を求めよ
- 110 名前：１３２人目の素数さん mailto:sage [2008/01/23(水) 18:47:27 ]
- >109 (1)
(与式) = Σ[k=0,n] C[m,k]C[n,n-k] = {(1+x)^m･(1+n)^n の中のx^nの係数} = C[m+n,n].
ただし k>m ⇒ C[m,k] =0 とした。
- 111 名前：１３２人目の素数さん [2008/01/23(水) 22:10:41 ]
- >>106
＞ただ、このセンスはむしろ京大的かもしれんね。
京大＝106、共に性格が悪いと言う事かｗ
必要十分条件という表現は間違っていた。（表現自体が必要十分条件でなかったという自己矛盾OTZ）
しかし【(sinA)^3(sinB)^3(sinC)^3＞S^3 】であることは
【(sinA)^3,(sinB)^3,(sinC)^3がどれもS以上】であることの
必要条件であるが、十分条件ではない。
十分でない事を否定しても証明した事にはならない。
『√2を有理数n/mと仮定すると矛盾するから無理数』という代表的な背理法の例にすると
√2≠3/2だからといって√2が無理数である証明した事にはならない。
- 112 名前：１３２人目の素数さん [2008/01/23(水) 22:39:18 ]
- >>109訂正
(2)∑[k=0,m](-1)^(m+k)C[m,k]C[n+k,k]を求めよ
- 113 名前：１３２人目の素数さん [2008/01/23(水) 22:43:03 ]
- 所詮受験数学なんて計算力とパターン暗記と記憶力だけで決まるのだろう。
- 114 名前：１３２人目の素数さん [2008/01/23(水) 22:43:28 ]
- >>111
キミはとことん頭が悪いんだね。
みんなスルーしてるのかな？
『√2を有理数n/mと仮定すると矛盾するから無理数』という代表的な背理法の例にすると
√2≠3/2だからといって√2が無理数である証明した事にはならない。
ここをもう一度よく読んでごらん。
- 115 名前：１３２人目の素数さん [2008/01/23(水) 22:51:24 ]
- 超越数は無理数であることを証明しなさい。 １０点
- 116 名前：１３２人目の素数さん [2008/01/23(水) 22:53:50 ]
- 有理数は一次方程式の解であるから
- 117 名前：１３２人目の素数さん [2008/01/23(水) 22:55:13 ]
- >>115
大学入試不適切問題のため全員合格
- 118 名前：１３２人目の素数さん [2008/01/23(水) 23:04:50 ]
- ｚ軸が複素数の球体（ｘ，ｙ，ｚｉ）でガウス曲率を計算してくれ ５点
- 119 名前：１３２人目の素数さん [2008/01/23(水) 23:10:54 ]
- >>114
読んだがなにか？
- 120 名前：１３２人目の素数さん [2008/01/23(水) 23:36:35 ]
- >>119
背理法は必要条件が否定できりゃOKだろ。
- 121 名前：１３２人目の素数さん mailto:sage [2008/01/23(水) 23:38:50 ]
- >>89って問題正しい？
- 122 名前：１３２人目の素数さん [2008/01/23(水) 23:52:48 ]
- >>120
それは
【(sinA)^3,(sinB)^3,(sinC)^3がどれもS以上】であることは
【(sinA)^3(sinB)^3(sinC)^3＞S^3 】であることの
必要条件。
- 123 名前：１３２人目の素数さん mailto:sage [2008/01/24(木) 00:14:34 ]
- けっきょく>>８８って正しいんですか間違いなんですかどっちなんですか
- 124 名前：１３２人目の素数さん mailto:sage [2008/01/24(木) 00:23:28 ]
- きょうも馬鹿襲来か
- 125 名前：１３２人目の素数さん [2008/01/24(木) 00:26:18 ]
- >>120
>>122
勢いでカキコしたから意味不明OTZ
ａが有理数である事はａ=3/2であることの「十分条件であるが、必要条件ではない」？「必要条件であるが、十分条件ではない。」？
ａ=3/2である事はａが有理数であることの「十分条件であるが、必要条件ではない」？「必要条件であるが、十分条件ではない。」？
余談ではあるが「十分条件であるが、必要条件ではない」という表現は違和感ない？
- 126 名前：１３２人目の素数さん mailto:sage [2008/01/24(木) 00:28:28 ]
- この程度が分からないんなら正しいか正しくないか知ってもどうしようもないね
- 127 名前：１３２人目の素数さん [2008/01/24(木) 00:35:48 ]
- 訂正
>>120
>>122は勢いでカキコしたから意味不明OTZ
改めて
ａが有理数である事はａ=3/2であることの「十分条件であるが、必要条件ではない」？「必要条件であるが、十分条件ではない。」？
ａ=3/2である事はａが有理数であることの「十分条件であるが、必要条件ではない」？「必要条件であるが、十分条件ではない。」？
それを踏まえ
『√2を有理数n/mと仮定すると矛盾するから無理数』という代表的な背理法の例にすると
√2≠3/2だからといって√2が無理数である証明した事にはならない。
と>>120を交えて返答請う。
余談ではあるが「十分条件であるが、必要条件ではない」という表現は違和感ない？
- 128 名前：１３２人目の素数さん mailto:sage [2008/01/24(木) 00:52:38 ]
- 横からスマンが
それは一つの例を挙げて「確認」しただけであって一般化した「証明」はされてない。
- 129 名前：１３２人目の素数さん [2008/01/24(木) 01:09:30 ]
- >>128
それこそ背理法
１つの例でも否定されれば否定証明の「証明」
- 130 名前：１３２人目の素数さん [2008/01/24(木) 01:15:00 ]
- >>128
それこそ背理法
１つの例でも否定されれば「証明」
- 131 名前：１３２人目の素数さん mailto:sage [2008/01/24(木) 01:26:19 ]
- 論理の勉強すれば済む話じゃねーか
ここでも読んで少しは頭冷やせ
ttp://www004.upp.so-net.ne.jp/s_honma/logic/logic.htm
- 132 名前：１３２人目の素数さん mailto:sage [2008/01/24(木) 01:28:51 ]
- >>129
おいおい、落ち着けよ
例として挙げるが「フェルマー数は平方因子を持たない」ことをただ一つの例で証明する気かｗ
また、「オイラーの定数が、有理数であるか無理数であるかさえもわかっていない。」
↑のような未解決問題も「ただ一つの具体例」だけで証明できるとでも？
- 133 名前：１３２人目の素数さん mailto:sage [2008/01/24(木) 01:42:36 ]
- >>132
ややこしくて回りくどい市ねｗ
ただ>>129
log_3{5}≠3/2じゃないことは明らかだが
果たしてこれだけで「log_3{5}は有理数でない（＝無理数）」の証明になってると思うか？
- 134 名前：１３２人目の素数さん [2008/01/24(木) 01:48:53 ]
- >>88
と>>131-132が言ってるよ
【(sinA)^3,(sinB)^3,(sinC)^3がどれもS以上】を否定することを
【(sinA)^3(sinB)^3(sinC)^3＞S^3 】を否定した事で証明する気かｗ
- 135 名前：１３２人目の素数さん mailto:sage [2008/01/24(木) 01:51:11 ]
- いい加減うざいぞ、そこのキチガイたち。
- 136 名前：１３２人目の素数さん [2008/01/24(木) 01:53:03 ]
- 横からｽﾏｿ
半径aの円の内部の点をAとして 円周上に二点p qを <pAq=90 度となるようにとるとき p qにおける円の接線のこうてんの軌跡をもとめよ
- 137 名前：１３２人目の素数さん [2008/01/24(木) 01:53:24 ]
- >>88
√2が無理数の証明を√2≠3/2だけで証明する気かｗ
- 138 名前：１３２人目の素数さん [2008/01/24(木) 02:02:32 ]
- >>133
どっちがどっちの立場か解ってるかｗ
ぐじゃぐじゃになってきたから整理
>>128-130の抽象的言葉遊び消去
どっちがどっちの立場か解った上で具体的にいこう
- 139 名前：１３２人目の素数さん [2008/01/24(木) 02:05:02 ]
- >>88
>>133から
log_3{5}≠3/2じゃないことは明らかだが
果たしてこれだけで「log_3{5}は有理数でない（＝無理数）」の証明になってると思うか？
- 140 名前：１３２人目の素数さん [2008/01/24(木) 02:05:12 ]
- 優越 したいんだ、優越。
アホとか市ねとか、 惨めだな。
淡々と行こうぜ。頭いいんだから。
- 141 名前：１３２人目の素数さん [2008/01/24(木) 02:09:14 ]
- >>140
「アホ」でスレ検索したが140のみだぞｗ
- 142 名前：１３２人目の素数さん mailto:sage [2008/01/24(木) 02:10:43 ]
- つうかさっきから>>88ｶﾜｲｿｽwwwwww
- 143 名前：１３２人目の素数さん mailto:sage [2008/01/24(木) 02:19:58 ]
- (P ⇒ Q) ≡ ￢(P ∧ (￢Q)) ： 背理法の原理
P ≡ 「三角形ABC」
Q ≡ 「(sin A)^3, (sin B)^3, (sin C)^3 の少なくとも1つは S より小さい」
￢Q ≡ 「(sin A)^3, (sin B)^3, (sin C)^3 は全て S 以上」
P ∧ (￢Q) は>>88より偽、従って P ⇒ Q は真
- 144 名前：１３２人目の素数さん mailto:sage [2008/01/24(木) 02:51:22 ]
- >>112
道具がちょっと大げさになってしまったけど……
image02.wiki.livedoor.jp/l/y/loveinequality/136c4daba21b32fe.pdf
- 145 名前：１３２人目の素数さん [2008/01/24(木) 10:49:01 ]
- >>143
論点くらい嫁
- 146 名前：１３２人目の素数さん mailto:sage [2008/01/24(木) 15:45:45 ]
- 背理法は、数学が無矛盾の上に成り立っていることを担保にしたテクニック
背反である命題Ａ，Ｂがあるとする。
（ＡかＢの一方のみが成立する。共に成立、共に不成立と言うこともない。）
Ａが成立すると言うことを証明したいときは、仮にＢが成立するとし、理論
を展開し、矛盾が生じていることを示せばよい。
その際、『必要十分性を保って変形する必要は全くない。』 （※）
理論が破綻していることを示せばよいだけなのだから。
だから、>>101
> 【(sinA)^3,(sinB)^3,(sinC)^3がどれもSより大きい】
> 【(sinA)^3(sinB)^3(sinC)^3＞S^3 】
> が必要十分条件じゃないから欠陥問題なるよ。
という指摘は、不当。
Ａ：(sinA)^3、(sinB)^3、(sinC)^3 のうち少なくとも一つはＳより小さい
Ｂ：(sinA)^3、(sinB)^3、(sinC)^3 のいずれもがＳ以上
Ａを証明したいが、背理法を利用するためＢを仮定、その理論展開の中で
「【(sinA)^3(sinB)^3(sinC)^3＞S^3 】 」が持ち出された。
それが、【(sinA)^3,(sinB)^3,(sinC)^3がどれもSより大きい】という条件と
必要十分な関係でないからダメだ等というのは、（※）を理解していない。
- 147 名前：87 mailto:sage [2008/01/24(木) 16:16:34 ]
- なんでこんなに盛り上がってるんだｗ
前スレで行列の問題出したときもそうだけど、
俺の出す問題は意図しない所で盛り上がるな。
>>88の証明：
1. 「(sin A)^3, (sin B)^3, (sin C)^3 は全て S 以上」と仮定する。
2. (sin A)^3 ≧ S, (sin B)^3 ≧ S, (sin C)^3 ≧ S ⇒ (sin A)^3 (sin B)^3
(sin C)^3 ≧ S^3
3. 矛盾する
4. 「(sin A)^3, (sin B)^3, (sin C)^3 の少なくとも1つは S 以下」
【2. において (sin A)^3 (sin B)^3 (sin C)^3 ≧ S^3 ⇒
(sin A)^3 ≧ S, (sin B)^3 ≧ S, (sin C)^3 ≧ S が正しくないので証明は誤り。】
√2が無理数であることの証明：
1. 「√2は有理数 n/m」と仮定する。
2. √2 = n/m ⇒ 2 = (n/m)^2
3. 矛盾する
4. 「√2は無理数」
【2. において 2 = (n/m)^2 ⇒ √2 = n/m が正しくないので証明は誤り。】
こうですか！？わかりません！
- 148 名前：１３２人目の素数さん [2008/01/24(木) 16:56:43 ]
- nを自然数、xを実数とする
(1)∑[k=0,n](-1)^kC[n,k](x-k)^nを求めよ
(2)∑[k=0,n]C[2k,k]C[2n-2k,n-k]を求めよ
- 149 名前：１３２人目の素数さん mailto:sage [2008/01/24(木) 17:13:34 ]
- >>148
それ、MASUDAのとこにあった問題まんまだな
- 150 名前：１３２人目の素数さん mailto:sage [2008/01/24(木) 17:34:55 ]
- >>148
マルチ
- 151 名前：１３２人目の素数さん [2008/01/24(木) 17:52:06 ]
- >>149
有名問題だからあっても不思議じゃないな
>>150
どこにあったか書けよ
ホントにあったとこで俺じゃないが
- 152 名前：１３２人目の素数さん mailto:sage [2008/01/24(木) 17:55:11 ]
- ↑お前のティムポに手をあてて聞いてみろ
|
 |
