- 1 名前：１３２人目の素数さん mailto:sage [2008/08/31(日) 02:06:28 ]
- 理系で数学が得意な高校生が２５～５０分で
解ける問題を考えてうぷするスレ。
これ以外の難易度の問題はスレ違いとなります。
関連スレへどうぞ
過去ログは>>2以降
- 136 名前：１３２人目の素数さん mailto:sage [2008/10/25(土) 10:00:00 ]
- >>135
解析概論。
- 137 名前：135 mailto:sage [2008/10/26(日) 14:01:17 ]
- (4) Σ[n=1,∞) 1/(n^2 －a^2) * (-1)^(n-1),
(5) Σ[n=1,∞) 1/(n^2 + a^2) * (-1)^(n-1),
の極限値を求めたいのですが、どうしたら良いでしょうか? a≠整数 です。
>>136
高木:「解析概論」改訂第3版, 岩波書店(1962) 第5章,§64 ?
- 138 名前：１３２人目の素数さん mailto:age [2008/10/30(木) 21:39:17 ]
- >>89と並んで如何にも東大がやりそうな問題
log_{10} 2の小数第3位が1であることを証明せよ。
- 139 名前：138 mailto:age [2008/10/30(木) 21:59:57 ]
- そういえば1968年にもう一回り簡単な問題、
0.3<log_{10} 2 < 0.302を示せというのがありました。
www.j3e.info/ojyuken/math/php_q.php?name=tokyo&year=1968&num=1
- 140 名前：１３２人目の素数さん [2008/10/30(木) 22:34:01 ]
- 3 次方程式x3 . nx + 1 = 0 の解がすべて無理数となるような整数n を求
めよ．
- 141 名前：１３２人目の素数さん [2008/10/30(木) 22:34:48 ]
- 3 次方程式x＾3-nx + 1 = 0 の解がすべて無理数となるような整数n を求
めよ．
- 142 名前：１３２人目の素数さん [2008/10/30(木) 22:59:29 ]
- x＾3-nx + 1 = 0
(x-a)(x-b)(x-c)=x^3-(a+b+c)x^2+(ab+bc+ca)x-abc=0
c=-a-b
ab-(a+b)^2=n
ab(a+b)=1
ab-(ab)^-2=n
- 143 名前：１３２人目の素数さん [2008/10/30(木) 23:01:11 ]
- ab-(a+b)^2=-n
ab(a+b)=1
ab-(ab)^-2=-n
- 144 名前：１３２人目の素数さん [2008/10/30(木) 23:28:26 ]
- f(x)=xe^{-x}のとき、f(0.99), f(1.00), f(1.01)の大小を調べよ。
- 145 名前：１３２人目の素数さん mailto:sage [2008/10/31(金) 00:19:03 ]
- 毎度のごとくe^x>1+x+x^2/2を示してe^0.02を評価すれば終わり。
- 146 名前：１３２人目の素数さん mailto:sage [2008/10/31(金) 01:34:38 ]
- exp(x)>x+1だけで十分です
- 147 名前：１３２人目の素数さん [2008/10/31(金) 01:42:38 ]
- Your solution doesn't make sense at all.
- 148 名前：１３２人目の素数さん mailto:sage [2008/10/31(金) 01:43:31 ]
- ごめんなさい十分じゃありませんでしたごめんなさい
- 149 名前：１３２人目の素数さん mailto:age [2008/10/31(金) 06:29:48 ]
- >>144
これは大昔の大学への数学の「模試」の転載ですか？
- 150 名前：１３２人目の素数さん [2008/10/31(金) 08:29:48 ]
- いいえ, 埼玉工大の入試問題です。
- 151 名前：１３２人目の素数さん [2008/10/31(金) 20:49:51 ]
- 1/7<a/b<1/6でa,bは整数で最小のaのときa+bをもとめなさいって、
a,bがマイナスなら解梨じゃないの？
- 152 名前：１３２人目の素数さん [2008/10/31(金) 20:59:38 ]
- >>143
ｎが整数であることの証明は？
- 153 名前：１３２人目の素数さん [2008/11/01(土) 17:30:47 ]
- n両編成の電車の車両をそれぞれ赤青黄のいずれかの色で塗ってゆく。
赤の車両が隣り合わないような塗り方は何通りあるか。
- 154 名前：１３２人目の素数さん [2008/11/01(土) 17:39:31 ]
- 赤い車両が連続しない塗り方ね。
- 155 名前：１３２人目の素数さん mailto:sage [2008/11/01(土) 18:17:20 ]
- ((1+√3)^(n+2)-(1-√3)^(n+2)) / (4√3)通り
- 156 名前：１３２人目の素数さん [2008/11/01(土) 21:08:52 ]
- >>155正解。
- 157 名前：１３２人目の素数さん mailto:sage [2008/11/01(土) 21:12:36 ]
- 3項間漸化式か？
- 158 名前：１３２人目の素数さん mailto:sage [2008/11/01(土) 21:22:00 ]
- 京大の過去問の改変？
- 159 名前：１３２人目の素数さん [2008/11/01(土) 22:20:08 ]
- >>158そうです。このように改変した方がちょっと難しいと思います。
- 160 名前：１３２人目の素数さん mailto:sage [2008/11/01(土) 23:59:07 ]
- >>153
数セミのパクリ
- 161 名前：１３２人目の素数さん [2008/11/02(日) 07:35:14 ]
- >>160
>>153は俺だが、数セミなんか参考にしてません。
あくまでも京大の2色の問題を3色に改変してみただけです。隣接３項間漸化式を立てられるかどうかの問題。
コツさえ知っていれば誰でも簡単に立てられるんだけどね。
- 162 名前：１３２人目の素数さん mailto:sage [2008/11/02(日) 08:04:39 ]
- では京大が数セミを下敷きにしたとか。
- 163 名前：１３２人目の素数さん [2008/11/02(日) 09:50:57 ]
- いいサイトみつけた
htttp://www.surprise002.co.nr
ソフトの確認もできたし、低価格でいいよ
ソフトの確認はネットカフェで一度インストール試したら
いいと思う、正常なら自分のPCに
- 164 名前：１３２人目の素数さん mailto:sage [2008/11/02(日) 17:03:58 ]
- たぶん最初に考えたのは日本人じゃなくて外国の人で、
それを数セミの出題者の先生と京大の先生が二人とも
元ネタにした、とかそんな感じだと思うぞ。
というか数セミの出題者は京大関係者じゃないんだよね？
- 165 名前：１３２人目の素数さん mailto:sage [2008/11/02(日) 18:51:57 ]
- こんな単純な設定の問題、パクるも何もないだろｗｗ
- 166 名前：１３２人目の素数さん mailto:sage [2008/11/03(月) 20:17:28 ]
- aを 0<a<1 であるような有理数とするとき、自然数n≧3に対して
(1-a^n)^(1/n) が無理数であることを示せ
- 167 名前：１３２人目の素数さん mailto:sage [2008/11/03(月) 21:08:31 ]
- >166
(1-a^n)^(1/n) =b とおくと
a^n + b^n =1,
a∈Q, 0<a<1, n∈N, n≧3,
bが有理数ならば、フェルマーの最終定理(A.Wiles)と矛盾する。
- 168 名前：１３２人目の素数さん [2008/11/04(火) 12:19:28 ]
- 数セミの出題者は安田亨だった
- 169 名前：１３２人目の素数さん mailto:sage [2008/11/04(火) 13:46:26 ]
- 長さNメートルの紐の端と端を結んでできる輪の面積で一番大きい
面積はどれくらいか？
- 170 名前：１３２人目の素数さん mailto:sage [2008/11/04(火) 14:54:22 ]
- >>168
ああ、じゃあ数セミのは京大の改変だね。
- 171 名前：１３２人目の素数さん [2008/11/05(水) 20:01:52 ]
- >>169 N^2/4π
- 172 名前：１３２人目の素数さん mailto:sage [2008/11/05(水) 21:52:49 ]
- どこのクズだこんなひどい問題だしてるのは
- 173 名前：１３２人目の素数さん [2008/11/09(日) 16:06:23 ]
- >>169
結び目の大きさは考慮しなくていいのか？
あと、紐はどれぐらい曲げられるの？ 硬い紐だと意外と曲がらないよ
- 174 名前：１３２人目の素数さん [2008/11/09(日) 17:55:53 ]
- 数列{a_n}は、次の漸化式で与えられる。
a_(n+3) = -a_(n+2) + 2a_(n+1) + 8a_n
a_1 = a_2 = a_3 = 1
この時a_nのすべての項は平方数であることを証明せよ。
- 175 名前：１３２人目の素数さん mailto:sage [2008/11/09(日) 17:57:10 ]
- またパクリ問かよ
- 176 名前：１３２人目の素数さん mailto:sage [2008/11/09(日) 21:26:23 ]
- >>174
数列{b_n}を
b_(n+2) = b_(n+1) -2*b_n,
b_1 = b_2 = 1, b_3 =-1,
で定義すると b_n は明らかに整数で、a_n = (b_n)^2.
注) b_n = (2/√7)･2^(n/2)･sin(nβ), ここに β = arcsin(√(7/8)).
- 177 名前：１３２人目の素数さん mailto:sage [2008/11/10(月) 03:10:45 ]
- >>176
おお！どうなってのか教えて！
- 178 名前：１３２人目の素数さん [2008/11/11(火) 11:50:53 ]
- パクリだなこれ
何回も見たことある
新作問題キボンヌ
- 179 名前：１３２人目の素数さん mailto:sage [2008/11/11(火) 14:45:56 ]
- 残念ながら無理
- 180 名前：１３２人目の素数さん mailto:sage [2008/11/12(水) 01:06:14 ]
- >>178
誰も解いてくれないから>>39解いてくれ
- 181 名前：１３２人目の素数さん mailto:sage [2008/11/12(水) 01:23:09 ]
- >>180
やってみるお
- 182 名前：１３２人目の素数さん mailto:sage [2008/11/14(金) 08:49:56 ]
- 写像aは整数から整数への写像であり、
・ a(1)=1
・ a(n+2)=a(n+1)+a(n)
・ 1≦i＜jならばa(i)＜a(j)
・ 任意の整数mに対して、ある整数nが存在し、a(n)はmの倍数
を満たす。
このとき、写像aを求めよ
- 183 名前：１３２人目の素数さん mailto:sage [2008/11/15(土) 00:00:52 ]
- 誰も解いてくれないから>>89と>>138解いてくれ
- 184 名前：１３２人目の素数さん mailto:sage [2008/11/15(土) 02:22:52 ]
- 頑張って数値計算するだけだからなあ。
- 185 名前：１３２人目の素数さん mailto:sage [2008/11/15(土) 19:00:17 ]
- 円周率πが3.15未満であることを示せ
- 186 名前：１３２人目の素数さん mailto:sage [2008/11/16(日) 02:26:23 ]
- 糞つまらん問題ばっかだな最近
- 187 名前：１３２人目の素数さん mailto:sage [2008/11/16(日) 11:34:23 ]
- >>182解いて
- 188 名前：１３２人目の素数さん mailto:sage [2008/11/16(日) 15:29:22 ]
- >>182
N→Nじゃなくて
Z→Zでいいの？
- 189 名前：182 mailto:sage [2008/11/17(月) 00:18:36 ]
- >>188
うん
- 190 名前：１３２人目の素数さん mailto:sage [2008/11/17(月) 00:43:08 ]
- 0や負の数に大して定義されてないんじゃない？
- 191 名前：１３２人目の素数さん mailto:sage [2008/11/17(月) 01:04:46 ]
- a[n]がn>0で定義されてれば、漸化式から0≧nに対してa[n]が求まるだろ
- 192 名前：１３２人目の素数さん mailto:sage [2008/11/17(月) 21:20:00 ]
- ａ（－１）＝０。
- 193 名前：１３２人目の素数さん mailto:sage [2008/11/17(月) 22:52:58 ]
- >>192
それの証明が重要なんじゃないのか？
- 194 名前：１３２人目の素数さん mailto:sage [2008/11/17(月) 22:55:36 ]
- nを10進数表記したとき、奇数桁目に出てくる奇数の個数をa(n)とする。
例） a(111)=2、a(232)=0、a(1234)=0、a(2345)=2
∑[k=1,n] a(2^k)/2^k (n→∞)
の極限値を求めよ
- 195 名前：１３２人目の素数さん mailto:sage [2008/11/17(月) 23:00:36 ]
- >>193
フィボナッチ数列を一個ずらした数列を考えれば良い
最後の性質は、フィボナッチの場合を示せばよい（良く知られた証明）
全く以って入試に不向きな問題だな
- 196 名前：１３２人目の素数さん mailto:sage [2008/11/17(月) 23:02:49 ]
- >>195
いやだから、フィボナッチ数列しかないことを証明しろってことなんじゃないの？
- 197 名前：１３２人目の素数さん mailto:sage [2008/11/17(月) 23:04:17 ]
- ×フィボナッチ数列しか
○フィボナッチ数列をずらした数列しか
a(1)=1で、a(2)=2ならフィボナッチで、条件を満たすけど
a(1)=1、a(2)=3ならリュカで条件を満たさない。条件をみたすaが、a(2)=2のみに限ることを言わないと証明じゃないのでは……
- 198 名前：１３２人目の素数さん mailto:sage [2008/11/17(月) 23:08:10 ]
- >>196
具体的に写像aを求めろって問題だろ
一意性を示せとはどこにも書いてないと思うが
- 199 名前：１３２人目の素数さん mailto:sage [2008/11/17(月) 23:10:43 ]
- 求めろとしか書いてないんだから、「全部」求めろって意味だと思ってたんだが……
んで、あくまでもおれの予想としてフィボナッチをずらしたものしかなさそうなので、メインは一意性の証明かなぁと。
単に求めろだから、やっぱ「全部」じゃね？
- 200 名前：１３２人目の素数さん mailto:sage [2008/11/18(火) 00:30:00 ]
- ｍ＝０。
- 201 名前：１３２人目の素数さん mailto:sage [2008/11/18(火) 00:45:30 ]
- 任意のｍ
- 202 名前：１３２人目の素数さん [2008/11/18(火) 06:17:14 ]
- 任意の正の整数nに対して不等式
|sin1|+|sin2|+|sin3|+･･･+|sin(2n)|＞ 4n/5
を証明せよ。
ただしπ=3,1...sin1=0.84...,cos1=0,54...sin2=0.90...cos2=-0.41...
は証明なしで使ってもよいものとする。
- 203 名前：修正 mailto:sage [2008/11/18(火) 13:11:13 ]
- 写像aは整数から整数への写像であり、
・ a(1)=1
・ a(n+2)=a(n+1)+a(n)
・ 1≦i＜jならばa(i)＜a(j)
・ 任意の正整数mに対して、ある整数nが存在し、a(n)はmの倍数
を満たす。
このとき、写像aを全て求めよ
- 204 名前：１３２人目の素数さん mailto:sage [2008/11/18(火) 13:56:58 ]
- 1より大きい実数a_[2]を求めよでいいじゃん
- 205 名前：１３２人目の素数さん mailto:sage [2008/11/18(火) 13:58:25 ]
- 実数じゃなくて整数、の間違い
- 206 名前：１３２人目の素数さん [2008/11/18(火) 22:40:20 ]
- 通常の１から６までの目のサイコロをｎ回振る。
ｎ回目までの出た目の和が素数である確率を求めよ。
- 207 名前：１３２人目の素数さん [2008/11/18(火) 23:06:04 ]
- nを飛ばすの忘れてるぞ
- 208 名前：１３２人目の素数さん mailto:sage [2008/11/19(水) 00:00:34 ]
- 久しぶりに来たけどあんま賑わってないね
とりあえず>>39と>>182あたりが解かれてないのか
- 209 名前：１３２人目の素数さん mailto:sage [2008/11/19(水) 00:03:56 ]
- >>202
science6.2ch.net/test/read.cgi/math/1179000000/653
不等式スレ３
の式に a=1, m=2n を代入すると、
(左辺) > n + (1/4) - 1/(4sin(1)) > n -0.0471
- 210 名前：１３２人目の素数さん mailto:sage [2008/11/19(水) 00:07:03 ]
- >>208
自作問題が解かれてないからって気を落とすなよ
お前が作ってないなら、糞問なんだからスルーしてやれよ
- 211 名前：１３２人目の素数さん mailto:sage [2008/11/19(水) 00:20:37 ]
- >>194も
- 212 名前：１３２人目の素数さん mailto:sage [2008/11/19(水) 00:21:09 ]
- >>182
a(2)≧3のとき条件を満たさないことを示す
まずa(k)とa(k+1)は互いに素なのはユークリッドの互除法的に明らか
次にa(2)=tとするとa(k)+(t^2-2t)a(k+1)は常にt^2-t-1の倍数となる
したがって、a(k)がt^2-t-1の倍数だとa(k+1)もt^2-t-1になるがこれは矛盾
a(2)=2はフィボナッチの性質から解ける感じ
ということでa(2)=2となるときだけ
>>39はスルーされて当然だったな
一個目:-1
煮込め:X=e,X'=e^(a-1)よりa=3
三個目:対数微分とか使わせるにしてもあまりに糞問
- 213 名前：１３２人目の素数さん mailto:sage [2008/11/19(水) 01:22:19 ]
- >>212
多分39の一個目違う
- 214 名前：１３２人目の素数さん [2008/11/19(水) 08:02:11 ]
- a,bを2^a+3^bが平方数となるような正の整数とする。
(1)a,bはともに奇数であるか、ともに偶数であることを示せ。
(2)(a,b)としてありうるものをすべて求めよ。
- 215 名前：１３２人目の素数さん mailto:sage [2008/11/19(水) 17:07:25 ]
- ＞次にa(2)=tとするとa(k)+(t^2-2t)a(k+1)は常にt^2-t-1の倍数となる
どうやって気づいたのかｋｗｓｋ
- 216 名前：212 mailto:sage [2008/11/19(水) 18:04:06 ]
- >>215
実はその部分は敢えてどう解いたのかばれないような表記にしてました
実際の思考の順序は
・おそらくa(2)≧3だとある数を法としたときに0を含まない循環にできるはず
・漸化式の形から、pa(k)+qa(k+1)が常に何かを法として不変になるはず
・その「何か」と上の「ある数」を自分で作ればよいはず
・a(1)=1,a(2)=tのとき、p=t,q=-1とすればta(1)-a(2)=0で何かよさそう。このときta(2)-a(3)=t^2-t-1
・t^2-t-1が上の「何か」になるはず、実験して確認・あとはp=1,q＞0になるように工作
みたいな感じでした
- 217 名前：１３２人目の素数さん mailto:sage [2008/11/19(水) 18:38:54 ]
- >>216
勉強になります
- 218 名前：１３２人目の素数さん [2008/11/20(木) 21:46:10 ]
- >>185
解きました。キーワードは「pi_315」
www1.axfc.net/uploader/He/so/160906
- 219 名前：１３２人目の素数さん mailto:sage [2008/11/20(木) 21:58:51 ]
- >>216
なるほどぉ！
- 220 名前：１３２人目の素数さん [2008/11/20(木) 22:35:35 ]
- >>206の問題、解けた人いる？？
- 221 名前：１３２人目の素数さん mailto:sage [2008/11/20(木) 22:45:21 ]
- >>214
(a,b)=(4,2).
- 222 名前：１３２人目の素数さん mailto:sage [2008/11/20(木) 22:46:22 ]
- g:N→Nがg(1)=1、g(mn)=g(m)g(n)を任意の正整数m,nに対して満たすとき、完全な関数と呼ぶ。
F(n)=∑[k=1,n]f(k) が完全な関数になる完全な関数fをすべて求めよ
- 223 名前：１３２人目の素数さん mailto:sage [2008/11/20(木) 23:04:17 ]
- >>216
t^2－t－1＝0はフィボナッチ数列の特性方程式だから、
こう考えた方が本質的な気がする。↓
a(n＋2)＝a(n＋1)＋a(n)の特性方程式はx^2－x－1＝0だから、
a(1)＝1，a(2)＝tとするとき、m：＝t^2－t－1を法とすれば
a(n)≡t^n (mod m) とキレイに解ける。もしa(n)がmの倍数
であるようなnが存在するならば、t^n≡0 (mod m)となるが、
gcd(t,m)＝1であるから、m≧2のときは矛盾が起きる。
m≧2 ⇔ t≧3だから、結局、t≧3のときは矛盾が起きる。
一般化するならこうなるか。
a(n＋k)＝c(k－1)a(n＋k－1)＋…＋c(1)a(n＋1)＋c(0)a(n) (各c(i)は整数でc(0)＝±1)
a(0)＝1，a(1)＝t，a(2)＝t^2，…，a(k－1)＝t^(k－1)
という漸化式を考える。tが十分大きな自然数ならば、
(tごとに)ある正整数mが存在して、a(n)とmは互いに素(n＝0,1,2,…)である。
- 224 名前：１３２人目の素数さん mailto:sage [2008/11/21(金) 00:11:23 ]
- 三角形Tの内部（周を含む）を、動点Pが次のルールで動く。
1) Pは頂点を以外のある内点からスタートし、三角形の辺にぶつかるまでまっすぐ進む。
2) 辺にぶつかったら跳ね返る。入射角と反射角は等しいものとする。
3) 1,2を繰り返して、途中で三角形の頂点にぶつかる軌道は考えないものとする。
4) 1,2を繰り返して、途中から軌道が周期的になるもののみを考える。
三角形Tの周の長さを 1 とし、上記の軌道からなる集合をL(T)とする。
また、Tを固定したとき、L(T)に含まれる軌道の長さの最小値をm(T)とおく。
Tを変化させたとき、m(T)の最大値は存在するか？
- 225 名前：１３２人目の素数さん mailto:sage [2008/11/21(金) 00:52:11 ]
- >>222
F(n)＝n，f(n)＝1 (n＝1,2,3,…)となることを示す。
与えられた条件からn＝1,2,…,9のときを地道に調べることで、
n＝1,2,…,9のときはF(n)＝n，f(n)＝1が成り立つことが言える。
以下、k≧10として、n＜kのときF(n)＝n，f(n)＝1が成り立つすると、
n＝kのときは以下の議論によってF(k)＝k，f(k)＝1となるので、
数学的帰納法より成立。
kが素数のとき：k≧10だからkは奇素数であり、よってk＋1は合成数である。
k＋1＝Πpi^ei と素因数分解すると、各iに対してpi＜kとなることに注意して
F(k＋1)＝ΠF(pi)^ei＝Πpi^ei＝k＋1となる。一方、F(k＋1)＝Σ[j＝1～k＋1]f(j)
であり、j＜kのときは帰納法の仮定からf(j)＝1なのでF(k＋1)＝k－1＋f(k)＋f(k＋1)
となる。また、f(k＋1)＝Πf(pi)^ei＝Π1^ei＝1となるから、結局F(k＋1)＝k＋f(k)
であり、これにF(k＋1)＝k＋1を代入してf(k)＝1となる。このとき
F(k)＝Σ[j＝1～k]f(j)＝kとなる。よってF(k)＝k，f(k)＝1となる。
kが合成数のとき：k＝Πpi^ei と素因数分解して、F(k)の値を上と同様にして計算する。
上の議論よりも簡単にF(k)＝k，f(k)＝1が出る。
- 226 名前：１３２人目の素数さん mailto:sage [2008/11/21(金) 04:28:01 ]
- ０を入れないならＦ（２＾ｎ）＝２＾ｎだから全部１。
- 227 名前：１３２人目の素数さん mailto:sage [2008/11/21(金) 05:04:37 ]
- g(1)=1っていらんだろ
- 228 名前：１３２人目の素数さん mailto:sage [2008/11/21(金) 08:06:29 ]
- Nに0を含める流儀だと必要かな
- 229 名前：１３２人目の素数さん mailto:sage [2008/11/21(金) 09:31:58 ]
- >>218
力技すぎワロタ
- 230 名前：１３２人目の素数さん mailto:sage [2008/11/21(金) 18:40:33 ]
- >>218
なんという力技ｗｗｗ
- 231 名前：１３２人目の素数さん mailto:sage [2008/11/21(金) 18:47:50 ]
- 実戦的ないい解答だ
- 232 名前：１３２人目の素数さん mailto:sage [2008/11/21(金) 18:49:44 ]
- まぁ、明らかに185の問題は例の問題パクって適当に作ったものだろうから、
そういう回答になっちまうのもしかたないのかもな
- 233 名前：232 mailto:sage [2008/11/21(金) 18:51:21 ]
- 適当に、というよりは思いつきで、のほうがしっくりくるか
- 234 名前：１３２人目の素数さん [2008/11/21(金) 19:02:30 ]
- 次の2つの条件をともに満たす、定数でない整数係数多項式f(x)をすべて求めよ。
(1)f(x)のすべての係数の絶対値は1である。
(2)方程式,f(x)=0の解はすべて実数である。
- 235 名前：232 mailto:sage [2008/11/21(金) 19:27:29 ]
- 別の方法で>>185解いてみた
創価相乗より
cosθ+cosθ+(1/cosθ)^2≧3 (0≦θ<π/2)
両辺0からπ/12までθで積分して、
2sin(π/12)+tan(π/12)>3*(π/12)
sin(π/12)=(√6-√2)/4、tan(π/12)=2-√3 を代入して整理
π<2√6-4√3-2√2+8<2*2.45-4*1.732-2*1.414+8=3.144<3.15
(∵√6<2.45、√3>1.732、√2>1.414）
218よりは計算量少なめ
- 236 名前：１３２人目の素数さん mailto:sage [2008/11/21(金) 19:46:06 ]
- >>234
x±1、x^2-1
|
 |
