- 1 名前：１３２人目の素数さん mailto:sage [2009/05/15(金) 21:11:21 ]
- 理系で数学が得意な高校生が２５〜５０分で
解ける問題を考えてうぷするスレ。
これ以外の難易度の問題はスレ違いとなります。
関連スレへどうぞ
過去ログは>>2以降
- 504 名前：１３２人目の素数さん [2009/09/13(日) 20:59:23 ]
- >>500
A_k=|f(k)-ax| ?
- 505 名前：１３２人目の素数さん [2009/09/13(日) 21:08:50 ]
- >>504
あっ
A_k=|f(k)-ax|→A_k=|f(k)-ak|で
- 506 名前：１３２人目の素数さん mailto:sage [2009/09/13(日) 21:14:34 ]
- >>502
四捨五入して0.3010になるのは0.30095から0.30105まで。
- 507 名前：１３２人目の素数さん mailto:sage [2009/09/13(日) 21:28:45 ]
- >>506は釣り
- 508 名前：１３２人目の素数さん mailto:sage [2009/09/13(日) 21:35:13 ]
- >>500
aの値によっては発散するんじゃないの？
- 509 名前：１３２人目の素数さん [2009/09/14(月) 22:33:52 ]
- x,yについての方程式
a(x^3-y^3)+b(x^2-y^2)+c(x-y)=0
がx≠yなる実数解をもつための実数定数a,b,cの満たすべき必要十分条件を求めよ。
- 510 名前：１３２人目の素数さん mailto:sage [2009/09/14(月) 22:45:27 ]
- ax^3+bx^2+cx=ay^2+by+cyがx≠yの解を持てばいいので
f(t)=at^3+bt^2+ctとしたとき
f(t)が極値を持つことが必要十分
あとはa=0のときとa≠0のときで場合分けしてうんたらかんたら…
ちょっと前にコピペされてた問題を簡単にした感じかな
- 511 名前：１３２人目の素数さん mailto:sage [2009/09/15(火) 00:02:37 ]
- 次の性質をもつ関数 y＝f(x) が存在すれば例をあげ，存在しなければそれを示せ．
1．ある閉区間 [a，b] で連続
2．x∈[a，b] において x が有理数のとき，f(x) は無理数で，x が無理数のとき，f(x) は有理数．
# もちろん，大学以降の知識を使えば自明ですが，高校範囲で可能な限り厳密にお願いします．
# 誰でも考え付く問題なので，入試問題として既出であれば教えて下さい．
- 512 名前：１３２人目の素数さん mailto:sage [2009/09/15(火) 12:23:30 ]
- 無理数は有理数より多い。
- 513 名前：１３２人目の素数さん mailto:sage [2009/09/15(火) 17:25:40 ]
- >>512
なんぞ
- 514 名前：１３２人目の素数さん mailto:sage [2009/09/15(火) 22:06:37 ]
- >>512
だからそれは自明だけど範囲外だって。
- 515 名前：１３２人目の素数さん [2009/09/15(火) 22:08:45 ]
- それを認めたとして、証明できるの？
- 516 名前：１３２人目の素数さん mailto:sage [2009/09/15(火) 22:13:44 ]
- ↑ｱﾎ????????
- 517 名前：１３２人目の素数さん mailto:sage [2009/09/15(火) 22:15:29 ]
- できるから問題になっていると恩われ
- 518 名前：１３２人目の素数さん mailto:sage [2009/09/15(火) 22:35:10 ]
- >>380 , >>491
(4n-4)!!･(2n-3)!!/{(4n-1)!!･(2n-2)!!} = (4n-4)!!･(2n-2)!･(4n)!!/{(4n)!･(2n-2)!!^2} = 2^(2n)･{(2n-2)!/(n-1)!}^2･{(2n)!/(4n)!}
次のマクローリン級数を考える。
f(x) = Σ[n=1,∞) 2^(2n)･{(2n-2)!/(n-1)!}^2･{(2n)!/(4n)!} x^(n-1)
= (1/3)Σ[n=1,∞) {(1/2)(3/2)････(n - 3/2)}^2 ／{(5/4)(9/4)･････(n - 3/4)・(7/4)(11/4)････(n - 1/4)} x^(n-1)
= (1/3)Σ[n=1,∞) {Γ(n - 1/2)/Γ(1/2)}^2 ／{Γ(n + 1/4)/Γ(5/4)・Γ(n + 3/4)/Γ(7/4)} x^(n-1)
= (1/3){Γ(5/4)Γ(7/4)/Γ(1/2)^2}Σ[n=1,∞) {Γ(n - 1/2)^2 ／Γ(n + 1/4)・Γ(n + 3/4)} x^(n-1)
= (1/3)･3Ｆ2(1/2,1/2,1; 5/4, 7/4; x), ････ 「一般化 超幾何級数」とか言うらしい。
ここで x=1 とおく。 Whipple の恒等式より
(与式) = f(1)
= (1/3)･3Ｆ2(1/2,1/2,1; 5/4, 7/4; １)
= (π/6)Γ(5/4)Γ(7/4)／{Γ(9/8)Γ(7/8)}^2
= (π/6)(1/4)(3/4)Γ(1/4)Γ(3/4)／{(1/8)Γ(1/8)Γ(7/8)}^2
= 2πΓ(1/4)Γ(3/4)／{Γ(1/8)Γ(7/8)}^2
= 2{sin(π/8)}^2／sin(π/4)
= 2{sin(π/8)}^2／{2sin(π/8)cos(π/8)}
= tan(π/8),
- 519 名前：518 mailto:sage [2009/09/15(火) 22:51:04 ]
- >>380 , >>491
〔Whipple 恒等式〕
一般化 超幾何級数 3Ｆ2(a,b,c; d,e; x) について
3Ｆ2((1/2)+a', (1/2)-a', c; (1/2)+c+e', (1/2)+c-e'; 1)
= {2^(1-2c)}πΓ((1/2)+c+e')Γ((1/2)+c-e')／{Γ((1+a'+c+e')/2)Γ((1+a'+c-e')/2)Γ((1-a'+c+e')/2)Γ((1-a'+c-e')/2)},
mathworld.wolfram.com/WhipplesIdentity.html
〔系〕
3Ｆ2(1/2, 1/2, 1; 3/2 +e', 3/2 -e'; 1)
= (π/2)Γ((3/2)+e')Γ((3/2)-e')／{Γ((2+e')/2)Γ((2-e')/2)}^2
- 520 名前：518 mailto:sage [2009/09/15(火) 23:03:12 ]
- ↑では
Γ(k)Γ(1-k) = π/sin(kπ), (0<k<1)
を使いますた。
- 521 名前：１３２人目の素数さん mailto:sage [2009/09/15(火) 23:09:52 ]
- >>518-520
Chapeau!
- 522 名前：１３２人目の素数さん mailto:sage [2009/09/16(水) 00:24:54 ]
- 明らかに東大入試の問題には不適
- 523 名前：１３２人目の素数さん mailto:sage [2009/09/16(水) 11:06:45 ]
- なんか一気につまんねースレになったな
- 524 名前：１３２人目の素数さん mailto:sage [2009/09/16(水) 13:52:05 ]
- 出題者が高校範囲で解ける解答を持っていなければスレ違い
- 525 名前：１３２人目の素数さん mailto:sage [2009/09/16(水) 14:38:46 ]
- スレ違いとかどうでもいいよ
細かいこといちいち指摘してんじゃねぇ
- 526 名前：１３２人目の素数さん [2009/09/16(水) 17:29:39 ]
- y=e^xとy=log(x+a)がただ1つの共有点をもつとき、2＜a＜3であることを示せ。
- 527 名前：猫は残飯 ◆ghclfYsc82 mailto:sage [2009/09/16(水) 17:39:13 ]
- いやいや、この手の計算は確かにChapeauですよね。
こういう計算の中にもいい数学が一杯詰まっていますからね。
- 528 名前：１３２人目の素数さん mailto:sage [2009/09/16(水) 19:42:04 ]
- >>526
e^x=log(x+a)⇔e^(e^x)-x=a
f(x)=e^(e^x)-xとおくと
f'(x)=e^(x+e^x)-1
よってf(x)はx+e^x=0の解αで極大値をとりその値f(α)がaに等しい
ここでx+e^x=0はただひとつの解をもち
-1/2+e^(-1/2)>0…(1)
-2/3+e^(-2/3)<0…(2)
なので-2/3<α<-1/2また
a=e^(e^α)-αであるがe^α=-αより
a=e^(-α)-α
ここでe^(-x)-xは明らかに単調減少であり
2<e^(1/2)+1/2<e^(-α)-α<e^(2/3)+2/3<3 …(3)
(3)より2<a<3
(1)(2)(3)の証明はここでは省いた
- 529 名前：１３２人目の素数さん mailto:sage [2009/09/16(水) 20:25:34 ]
- 一応 >>528の(1)(2)(3)について
(1)の証明
2>√e より1/2<e^(-1/2)
(2)の証明
e*(2/3)^(3/2)>4√6/9>1より
(2/3)^(3/2)>1/e
2/3>e^(-2/3)
(3)の証明
(3/2)^2<eより3/2<e^(1/2)であるから
2<1/2+e^(1/2)
また
(7/3)^(3/2)>3>eより
e^(2/3)<7/3なので
2/3+e^(2/3)<3
- 530 名前：１３２人目の素数さん mailto:sage [2009/09/16(水) 22:37:08 ]
- >>528
W･exp(W) = c, c≧0,
の唯一の実根を W(c)と定義する。（Lambertの W-函数)
然らば、
α = -W(1),
ここに
W(1) = 0.56714329040978387299996866221036････
はオメガ定数。
∴ a = W(1) + 1/W(1) = 2.3303661247616805832251704391621 のとき
両曲線は (x,y) = (-W(1), W(1)) で接する。
mathworld.wolfram.com/LambertW-Function.html
mathworld.wolfram.com/OmegaConstant.html
- 531 名前：１３２人目の素数さん [2009/09/16(水) 22:57:56 ]
- 次の条件を満たす領域Ａの体積を求めよ。
☆領域Ａに含まれる任意の点Ｐはx軸、y軸、z軸までの距離がいずれもa(>0)以下。
- 532 名前：１３２人目の素数さん mailto:sage [2009/09/16(水) 23:12:39 ]
- >>531
x^2+y^2≦a^2
y^2+z^2≦a^2
z^2+x^2≦a^2
で結局垂直三円柱の共通部分になる
んじゃね？
- 533 名前：１３２人目の素数さん mailto:sage [2009/09/16(水) 23:34:06 ]
- >>528のf(α)は極小値だった
- 534 名前：１３２人目の素数さん [2009/09/16(水) 23:53:49 ]
- >>532
です．
さすがに簡単すぎですかw
- 535 名前：１３２人目の素数さん mailto:sage [2009/09/17(木) 00:40:19 ]
- >>534
2004年名市大に同一問題
- 536 名前：１３２人目の素数さん mailto:sage [2009/09/17(木) 10:08:38 ]
- >>528
>a=e^(e^α)-αであるがe^α=-αより
>a=e^(-α)-α
a=e^(e^α)-α=e^(-α)-α=-1/α-α
までやればもっと楽だと思う
αの範囲も-1<α<-1/2まで絞るだけでいいし
- 537 名前：１３２人目の素数さん [2009/09/17(木) 14:05:54 ]
- 全ての自然数nに対して,|a[n]|<1ならば
lim[n→∞]a[1]a[2]…a[n]＝0
であるといえるか。
いえるなら証明し、いえないなら反例をあげよ。
- 538 名前：１３２人目の素数さん [2009/09/17(木) 14:07:03 ]
- ↑「対して」の後の「,」は不要でした。
- 539 名前：１３２人目の素数さん mailto:sage [2009/09/17(木) 14:21:01 ]
- >>537
いえない
反例
a_n=(1/2)^{(1/2)^(n-1)}
のとき
積の極限は1/4
- 540 名前：１３２人目の素数さん mailto:sage [2009/09/17(木) 14:30:19 ]
- >>537
全ての自然数nに対してb_n<0ならば
Σ[1,∞]b_n=-∞は常に成り立つか？
って問題と同値
成り立つ訳ない
- 541 名前：１３２人目の素数さん mailto:sage [2009/09/17(木) 22:24:08 ]
- >>537
家ない。
判例
a[k] = {(k+1)/k}{(k-1+α)/(k+α)},
のとき
a[1]a[2]……a[n] = (n+1){α/(n+α)} → α, (n→∞)
- 542 名前：541 mailto:sage [2009/09/17(木) 22:35:14 ]
- >>537
a[k] = 1 - (1-α)/{k(k+α)} < 1,
-1/3 < α < 1 より
|a[k]| < 1,
- 543 名前：１３２人目の素数さん [2009/09/18(金) 01:37:32 ]
- f(x)=x^n/e^xとする．
全ての自然数nに対して、
lim[a→∞]∫[0,a]f(x)dx
が収束することを示せ。
- 544 名前：１３２人目の素数さん mailto:sage [2009/09/18(金) 02:00:37 ]
- >>543
∫x^n*e^(-x)dx=-x^n*e^(-x)+n∫x^(n-1)*e^(-x)dx
帰納法で終了
- 545 名前：１３２人目の素数さん [2009/09/18(金) 02:08:53 ]
- >>543 正解です。
あとは面倒なだけですねorz
3次方程式x^3+ax^2+bx+c=0の解が全て正の数であるとき、
ab/c>7を示せ。
- 546 名前：１３２人目の素数さん [2009/09/18(金) 02:15:43 ]
- ab/c≧9に訂正をば。
- 547 名前：１３２人目の素数さん mailto:sage [2009/09/18(金) 02:28:40 ]
- >>545
3つの正の解をα，β,γとすると
ab/c=(α+β+γ)(αβ+βγ+γα)/αβγ=
(α+β+γ)(1/α+1/β+1/γ)≧(1+1+1)^2=9 (コーシ−シュワルツより)
- 548 名前：１３２人目の素数さん mailto:sage [2009/09/18(金) 06:10:13 ]
- >>545
応用してみた。
x^3-ax^2+bx-c=0(a,b,cはともに実数)
(1)この方程式が正の解しか持たない時、ab/c≧9であることを示せ。
(2)いまサイコロを三回投げて、順に出た目をa,b,cに代入した。
この時、この方程式の解が正整数解しかもたない確率を求めよ。
- 549 名前：１３２人目の素数さん mailto:sage [2009/09/18(金) 08:38:23 ]
- >>548
(1)>>547
(2)0<α≦β≦γとしておく
(1)よりab/c≧9なのでc≦4
c=1のとき、α=β=γ=1⇔a=3,b=3
c=2のとき、α=β=1,γ=2⇔a=4,b=5
c=3のとき、α=β=1,γ=3⇔a=5,b=7(不適)
c=4のとき、α=β=1,γ=4⇔a=6,b=9(不適)
または α=1,β=γ=2⇔a=5,b=8(不適)
求める確率は2/216=1/108
- 550 名前：１３２人目の素数さん mailto:sage [2009/09/18(金) 09:10:42 ]
- 東工大に類題あるな
- 551 名前：１３２人目の素数さん mailto:sage [2009/09/18(金) 10:02:44 ]
- あまり(1)と(2)に関連がないような気もする
- 552 名前：１３２人目の素数さん [2009/09/18(金) 14:55:23 ]
- 3点P(0,0,1),Q(0,1,0),R(0,0,1)を頂点とする正三角形の板Sを考える。
(1)Sをz軸のまわりに1回転させたとき､Sが通過する点全体のつくる立体Tの体積を求めよ。
(2)Tをy軸のまわりに1回転させたとき､Tが通過する点全体のつくる立体Uの体積を求めよ。
- 553 名前：１３２人目の素数さん [2009/09/18(金) 15:57:53 ]
- n,m,l,kを正の整数とする。
以下の式を満たすn,m.l.kの組を全て求め、
それが全てであることを示せ。
(n!)^k+(m!)^k=(l!)^k
- 554 名前：１３２人目の素数さん mailto:sage [2009/09/18(金) 16:13:10 ]
- 誰か >>511 をお願い
- 555 名前：１３２人目の素数さん mailto:sage [2009/09/18(金) 16:53:52 ]
- >>553
n≦m<lで考える
n<m<lのとき
(n!)^k+(m!)^k=(l!)^k の両辺(n!)^kでわると
1+(P(m,m-n))^k=(P(l,l-n))^k …(1)
(1)の左辺はn+1で割って1余り右辺はn+1で割り切れるので不適
ゆえに m=nとなり
2(n!)^k=(l!)^k
両辺 (n!)^kで割って
2=(P(l,l-n))^k
これを満たす組み合わせは
k=1, m=n=1,l=2のみ
- 556 名前：１３２人目の素数さん mailto:sage [2009/09/18(金) 17:10:02 ]
- >>555
正解、簡単すぎかな
スマートな面白さを求めたつもりだったけど・・・
- 557 名前：１３２人目の素数さん mailto:sage [2009/09/18(金) 17:21:11 ]
- とりあえず回答が出てある程度時間経ったら出題者は自分の用意した回答だしてくれ
- 558 名前：１３２人目の素数さん mailto:sage [2009/09/18(金) 22:23:53 ]
- >>543
f(x) = (x^n)･e^(-x),
は x=n で最大値 f(n) = (n/e)^n をとる。
y>0 のとき
f(2n+y) = f(2n)･(1 + y/2n)^n･e^(-y) < f(2n)･e^(y/2)･e^(-y) = f(2n)･e^(-y/2),
a>2n のとき
(与式) = ∫[0,2n] f(x)dx + ∫[2n,a] f(x)dx
= ∫[0,2n] f(x)dx + ∫[0,a-2n] f(2n+y)dy
< ∫[0,2n] f(n)dx + f(2n)∫[0,a-2n] e^(-y/2)dy
= 2n･f(n) + 2･f(2n){1 - e^(-(a-2n)/2)}
→ 2n･f(n) + 2･f(2n), (a→∞)
- 559 名前：558 mailto:sage [2009/09/18(金) 22:28:54 ]
- >>543
>558 より与式は有界。
また、与式はaについて単調に増加するから、収束する。
- 560 名前：１３２人目の素数さん mailto:sage [2009/09/18(金) 23:57:00 ]
- >>554
>>511は簡単すぎて誰もﾄﾅｶｲ
- 561 名前：１３２人目の素数さん mailto:sage [2009/09/19(土) 00:01:35 ]
- 簡単とか難しい以前に解こうかなって思わせる要素が全くない、面白くない
あれだったら自分の用意してた答え書いてみ
- 562 名前：１３２人目の素数さん mailto:sage [2009/09/19(土) 00:04:16 ]
- と解けない人が回答を欲しがっています
- 563 名前：１３２人目の素数さん mailto:sage [2009/09/19(土) 00:05:14 ]
- >>560
トナー買うなら･･･
www.tonakaibin.com/index.php
- 564 名前：１３２人目の素数さん mailto:sage [2009/09/19(土) 00:06:47 ]
- >>563
ﾄﾅｶｲの便w
- 565 名前：１３２人目の素数さん [2009/09/19(土) 00:16:06 ]
- ２/３＝１/２＋１/６
１１／１４＝
- 566 名前：１３２人目の素数さん mailto:sage [2009/09/19(土) 00:17:44 ]
- >>552 (1)
Rを頂点とする2つの円錐と、xy-平面とで囲まれた部分。→ T
外側の円錐は、RP,RQを通り、底半径1,
内側の円錐は、PQの中点を通り、底半径1/√2,
V(T) = (1/3)π- (1/6)π = π/6,
- 567 名前：１３２人目の素数さん mailto:sage [2009/09/19(土) 00:18:26 ]
- >>561の面白い問題投下に期待
- 568 名前：１３２人目の素数さん [2009/09/19(土) 02:04:03 ]
- 確かに解答者の解答が示されないと面白みが半減するな
- 569 名前：１３２人目の素数さん [2009/09/19(土) 02:04:27 ]
- 一辺が10の立方体がある。
この中に半径1/√5の球を立方体からはみださないようにいれていく。
立方体に詰めることができる球の最大の個数を求めよ。
- 570 名前：１３２人目の素数さん mailto:sage [2009/09/19(土) 08:45:57 ]
- >>569
秋山仁乙
- 571 名前：１３２人目の素数さん [2009/09/19(土) 10:03:36 ]
- >>568
解けていないのに,解いて欲しいが為に出題する奴が多いから無理
- 572 名前：１３２人目の素数さん mailto:sage [2009/09/19(土) 10:13:21 ]
- >>511の出題者は、「問題」を思いついただけで、
高校課程の知識での解等例はおろか
「もちろん，大学以降の知識を使えば自明」な解答すら実は書けないのではないか。
- 573 名前：511 mailto:sage [2009/09/19(土) 11:23:26 ]
- 高校範囲内の解答はもちろん用意していますが、
誰もﾄﾅｶｲのでお蔵入りです。
- 574 名前：１３２人目の素数さん mailto:sage [2009/09/19(土) 11:46:09 ]
- そりゃ残念だったな
- 575 名前：１３２人目の素数さん mailto:sage [2009/09/19(土) 11:48:47 ]
- 真っ赤なIDのトカナイさん
- 576 名前：１３２人目の素数さん [2009/09/19(土) 11:55:38 ]
- 有理数と有理数の間には必ず無理数が存在し、
無理数と無理数の間には必ず有理数が存在することをいえばよいのかな？
- 577 名前：１３２人目の素数さん [2009/09/19(土) 11:59:41 ]
- ↑スルーしてくださいorz
- 578 名前：１３２人目の素数さん mailto:sage [2009/09/19(土) 12:06:31 ]
- >>512がといてるやん
- 579 名前：１３２人目の素数さん mailto:sage [2009/09/19(土) 12:11:25 ]
- 無理数はいくらでも有理数で近似できることを用い、連続性の定義を振り返ればよい
- 580 名前：１３２人目の素数さん mailto:sage [2009/09/19(土) 12:37:26 ]
- >>578
>>512は範囲外だろ。
- 581 名前：１３２人目の素数さん mailto:sage [2009/09/19(土) 12:50:21 ]
- どいつもこいつも歯切れが悪くてイライラするぜ
- 582 名前：１３２人目の素数さん [2009/09/19(土) 13:26:03 ]
- >>570はげ山仁がだしてたの？
研究室で結晶格子みながらこのスレみたから投下してみた
- 583 名前：１３２人目の素数さん [2009/09/19(土) 13:58:47 ]
- 半円x^2+y^2=1(y≧0)上に2点P,Qがある．線分PQの中点をRとする。
P,Qが半円上をそれぞれ自由に動く時、Rの存在する領域を図示せよ。
- 584 名前：１３２人目の素数さん [2009/09/19(土) 14:07:13 ]
- >>565
1/2 + 1/4 + 1/28 =11/14
- 585 名前：１３２人目の素数さん mailto:sage [2009/09/19(土) 14:07:34 ]
- >>583
計算による問題は既出。
幾何的に解くのは，大数1対1対応の演習（旧課程版）にあり。
- 586 名前：１３２人目の素数さん [2009/09/19(土) 16:20:55 ]
- 一辺が2の正三角形ABCがある。
辺AB,辺BC,辺CAを軸に正三角形ABCを回転させてできる立体の共通部分の体積を求めよ。
- 587 名前：１３２人目の素数さん mailto:sage [2009/09/19(土) 16:33:13 ]
- 東大志望だけどこのスレ見てると死にたくなったｗｗ勉強してくる
- 588 名前：１３２人目の素数さん mailto:sage [2009/09/19(土) 18:16:30 ]
- science6.2ch.net/test/read.cgi/math/1249096955/とか他にも出題スレはあるよ
- 589 名前：１３２人目の素数さん [2009/09/20(日) 00:26:32 ]
- 大数かなんかの裏表紙の広告にあった問題
正七角形ＡＢＣＤＥＦＧにおいてＡＢ＝ｘ、ＡＣ＝ｙ、ＡＤ＝ｚとおくと
y^2/x^2+z^2/y^2+x^2/z^2=5となることを示せ。
- 590 名前：１３２人目の素数さん mailto:sage [2009/09/20(日) 01:32:15 ]
- >>583
問題の半円から、中心(-1/2,0) 半径1/2 の小さい半円と、 中心(1/2,0) 半径1/2 の小さい半円と を除いた領域。
(x + 1/2)^2 + y^2 ≦ (1/2)^2, (x - 1/2)^2 + y^2 ≦ (1/2)^2,
R(x,y) がこの領域内にある ⇔ Rを通りORに垂直な直線と半円とが２点で交わる(P,Q)。
- 591 名前：１３２人目の素数さん mailto:sage [2009/09/20(日) 02:47:14 ]
- >>589
外接円の半径をR とする。
x = AB = 2R･sin(∠AOB/2) = 2R･sin(π/7) = −2R･sin(8π/7),
y = AC = 2R･sin(∠AOC/2) = 2R･sin(2π/7),
z = AD = 2R･sin(∠AOD/2) = 2R･sin(3π/7) = 2R･sin(4π/7),
よって
y/x = 2cos(π/7),
z/y = 2cos(2π/7),
x/z = −2cos(4π/7) = 2cos(3π/7),
よって
(y/x)^2 = 2{1 + cos(2π/7)},
(z/y)^2 = 2{1 + cos(4π/7)},
(x/z)^2 = 2{1 + cos(6π/7)},
よって
(与式) = 5 + {1 + 2cos(2π/7) + 2cos(4π/7) + 2cos(6π/7)}
= 5 + Σ[k=0,6] cos(2kπ/7)
= 5,
-------------------------------------------------
(注) cos(2π/7), cos(4π/7), cos(6π/7) は
1 - Ｔ_7(u) = (1-u)(1 -4u +4u^2 +8u^3)^2 = 0,
の根で u≠1 のもの、すなわち
1 -4u +4u^2 +8u^3 = 0,
の3根である。（本問では使わないが）
- 592 名前：591 mailto:sage [2009/09/20(日) 02:52:37 ]
- >591 の訂正
1 - Ｔ_7(u) = (1-u)(1 +4u -4u^2 -8u^3)^2 = 0,
の根で u≠1 のもの。
ｽﾏｿ.
- 593 名前：１３２人目の素数さん mailto:sage [2009/09/20(日) 03:01:35 ]
- 1の７乗根ζは難問の宝庫
ζ＋ζ^2＋ζ^4 の値を求めよ
- 594 名前：１３２人目の素数さん mailto:sage [2009/09/20(日) 04:30:19 ]
- >>593
とっかかりすりゃわからん・・・ところで、ζってなんて読むの？あと７乗根って１含む？
- 595 名前：１３２人目の素数さん mailto:sage [2009/09/20(日) 04:51:26 ]
- >>594
z = ζ + ζ^2 + ζ^4 とおく。
z* = ζ^6 + ζ^5 + ζ^3,
z + z* = (1 + ζ + ζ^2 + ζ^3 + ζ^4 + ζ^5 + ζ^6) -1 = -1,
zz* = (1 + ζ + ζ^2 + ζ^3 + ζ^4 + ζ^5 + ζ^6) + 2 = 2,
Z^2 + Z +2 = 0,
∴ z = {-1 + (√7)ｉ}/2,
- 596 名前：１３２人目の素数さん mailto:sage [2009/09/20(日) 06:25:34 ]
- >>586
A(√3,0) B(0,1) C(0,-1)
とする。
AB: y = 1 - x/√3,
AC: y = x/√3 -1,
領域D:
1 - (√3)x < y < (√3)x - 1, {(1/√3) < x < (√3)/2}
(x/√3) - 1 < y < 1 - (x/√3), {(√3)/2 < x < √3}
の体積を求めて3倍する。
x '(y) = (√3)(1-|y|),
z(x,y) = √{(x ')^2 - x^2} = √{3(1-|y|)^2 - x^2},
V = ∫_D z(x,y) dxdy = ･･･
- 597 名前：１３２人目の素数さん mailto:sage [2009/09/20(日) 07:49:27 ]
- >>558
〔補題〕
x>0 のとき
(1 + x/n)^n < e^x,
(略証)
(左辺) = Σ[k=0,n] Ｃ[n,k] (x/n)^k
= Σ[k=0,n] {n(n-1)(n-2)････ (n-k+1)/(n^k)} (1/k!) x^k
< Σ[k=0,n] (1/k!) x^k
< e^x,
- 598 名前：１３２人目の素数さん mailto:sage [2009/09/20(日) 08:25:15 ]
- >>560 >>563
www.youtube.com/watch?v=g5QZ8asNHoQ 02:22 モー娘。
www.youtube.com/watch?v=nxUsvRr8o0k 02:52 歌詞付
www.youtube.com/watch?v=0q6lD9IFtks 02:15 池田淳子
www.youtube.com/watch?v=vDUzcqZuBdI MP3TUBE
www.youtube.com/watch?v=pISgVQOj_QM 03:04
www.youtube.com/watch?v=rUyRYH8w7EM 02:35
- 599 名前：１３２人目の素数さん mailto:sage [2009/09/20(日) 08:28:20 ]
-
日本には「鼻蔵」という僧がいて、クロード・コンピューティングの開祖とされている････
これも今は昔、奈良に、蔵人得業 恵印といふ僧ありけり。
鼻大きにて、赤かりければ、「大鼻の蔵人得業」といひけるを、後(のち)ざまには、ことながしとて、「鼻蔵人」とぞいひける。
なほ後々(のちのち)には、「鼻蔵(はなくら)、鼻蔵」とのみいひけり。
--宇治拾遺物語「蔵人得業猿沢の池の龍の事」より--
- 600 名前：１３２人目の素数さん mailto:sage [2009/09/20(日) 14:45:48 ]
- >>579
できればもっと詳しくお願いします
- 601 名前：１３２人目の素数さん mailto:sage [2009/09/20(日) 18:45:59 ]
- >>600
？
この文言で明らかじゃないなら勉強が不足しているよ君
- 602 名前：１３２人目の素数さん mailto:sage [2009/09/20(日) 20:13:08 ]
- >>601
お前、ここが高校生向けの問題を作るスレだって自覚してる？
- 603 名前：清書屋 mailto:sage [2009/09/20(日) 20:44:25 ]
- >>510
a≠0 のとき f(t) = aT^3 + (c - b^2 /a)T + 定数項, (T = t + b/3a)
f '(t) = 3aT^2 + (c -b^2 /a),
a(c - b^2 /a) = ac - b^2 < 0 のとき、極値を持つ … ○
a(c - b^2 /a) = ac - b^2 ≧ 0 のとき、極値を持たない … ×
a=0 のとき
b≠0 のとき、f(t)は2次式、極値を持つ … ○
b=0 のとき、f(t)は1次式
c≠0 のとき、極値を持たない … ×
c=0 のとき、定数 … ○
∴ 求める条件は
a≠0 かつ ac-b^2 < 0,
a=0 かつ b≠0,
a=b=c=0,
のいずれか。
- 604 名前：１３２人目の素数さん mailto:sage [2009/09/20(日) 21:13:43 ]
- >>593
2000年4月号の学力コンテストに類題あり、
a,b,cは相異なる複素数で、a^2=b、b^2=c、c^2=aであるとする。このときa+b+cは実数でないことを示せ。
|
 |
