17/12/10 15:34:46.68 gFQMK9Wr.net
まるで宗教戦争だな
664:１３２人目の素数さん
17/12/10 19:57:36.48 W/9Gj/R8.net
>>620-621
・x=1 のとき
初項 0、公比 r=1 収束、和 0.
・0<x，x≠1 のとき
-1 < r = log_(-xx+2x+1）≦ 1，x≠1
1/2 < -xx+2x+1 < 2，x≠1
0 < x < 1 + √(3/2)，x≠1 のとき収束
和 log_2(x) / (1-r)
665:１３２人目の素数さん
17/12/10 20:20:11.70 Udj3mdhm.net
お願いします。
文明堂高級カステラを買いました。「文明堂五三カステラ」
美味しく食べながら同封されていたしおりを読むと
「通常より卵黄を三割増しにして卵黄と卵白の割合を五対三にしました。」
と書いてありました。ふむふむ、じゃあ通常のカステラの卵黄と卵白の割合は、、、
130：X=5:3 あれ？
計算法が分かりません。あとこれは小中高何年生くらいの問題でしょうか？
666:１３２人目の素数さん
17/12/10 20:30:58.70 RVacvmkT.net
>>643
小６の問題
ミルクと何かでそっくりな問題がある
ていうか、元ネタはカステラかよ・・・
面白いこと教えてくれてサンキューｗ
667:１３２人目の素数さん
17/12/10 20:51:13.65 gFQMK9Wr.net
正確な求め方はともかく、４のものを５にしたら「三割増」と表示しても通るよねとか思ったよ
卵白の３を固定したとして、X:5=100:130としたらX÷5=100÷130だからX=3.85位にはなる
内項の積とか外項の積とか小中学のどの学年で出るかは知らない
668:１３２人目の素数さん
17/12/10 21:19:49.17 Udj3mdhm.net
645 ありがとう
669:１３２人目の素数さん
17/12/11 04:35:08.68 bpNZSCGN.net
ピタゴラス教団とウィンザー朝はどっちの方が凄いですか？
670:１３２人目の素数さん
17/12/11 08:26:08.16 EEIh+y2n.net
アッパー・イースト・サイドに住みてえ。
671:１３２人目の素数さん
17/12/11 08:36:11.85 EEIh+y2n.net
イエス・キリスト vs 英国王室
どっちが勝つ？
672:１３２人目の素数さん
17/12/11 08:43:48.66 iFFP4S+k.net
f(x, y) = x*y*(x^2 - y^2) / (x^2 + y^2)
| f(x, y) | ≦ 6 * sqrt(x^2 + y^2)
が成り立つと本に書いてあります。
| f(x, y) | ≦ 7 * sqrt(x^2 + y^2)
は示せましたが、 7 を 6 に下げることができないでいます。
お願いします。
673:１３２人目の素数さん
17/12/11 08:55:32.15 EEIh+y2n.net
アインシュタインと英国王室はどっちの方が凄いですか？
674:１３２人目の素数さん
17/12/11 09:06:12.40 iFFP4S+k.net
>>650
7 を 3 まで下げることに成功しました。
675:１３２人目の素数さん
17/12/11 09:09:10.28 iFFP4S+k.net
訂正します：
f(x, y) = x*y*(x^2 - y^2) / (x^2 + y^2)
| ∂f(x, y) / ∂x | ≦ 6 * sqrt(x^2 + y^2)
が成り立つと本に書いてあります。
| ∂f(x, y) / ∂x | ≦ 7 * sqrt(x^2 + y^2)
は示せましたが、 7 を 6 に下げることができないでいます。
お願いします。
676:１３２人目の素数さん
17/12/11 09:18:39.83 iFFP4S+k.net
>>653
f(x, y) = x*y*(x^2 - y^2) / (x^2 + y^2)
| ∂f(x, y) / ∂x |
=
| y | * | 1 + [2*y^2 / (x^2 + y^2)] * [1 - 2*y^2 / (x^2 + y^2)] |
≦
| y | * ( 1 + [2*y^2 / (x^2 + y^2)] * | 1 - 2*y^2 / (x^2 + y^2)] |
0 < y^2 / (x^2 + y^2) ≦ 1
だから
| y | * ( 1 + [2*y^2 / (x^2 + y^2)] * | 1 - 2*y^2 / (x^2 + y^2)] |
≦
| y | * ( 1 + [2*y^2 / (x^2 + y^2)]
≦
| y | * ( 1 + 2)
=
3 * |y|
≦
3 * sqrt(x^2 + y^2)
677:１３２人目の素数さん
17/12/11 09:19:29.52 iFFP4S+k.net
3 からもっと下げられそうな気がするのですが、どうですか？
678:１３２人目の素数さん
17/12/11 09:22:31.75 iFFP4S+k.net
5/4 まで下げることに成功しました。
679:１３２人目の素数さん
17/12/11 09:26:55.32 iFFP4S+k.net
f(x, y) = x*y*(x^2 - y^2) / (x^2 + y^2)
| ∂f(x, y) / ∂x |
=
| y | * | 1 + [2*y^2 / (x^2 + y^2)] * [1 - 2*y^2 / (x^2 + y^2)] |
0 < y^2 / (x^2 + y^2) ≦ 1
だから
-1 = 1 - 2 ≦ 1 + [2*y^2 / (x^2 + y^2)] * [1 - 2*y^2 / (x^2 + y^2)] ≦ 1 + 1/4 = 5/4
よって、
| y | * | 1 + [2*y^2 / (x^2 + y^2)] * [1 - 2*y^2 / (x^2 + y^2)] |
≦
| y | * (5/4)
=
(5/4) * | y |
≦
(5/4) * sqrt(x^2 + y^2)
680:１３２人目の素数さん
17/12/11 09:28:02.85 iFFP4S+k.net
もっと下げられる人いますか？
681:１３２人目の素数さん
17/12/11 09:37:59.26 EEIh+y2n.net
メキシカンマフィアとイギリスはどっちの方が残虐残酷劣悪非道畜生ですか？
682:１３２人目の素数さん
17/12/11 09:56:41.97 rEUhHdWG.net
1まで下げられる
ただし等号がつく
683:１３２人目の素数さん
17/12/11 09:59:46.00 EEIh+y2n.net
キリスト教と大英帝国はどっちの方が偉大ですか？
684:１３２人目の素数さん
17/12/11 10:14:09.24 73Pkg5Cj.net
今日の松坂君IDiFFP4S+k
685:１３２人目の素数さん
17/12/11 10:16:29.85 3qubGoP/.net
>>658
その元の問題、正しく書き写してます？
f(x, y) = x*y*(x^2 - y^2) / (x^2 + y^2)
= r^2 cosθ sinθ (cosθ^2 - sinθ^2)/(cosθ^2 + sinθ^2)
= r^2 (1/2) sin2θ cos2θ / 1
= r^2 (1/4) sin4θ ≦ (1/4) r^2
α sqrt(x^2 + y^2) = α r で頭抑えるのは無理ですよね。
(x,y) 領域が制限されたりしてないのなら。
686:１３２人目の素数さん
17/12/11 10:17:54.24 ol+fHHp7.net
毎日一つずつNGIDが増えていく
687:１３２人目の素数さん
17/12/11 10:27:40.20 iFFP4S+k.net
>>663
それは書き間違いでした。
>>653
で訂正しまています。
688:１３２人目の素数さん
17/12/11 10:30:04.38 73Pkg5Cj.net
ID:EEIh+y2nは物理板で有名な荒らしのヒマラヤ
689:１３２人目の素数さん
17/12/11 10:53:29.63 WPERr9CH.net
>>663
f'(a cos(t),a sin(t))
690:=(3 sin(t)-sin(5t))/4 =< 1
691:１３２人目の素数さん
17/12/11 10:57:48.11 ineNYooM.net
お礼が遅くなってしまいましたが
>>575様、>>577様、
本当にありがとうございました！問題が解決しました！本当にありがとうございます！
ちなみになんでこんなわけわかんない事聞いたかっていうと
ガッコの課題でドローンを自律飛行させるんですが、その飛行経路組むのに必要で聞いてました
本当にありがとうございます・・・・！
692:１３２人目の素数さん
17/12/11 11:41:08.22 3qubGoP/.net
>>665 よく見てなかったごめん。
f(x,y) = ... = (1/4) r^2 sin4θ
∂r/∂x = x/r = cosθ
tanθ' ∂θ/∂x = ∂/∂x{ y/x } ∴ ∂θ/∂x = -y/r^2 = -sinθ/r
より
∂f/∂x = (1/2) r cosθ sin4θ + r^2 cos4θ (-sinθ/r)
= r ( (1/4) (sin5 + sin3θ) - (1/2) (sin5θ - sin3θ) )
= r ( -(1/4) sin5 + (3/4) sin3θ )
|∂f/∂x| ≦ r ( |1/4| + |3/4| ) ≦ 1 * r であり、
また θ=3π/2 にて ∂f/∂x = r *( -(1/4)*(-1) + (3/4)*(+1) ) = 1 * r (等号も成り立つ)
|∂f/∂x| ≦ 1 * sqrt(x^2+y^2)
つまり 1 がミニマムです。
693:１３２人目の素数さん
17/12/11 11:57:26.44 WPERr9CH.net
６６７
694:１３２人目の素数さん
17/12/11 12:00:58.02 EEIh+y2n.net
大日如来とレオンハルト・オイラーはどっちの方が凄いですか？
695:１３２人目の素数さん
17/12/11 12:22:24.69 WPERr9CH.net
ヒトラー
696:１３２人目の素数さん
17/12/11 12:40:07.03 oHy4Fo5D.net
【医学詐欺３連発！】インフルエンザ予防接種・アマルガム虫歯治療・マンモグラフィー乳癌検診
ｽﾚﾘﾝｸ(liveplus板)
697:１３２人目の素数さん
17/12/11 13:03:39.57 6+Vtt3FO.net
物理の実験で誤差は標準偏差の二倍にすればいいって言われました
正規分布などについてのおすすめの本教えてください
機械工で統計の授業がないためセンターテスト程度の知識しかありません
698:１３２人目の素数さん
17/12/11 14:17:06.71 yQ0RpLJ+.net
全宇宙は何円ですか？
699:１３２人目の素数さん
17/12/11 17:11:54.28 WPERr9CH.net
十三モン
700:１３２人目の素数さん
17/12/11 20:24:23.30 XSNFuSYl.net
日本人は全員ゴミ
701:１３２人目の素数さん
17/12/11 20:27:28.70 t6OSAE7s.net
ｎを２以上の整数とするとき n(n+1)(2n+1)/6 が平方数になるのはｎ＝２４（＝７０＾２）だけなんでしょうか？
702:１３２人目の素数さん
17/12/11 23:25:15.49 tUimATQJ.net
>>678
n(n+1)(2n+1)/6 = m^2 (m, nは自然数)なら、
x, y, z を整数として
(1) : n/6 = x^2
(2) : n+1 = y^2
(3) : 2n+1 = z^2
を満たすx, y, z の組がある
[(3)からz^2は奇数 : zは奇数]
(1)より n = 6*x^2
これを(2)に代入 6*x^2 = y^2 - 1
[ここでy^2も奇数とわかる : yは奇数]
同様に(3)に代入 12*x^2 = z^2 - 1
よって6*x^2 = z^2 - y^2
ここで詰んだ
703:１３２人目の素数さん
17/12/11 23:52:26.71 DMRdNcXy.net
なんでやねーん
704:１３２人目の素数さん
17/12/12 00:06:25.97 DfQwB48T.net
{m,n}={{-70,24},{-1,1},{1,1},{70,24}}
705:１３２人目の素数さん
17/12/12 00:44:59.54 kXuLuFFS.net
平方ピラミッド問題
で検索かな
706:１３２人目の素数さん
17/12/12 00:45:14.44 A7tAwVS8.net
>>653-658
{∂f(x,y)/∂x｝/√(xx+yy）= Y（1+2YY-4Y^4),
ここに、Y = y/√(xx+yy)，｜Y｜≦1,
1 - Y（1+2YY-4Y^4) =（1+Y){(1-Y)^2 +YY(1-2Y)^2｝≧ 0,
1 + Y（1+2YY-4Y^4）=（1-Y){(1+Y)^2 +YY(1+2Y)^2｝≧ 0,
（極座標を使わなくても）
>>671
そりゃ、大日如来さまはオイラよりずっと凄いけど。
707:１３２人目の素数さん
17/12/12 00:57:22.55 HrIyXIFI.net
>>683
大日如来とカール・フリードリヒ・ガウスはどっちの方が凄いですか？
708:１３２人目の素数さん
17/12/12 01:07:40.75 d9lW6Bob.net
>>682
おお
一応正しい道を進んでたが補題の証明の辺りで力尽きてたわ
709:１３２人目の素数さん
17/12/12 01:20:12.13 nBlj0+XH.net
>1^2 + 2^2 + 3^2 + ・ ・ ・ + 23^2 + 24^2 = 70^2
>この等式は，モンスター単純群と関連しているのではとも言われています。
>しかし，きちんとした数学的な解釈は与えられておらず，今後に残された課題なのです。
URLﾘﾝｸ(www.s.chiba-u.ac.jp)
モンスター群調べてみてもどう関連しているのかどこにも見つからないんだけど
検索の仕方が悪いのかなぁ？
710:１３２人目の素数さん
17/12/12 01:28:28.46 H8wC4JgV.net
>>679
>n(n+1)(2n+1)/6 = m^2 (m, nは自然数)なら、
>x, y, z を整数として
>(1) : n/6 = x^2
>(2) : n+1 = y^2
>(3) : 2n+1 = z^2
>を満たすx, y, z の組がある
なわけねーじゃんｗ
711:１３２人目の素数さん
17/12/12 01:50:49.02 A7tAwVS8.net
>>592
七面鳥 = 鶏 = 月給取
をトリニティというらしい
712:１３２人目の素数さん
17/12/12 01:56:42.43 d9lW6Bob.net
>>687
えっ
713:１３２人目の素数さん
17/12/12 04:20:51.81 iDdrzTZv.net
>>678
nとn+1はn≧2で互いに素
714:１３２人目の素数さん
17/12/12 04:54:47.53 fJpjzm18.net
広義積分
∫(0→∞)1/(1+x^√2) dx
を求めよ
という問題なのですが、解けそうで全く歯が立ちません
あらゆる置換を試したのですがダメでした
解法のご教示お願い致します
715:１３２人目の素数さん
17/12/12 07:26:07.21 xnwEjjks.net
t=1/(1+x^√2) とおけ
716:１３２人目の素数さん
17/12/12 07:48:48.26 KoHTRart.net
>>692
置いた後にどうすれば良いでしょうか？
717:１３２人目の素数さん
17/12/12 09:34:46.67 CU5rJ1ha.net
頭が良くなりたいのに全然良くなりません
やはり自殺するより他はないのでしょうか？
718:１３２人目の素数さん
17/12/12 10:23:18.45 rVa2ccyM.net
水理学の開水路における台形と円の水理幅、潤辺、流積の公式の証明を教えてください。。。
お願いします。。
719:１３２人目の素数さん
17/12/12 10:23:31.50 CU5rJ1ha.net
自分より頭のいい人を殺しても罪にはならないという法律を設定するべきだと思います
どうでしょうか？
720:１３２人目の素数さん
17/12/12 10:24:10.80 H8wC4JgV.net
>>691
∫[0,∞]1/(1+x^(t>1))dx=1/sinc(π/t)
うーむ
721:１３２人目の素数さん
17/12/12 10:44:26.40 QEHAM81o.net
>>691
岩波の数学公式I の Mellin変換の型の定積分のコーナーに、0<a<bの時
∫[0,∞]x^(a-1)dx/(1+x^b)=(π/b) cosec(aπ/b)
というのが載ってます。
722:１３２人目の素数さん
17/12/12 11:24:29.67 JKRd1te6.net
アッパー・イースト・サイドに住みてえ。
723:１３２人目の素数さん
17/12/12 11:25:27.20 O8SYnJpl.net
>>691
α=√2, β=1/α, t=x^α と置く
x=t^β, dx= β t^{β-1} dt
よって
∫ [0,+∞]dx 1/(1+ x^α) = ∫ [0,+∞]dt β t^{β-1} /(1+t)^{β+ 1-β}
= β B(β, 1-β) = β Γ(β) Γ(1-β) / Γ(1)
= π β / sin(π β)
使った公式
・B(x,y) = ∫ [0,+∞]dx t^{x-1}/(1+t)^{x+y} (ベータ関数の積分表示)
・B(x, y)= Γ(x)Γ(y)/Γ(x+y)
・Γ(x)Γ(1-x) = π/sin(πx) (オイラーの相反公式)
よく使うので覚えておいて損はないでしょう。
724:１３２人目の素数さん
17/12/12 11:33:02.52 JKRd1te6.net
メキシカンマフィアとフランス軍が戦ったらどっちが勝ちますか？
725:
17/12/12 11:34:14.60 O8SYnJpl.net
今気づいたけど
α＞1 なので、 1-β = 1-1/α ＞ 0 (ベータ関数積分表示の条件) が保証されてるわけです。
726:１３２人目の素数さん
17/12/12 11:49:33.54 HUHqGIpY.net
>>694>>696
逆に考えるんだ。バカは利口な人間様のペットとして調教される義務があるのだと。
727:１３２人目の素数さん
17/12/12 12:27:09.88 oqoXHBIL.net
メキシカンマフィアと大英帝国はどっちの方が凄いですか？
728:１３２人目の素数さん
17/12/12 12:29:54.73 sp1uSTXS.net
殺したい
729:１３２人目の素数さん
17/12/12 12:33:38.11 HUHqGIpY.net
エイズでも貰ってきて色仕掛けで伝染して回れば？。
実際フランスの知識人とか政府高官とかエイズの伝染し合いっこ貰いっ子貰われっ子でだいぶくたばってるよ。同性間での感染も含めて。
730:１３２人目の素数さん
17/12/12 12:50:30.17 oqoXHBIL.net
鬼神と魔神はどっちの方が凄いですか？
731:１３２人目の素数さん
17/12/12 12:57:59.21 sp1uSTXS.net
>>706
病気とかではなく、自分の手で虐殺したいんです
732:１３２人目の素数さん
17/12/12 13:31:52.13 6tYmd77O.net
ロスチャイルド家の始祖とイギリス王室の開祖はどっちの方が偉大ですか？
733:１３２人目の素数さん
17/12/12 14:09:32.49 HUHqGIpY.net
>>708
じゃあ自分より知能が高そうなやつの精子買ってきて流産でもしまくれば？。
近親憎悪はいいぞ。一番恨み骨頂だ。
734:１３２人目の素数さん
17/12/12 14:12:21.36 oHiJGGf1.net
ヒマラヤと同程度の知能
735:１３２人目の素数さん
17/12/12 14:17:53.49 HUHqGIpY.net
>>711
生まれる前は似たり寄ったりの精子だったのにね。
736:１３２人目の素数さん
17/12/12 15:16:28.04 iSyLBHJk.net
>>710
残念ながら私は男性です
737:１３２人目の素数さん
17/12/12 15:26:22.22 4nAPr7SE.net
三角不等式で両辺の絶対値をとった
｜｜a｜－｜b｜｜≦｜a－b｜
は成り立ちますか？
738:１３２人目の素数さん
17/12/12 15:47:53.16 O8SYnJpl.net
>>714
|a| - |b| ≦ | a - b |
|b| - |a| ≦ | b-a | = | a - b |
| |a| - |b| | = max(|a|-|b|, |b|-|a|) ≦ | a - b |
739:１３２人目の素数さん
17/12/12 16:50:56.14 UjGeQvJO.net
>>697
>>698
>>700
ありがとうございます！！
740:１３２人目の素数さん
17/12/12 17:47:14.38 fg4nLu4f.net
>>714
それも三角不等式ですよ
741:１３２人目の素数さん
17/12/12 19:10:56.07 LgRN09Oi.net
URLﾘﾝｸ(i.imgur.com)
練習126（1）の
「－b＜k－l＜b ゆえにk－l＝0」
の部分がわかりません
例えばb＝3,k＝2,l＝1は問題の条件及び－b＜k－l＜bを満たしてますがk－l＝0とはなりません
どういうことでしょうか？
742:１３２人目の素数さん
17/12/12 19:18:41.30 tUr9d/PY.net
k - l は b の倍数
743:１３２人目の素数さん
17/12/12 19:19:44.66 LgRN09Oi.net
>>719
ありがとうございました
744:１３２人目の素数さん
17/12/12 20:53:58.36 mBt6XIq0.net
ユダヤとアングロサクソンはどっちの方が上ですか？世界への影響力的に考えて。
745:１３２人目の素数さん
17/12/12 21:21:38.53 1BGQrCsV.net
ユダヤですね
746:１３２人目の素数さん
17/12/12 21:25:02.56 mBt6XIq0.net
>>722
理由を教えてください。
747:１３２人目の素数さん
17/12/12 21:38:16.27 QKTQC08e.net
>>723
うんこぶりぶり
748:１３２人目の素数さん
17/12/12 21:43:37.55 AEFW4aOD.net
>>724
ヒュー・エヴェレット3世と大英帝国はどっちの方が偉大ですか？
749:１３２人目の素数さん
17/12/12 22:35:25.11 xUQ0pjYE.net
「あらゆる全て」が唯一超えられないもの、それが「無」。
これは正しいですか？
750:１３２人目の素数さん
17/12/12 23:07:32.07 Dj3+3E90.net
ビル・ゲイツとマキシム・コンツェビッチはどっちの方が頭が良いですか？
751:１３２人目の素数さん
17/12/13 01:08:49.99 1Nr7f0T9.net
両方共バカです。 あなたが一番偉い
752:１３２人目の素数さん
17/12/13 01:27:12.39 XFLOTDs1.net
URLﾘﾝｸ(youtu.be)
この動画で出てくる三角錐の体積と最小の見かけ上の面積の関係式知りたいんですけど、わかる人いますか。
ちなみに数学の中でもどういう分野に近いですか？
753:１３２人目の素数さん
17/12/13 02:17:05.30 Zm7XTPvZ.net
人生に飽きた。自殺したい。
754:１３２人目の素数さん
17/12/13 03:53:50.64 +tWBEZWV.net
初等幾何（空間図形）
正四面体の体積は中学でやる
見かけ上の正方形は、この正四面体を埋め込んだ立方体の一面に相当する
ところでこれの正八面体ver.が1990年の東大入試で出ている
755:１３２人目の素数さん
17/12/13 10:29:18.60 2b6xgB1p.net
ユニクロのヒートテックなんですが
普段はあまり暖かくなく、暖かい部屋に入ると不要なほど発熱します
これを数学で表すことはできるでしょうか？
また、数学で気温が寒いときにもヒートテックが暖かくなるように解決する事はできるでしょうか？
756:１３２人目の素数さん
17/12/13 11:24:19.41 mmuQWU7a.net
小平邦彦さんが以下のように書いています：
「形式主義によれば、数学はそれ自身は意味をもたない記号を
与えられたルールに従って並べて行くゲームに過ぎない」
証明を読むということは記号列を読むということになるかと思います。
ある記号列が人間にとって難しく感じられ、
ある記号列が人間にとって簡単に感じられる
のはなぜでしょうか？
757:１３２人目の素数さん
17/12/13 11:25:29.05 mmuQWU7a.net
難しいさを定量的に定めることは可能でしょうか？
758:１３２人目の素数さん
17/12/13 11:29:23.48 dcfpbc4E.net
>>733
記号というのは、人間がある事柄を表すために使う文字列のことです
すなわち、文章や数式といったものも記号なのです
学校の試験でも国語の問題とか数学の問題で出来る出来ないが分かれますよね
それと同じなんですね
759:１３２人目の素数さん
17/12/13 11:58:50.03 IInGjIF+.net
江古田ちゃんと小枝ちゃんはどちらの方がしょうもない芸人ですか？
760:１３２人目の素数さん
17/12/13 12:24:28.95 0xxtjjxx.net
そんなことして楽しい？
761:１３２人目の素数さん
17/12/13 12:37:10.82 mmuQWU7a.net
Mathematica で松坂和夫著『解析入門3』の p.162 問題14.2.10 を解かせてみました。
多変数の Taylor 多項式の計算です。
762:１３２人目の素数さん
17/12/13 12:37:23.96 mmuQWU7a.net
URLﾘﾝｸ(i.imgur.com)
763:１３２人目の素数さん
17/12/13 14:44:30.69 3PBJxXr1.net
そんなん、手でやれよ。
764:１３２人目の素数さん
17/12/13 15:08:35.65 /TWnQA9m.net
URLﾘﾝｸ(books.google.co.jp)
下から2,3行目に線型写像が存在するとありますが、どのようにして△_nを線型空間とみているのでしょうか
765:１３２人目の素数さん
17/12/13 15:29:21.02 bVgjW93i.net
>>741
それ一般的には単体写像(simplicial map) て言われてるやつです。
まず頂点写像ありきで、他の点の写像が線形(linear)補間されるわけです。
言葉の誤用/誤植ってほどではないかと思いますが紛らわしいですね。
ベクトル空間の "線形写像" とは別物です。
766:１３２人目の素数さん
17/12/13 15:40:24.10 /TWnQA9m.net
>>742
丁寧な回答をありがとうございます
767:１３２人目の素数さん
17/12/13 17:58:01.39 vwTQbFRw.net
例
1つの剣に装飾品が3つ付いていますす。
その装飾品は1つ辺り3%の確率でクリティカルが出る仕様になっています。
一撃につき何%でクリティカルが
出るでしょう？
単純に9%だと思ってたのですが、仮に装飾品が2つと考えて1つ50%と仮定した場合100%にはならないなと想像したら全く答えが見つからなくなりました。
どなたかよろしくお願いします。
768:１３２人目の素数さん
17/12/13 18:11:05.84 gNGMfg74.net
>>744
ひとつの武器でクリティカルが出ない確率が97％
３つともクリティカルが出ない確率が0.97の3乗
クリティカルがどれかの武器で出る確率は
1-0.97^3=0.087327でおおよそ8.7％
50％の場合も同じ考えでやれば100％を越えることはない
769:１３２人目の素数さん
17/12/13 18:25:06.18 vwTQbFRw.net
>>745
モヤモヤが晴れました
お早い返答ありがとうございました
770:１３２人目の素数さん
17/12/13 19:01:45.31 7Rrvsl+N.net
∫(xsinx)/(1+|cosx|)dxのxが[0,π]区間での積分はどう求めればいいんですか？
771:１３２人目の素数さん
17/12/13 20:46:31.65 nLTxve4u.net
ドーナツとコーヒーカップが同相とwikipediaで見たんですけど
これ証明ってどうやってやるんですか？
772:１３２人目の素数さん
17/12/13 21:13:40.42 dcfpbc4E.net
連続写像を作ればよいですね
直感的に明らかにそういうものが作れます
773:１３２人目の素数さん
17/12/13 21:14:36.54 dcfpbc4E.net
連続というか同相写像ですけど
774:１３２人目の素数さん
17/12/13 22:03:12.18 mmuQWU7a.net
トポロジーでは、直観的に明らかといっていい加減にせざるを得ないところがあるということですか。
逆に、ここは厳密に数学的にやるというところはどこですか？
775:１３２人目の素数さん
17/12/13 22:10:10.54 3PBJxXr1.net
困った時には、おいらに任せなさい。
776:１３２人目の素数さん
17/12/13 22:18:33.74 dcfpbc4E.net
>>751
厳密さを追求すれば、まずは同相云々の前にドーナツやコーヒーカップを定義しなければなりません
ユークリッド空間上に「お絵描き」するわけです
その上で、写像を構成していくわけですが、それはとってもめんどくさいですよね
面倒な上に得られるものはそれほど大したものではないわけです
やりたい人がやれば良い程度のことなわけですね
私はやる気が起きませんけど
777:１３２人目の素数さん
17/12/13 22:37:12.25 7uj1goCd.net
>>747
積分区間を [0, π/2] と [π/2, π] に分けて
後者に x → π - x の置換積分を施すと
π ∫[0, π/2] sin(x) dx/(1 + cos(x))
となるので、さらに u = cos(x) とでも置換して
π ∫[0, 1] du/(1 + u) = π log(2)
778:１３２人目の素数さん
17/12/13 22:41:32.89 3PBJxXr1.net
残念
779:１３２人目の素数さん
17/12/13 23:06:28.76 6knSgPwG.net
東大史上最高の天才は小平邦彦氏ですか？
780:１３２人目の素数さん
17/12/14 00:58:43.63 BG0HQM59.net
>>585
Σ[k=1～∞］1/(k^3）= ζ(3）= (2ππ/7）log(2）+（16/7)∫[0，π/2］x･log{sin(x)｝dx
オイラー
781:１３２人目の素数さん
17/12/14 01:30:26.70 1USsaXZB.net
白と黒の玉がたくさん入った箱から無作為に玉を100個取り出したとき、白い玉が30個で黒い玉が70個だったとします。このとき箱の中の白い玉の割合が3割である確率はどのくらいになるのでしょうか
782:１３２人目の素数さん
17/12/14 01:50:07.20 4L7xZd2l.net
ガウス vs ノイマン
天才対決。
783:１３２人目の素数さん
17/12/14 02:07:04.10 4L7xZd2l.net
数学ってマジでキチガイじみてる学問だよな・・・・・。
神は超天才数学者らしいけど、本当にそうかもな・・・・・。
なんじゃこりゃ・・・？
URLﾘﾝｸ(ja.wikipedia.org)
784:/wiki/%E7%97%85%E7%9A%84%E3%81%AA_(%E6%95%B0%E5%AD%A6) 数学にはこんな概念まであるのかよ・・・・・。
785:１３２人目の素数さん
17/12/14 02:11:10.69 4L7xZd2l.net
あれっ、リンクがちゃんと貼れてない。
まぁいっか。
786:１３２人目の素数さん
17/12/14 03:09:03.45 bruE5e40.net
線形写像F: P3→P2を
F(p(x))=p(x+1)-p(x)+(x^2)p(0) で定める
このとき、P3の基底1,x,x^2,x^3 とP2の基底1,x,x^2 に関する
Fの表現行列を求めよ
この問題の解説お願い致しますm(_ _)m
初歩的で申し訳ありません
787:１３２人目の素数さん
17/12/14 07:34:43.99 6JZcdmpV.net
各基底をe1..., e1'.. で表すとして、
F([e1, e2, e3]) = [e1', e2'] A (Aは 2x3 行列)
このAを求めろって話。
Fの定義見れば、ちゃんと
３次以下の多項式 → 2次以下の多項式 の線形写像になってるから
あとは手計算で問題なくいけるでしょ。
788:１３２人目の素数さん
17/12/14 07:37:29.37 6JZcdmpV.net
誤: F([e1, e2, e3]) = [e1', e2'] A (Aは 2x3 行列)
正: F([e1,...,e4]) = [e1,..,e3] A (Aは3x4行列)
789:１３２人目の素数さん
17/12/14 07:38:20.51 6JZcdmpV.net
再訂正...
誤: F([e1,...,e4]) = [e1,..,e3] A (Aは3x4行列)
正: F([e1,...,e4]) = [e1',..,e3'] A (Aは3x4行列)
790:１３２人目の素数さん
17/12/14 09:28:51.64 LK6zD3QJ.net
微分積分の本に、多変数関数の微分が定義されていますが、
開集合で定義された関数についてのみ定義されています。
孤立点を含まない集合であれば定義できるのではないでしょうか？
791:１３２人目の素数さん
17/12/14 09:51:13.81 OOChj/vx.net
境界上での微分を定義することでのメリットがあまりないわりに
定義のステートメントが多少ごたごたする。シンプルイズベスト。
792:１３２人目の素数さん
17/12/14 10:17:56.45 0QbMdCtb.net
自殺したい。
無になってもう二度と有になりたくない。
自殺をしたらをそれを実現できるかな？
793:１３２人目の素数さん
17/12/14 10:59:02.05 GoZ8B46N.net
実数からなるどのようなn次の正方行列Aに対しても、あるn次元ベクトルvが存在して、v=Avとできますか？
記述が不正確かもしれませんが、不動点が必ず存在するかという疑問です。
Aが逆行列を持つか持たないかにも関係はあるのでしょうか。
794:１３２人目の素数さん
17/12/14 11:04:56.62 qHwg9dPK.net
おおみえりこ(笑)
795:１３２人目の素数さん
17/12/14 11:32:26.36 v875YJTD.net
後出しくるぞ
796:１３２人目の素数さん
17/12/14 11:40:27.30 L6CFpqwD.net
(A-E(n))V==0 のVだね
＝＞
|A-E(n)|=0 for V != 0
797:１３２人目の素数さん
17/12/14 11:42:16.80 GoZ8B46N.net
>>772
ありがとうございます。単に引けばよかったんですね
798:１３２人目の素数さん
17/12/14 11:56:04.55 0QbMdCtb.net
無になりたい。
799:１３２人目の素数さん
17/12/14 12:03:51.26 0QbMdCtb.net
無になりたい。
800:１３２人目の素数さん
17/12/14 12:06:38.60 KhKK9beA.net
あんた無になる方法分かってるくせに自分からやらないのな
801:１３２人目の素数さん
17/12/14 12:17:27.42 0QbMdCtb.net
自殺をしたら無になれるのかな？
自殺は大罪だから自殺をしたら地獄に落ちるのかな？
死んだらどうなるんだろう？
死に方に関わらず無になるのかな？
でも、今が「有」ってことは、死んでも無にはなれない気がする・・・・・。
どうすれば無になってもう二度と有にならなくて済むのだろう・・・？
802:１３２人目の素数さん
17/12/14 13:19:01.27 O7NnYAo2.net
そんなことして楽しい？
803:１３２人目の素数さん
17/12/14 13:41:56.05 1n0Cg77d.net
無になりたい。そしてもう二度と有になりたくない。
804:１３２人目の素数さん
17/12/14 13:50:26.33 5a9gEnrX.net
無になることはできません、残念ながら
805:１３２人目の素数さん
17/12/14 14:05:52.91 1n0Cg77d.net
理由を教えてください。
806:１３２人目の素数さん
17/12/14 14:16:20.95 5a9gEnrX.net
魂は不滅です
807:１３２人目の素数さん
17/12/14 14:24:02.28 GoZ8B46N.net
f(p)が素数になるような素数pが(n+1)個以上あるようなn次関数全体の集合をSnとする。
Snは有限集合か無限集合か。
808:１３２人目の素数さん
17/12/14 15:02:03.47 SmK0uiXp.net
>>777
�
809:{気なら MIB(メンインブラック)ていう映画が参考になる まずはお前がいたあらゆる証拠を消し、消した事実も発覚できないようにする この時点で人間社会に対して「無」になる この程度で満足するかどうかで次の行動が決まる
810:１３２人目の素数さん
17/12/14 16:17:37.15 VQxn6qZC.net
Q(ζ_m)がQ(ζ_n)を含むことと、
mがnの倍数になることは同値ですか？
811:１３２人目の素数さん
17/12/14 16:46:10.31 dEB57HRf.net
高校生です
3+i2 と 4-i3 の相関を求めたいです
内積は実部と虚部それぞれで考えるのですか？
812:１３２人目の素数さん
17/12/14 16:52:10.37 1USsaXZB.net
>>758
自己解決
813:１３２人目の素数さん
17/12/14 17:11:12.94 t9T3shyE.net
ふと思ったんだけど
「有理数」「無理数」の定義の中に「実数」っていう言葉が入ってて、
「実数」の定義の中にも、「有理数」「無理数」という言葉が入ってても大丈夫なの？
実数の1の定義を元に有理数と無理数の定義は成り立ってて
2はその有理数と無理数の定義から付随して成り立ってるだけで実質的な意味はないってこと？
要は2の定義だけなら循環論法だけど、1の定義で実数を定義できているので問題ない、ってこと？
814:１３２人目の素数さん
17/12/14 17:35:25.66 EF1+cw0e.net
有理数の定義に実数ってあるんだっけ
815:１３２人目の素数さん
17/12/14 17:39:17.69 NT94V441.net
>>788
大丈夫じゃないと思うけど
１とか２とか何について言ってるか示さないとどこが問題か言えない
816:１３２人目の素数さん
17/12/14 18:06:39.94 t9T3shyE.net
あごめん
1.(推定によるのでなく）実際にあると確かめた数量。
2.有理数・無理数の総称。
ちなみにグーグルに検索かけた定義ね
817:１３２人目の素数さん
17/12/14 18:37:19.30 xl6QbgRT.net
実数は有理数全体を完備化することで定義できるから無理数は{実数}\{有理数}でいいってところかな
818:１３２人目の素数さん
17/12/14 18:38:04.10 AJaRnRjH.net
日本語辞典(?)に数学的厳密性を求めちゃう人って……
819:１３２人目の素数さん
17/12/14 19:11:12.01 dZ+t3dKc.net
実数のうち、無理数でないものが、有理数。
820:１３２人目の素数さん
17/12/14 19:15:00.86 dZ+t3dKc.net
>>786
余弦定理を使う
821:１３２人目の素数さん
17/12/14 19:22:53.90 NT94V441.net
概念としては
整数同士の商として有理数か定義できて
有理数を完備化したのが実数で
実数のうち有理数でないものを無理数と呼ぶ
って順番じゃないのかな
822:１３２人目の素数さん
17/12/14 19:25:00.99 dZ+t3dKc.net
無限小数で表される数が、実数。その中で、循環小数とならないのが、無理数。それ以外が有理数。がっこではそう教わったけど
823:１３２人目の素数さん
17/12/14 19:30:38.19 NT94V441.net
>>797
そういう教わりかたでも間違ってないんじゃない？
「その中で」っていうけど、実数に有理数が含まれてると言ってるだけで、その言い方だと実数の定義から有理数を定義した訳じゃないから
824:１３２人目の素数さん
17/12/14 19:35:07.67 BG0HQM59.net
・長寿ランキング of 他分野
入江一子（1916/05/15～）洋画家 101
イヴリー・ギトリス（1922/08/25～）ヴァイオリン奏者 95
825:１３２人目の素数さん
17/12/14 20:22:10.04 2GBA8BOu.net
Q(ζ_m)がQ(ζ_n)を含むことと、
mがnの倍数になることって同値？
826:１３２人目の素数さん
17/12/14 21:15:35.09 t9T3shyE.net
>>792
完備化とは？
827:１３２人目の素数さん
17/12/14 21:22:49.45 reJcl/Ml.net
>>801
コーシー列が収束するということです
828:１３２人目の素数さん
17/12/14 21:33:12.90 t9T3shyE.net
>>802
あぁ、習ったのにすっかり忘れてました..。
無知で申し訳ないのですが、
実数を有理数全体を完備化するっていうことと有理数の稠密性って関係ありますか？？
829:１３２人目の素数さん
17/12/14 22:07:57.91 6HURdGoI.net
>>803
めっちゃ関係ある
完備化する前の集合は完備化した後の集合�
830:ﾉおいて、稠密部分集合となるから
831:１３２人目の素数さん
17/12/14 23:06:43.67 cunqYw0s.net
偏微分の極値について質問です。
与えられた条件のもとでf(x.y)の極値を求める問題です
(1)f(x.y)=xy g(x.y)= x^2+y^2-1=0
(2)f(x.y)=x^3+y^3 g(x.y)= x^2+y^2-1=0
答えは
(1)+-(1/√2,1/√2)で極大値1/2
+-(1/√2,-1/√2)で極小値-1/2
(2)(1,0) (0,1)で極大値1 (-1,0) (0, -1)で極小値-1
(1/√2,1/√2)で極小値1/√2
(-1/√2,-1/√2)で極大値-1/√2
極小、極大値の判定がよく分からないので、そこを詳しく説明してくださると助かります。
832:１３２人目の素数さん
17/12/14 23:25:12.29 G4mmNJXw.net
幾何学で第二基本形式Ⅱ=0⇒L,M,N=0ですか？
833:１３２人目の素数さん
17/12/15 01:10:36.68 u6+J0HW2.net
N^2の任意の元(n,m),(n',m')に対して演算＊を
(n,m)＊(n',m')⇔(m<m')または(m=m'かつn=n')
と定めたとき順序集合(N^2,＊)は整列集合ということを示して下さい
834:１３２人目の素数さん
17/12/15 03:01:03.49 QaSRqpdT.net
xy平面上の曲線（直線）をxとyの式で表すよりも、複素平面上で複素数zとwの式で表した方が良い場合ってありますか？
良い場合というのは、例えば式が簡潔になるとか、工学での実用上計算がしやすくなるとか、図形の性質が解りやすくなるとか、です
835:１３２人目の素数さん
17/12/15 03:05:28.00 Iyf4ElEy.net
ない。
836:１３２人目の素数さん
17/12/15 04:26:41.24 zOGnMQ1E.net
要は基底を変換しただけでしょ
837:１３２人目の素数さん
17/12/15 05:14:52.92 VSTtLiB5.net
高校生です
3+i2 と 4-i3 の相関を求めたいです
複素数同士の相関がよくわかりません
838:１３２人目の素数さん
17/12/15 08:13:48.82 FGBge3KV.net
相関ってなんだかわかってんのか
839:１３２人目の素数さん
17/12/15 11:19:20.16 /fSk4cIi.net
角度だろ
相関角とかどっかで見たんじゃね？
840:１３２人目の素数さん
17/12/15 11:32:27.43 UctZOZ99.net
相関角って何だっけ
角度にしても高校の問題じゃなさそうだし
841:１３２人目の素数さん
17/12/15 11:44:47.58 m0lzWwyy.net
複素数をベクトル表記にして解くのかなと
842:１３２人目の素数さん
17/12/15 12:10:19.88 m0lzWwyy.net
相関角に当たるんだと思います
その場合、分母にそれぞれの自己相関を求めて分子は相互相関になるんですかね？
その時の共役の取り方など教えていただきたいです
843:１３２人目の素数さん
17/12/15 12:17:17.11 0UOvnIZK.net
なんかググってもよくわからないですねー
少なくとも数学の問題ではないようですから、適切な板で聞くか、数学の言葉に訳して質問し直してくださいね
今のままでは質問の意味が理解できません
844:１３２人目の素数さん
17/12/15 12:50:13.90 3wSnJrQS.net
もう面倒だから普通になす角の余弦だけとってろよ
845:１３２人目の素数さん
17/12/15 13:09:42.45 FGBge3KV.net
相関角とか聞いたことないわ。偏角じゃなくて？
もう少し教科書読んで共通言語学んできてくれない
846:１３２人目の素数さん
17/12/15 13:22:21.23 UctZOZ99.net
>>818
こうか
複素数 z,w について、原点でなす角∠zOwをθとするとき
cosθ＝〈z,w〉/(∥z∥∥w∥) ＝(zw~＋wz~)/(2√(zz~・ww~))
847:１３２人目の素数さん
17/12/15 13:25:37.70 rXUGqmDv.net
東京大学理学部数学科に入って思う存分数学を勉強したいという気もする・・・・・。
でも、どーせ俺なんかの頭じゃ到底無理だろうから、やっぱり自殺した方が良いのかな？
848:１３２人目の素数さん
17/12/15 13:52:44.54 rXUGqmDv.net
東京大学理学部数学科で断然トップの人と慶應義塾大学医学部医学科で断然トップの人はどっちの方が頭が良いのでしょうか？
849:１３２人目の素数さん
17/12/15 14:13:05.22 G5v7erv5.net
此の教材の⑵からについてですが
此れ、無限和を許しているから線型独立性は無限和でやらなきゃいけないのでしょうか
正直線型空間習いたてで無限和を許容するのは正気の沙汰とは思えない訳だけど有限和にするには条件が足りない気がします
850:１３２人目の素数さん
17/12/15 14:13:42.71 G5v7erv5.net
>>823
画像貼り忘れました
URLﾘﾝｸ(i.imgur.com)
851:１３２人目の素数さん
17/12/15 14:34:18.30 VSTtLiB5.net
いろいろとすみません
複素ベクトルの内積がゼロとなる2つの複素数を教えてください
852:１３２人目の素数さん
17/12/15 15:09:56.60 Iyf4ElEy.net
いや
853:１３２人目の素数さん
17/12/15 15:20:45.37 qUkeUkV5.net
>>825
マルチに答える義理はない
てか高校でそんなことやるのかよ
854:１３２人目の素数さん
17/12/15 16:14:58.23 Csr91lDX.net
{(x, y, z) | x, y, z は周囲の長さが 2*s であるような三角形の3辺}
この集合はどんな集合になりますか？
855:１３２人目の素数さん
17/12/15 16:25:59.41 VSTtLiB5.net
>>827
マルチ？？
いや先生に言われて答えたいんです
856:１３２人目の素数さん
17/12/15 16:34:22.71 zmrYUCZb.net
>>829
0と1です
857:数３
17/12/15 16:45:07.96 uqXDpGhA.net
>>828
{s=a+b+c|
-4 a^2 - 8 a b - 4 b^2 - 8 a c - 8 b c - 4 c^2, -a b c)+
(a b + a c + b )s+
( -a - b - c)s^2+s^3 = 0}
858:１３２人目の素数さん
17/12/15 17:12:00.73 VSTtLiB5.net
>>830
複素数で何かありますか？
859:１３２人目の素数さん
17/12/15 17:16:25.66 UctZOZ99.net
>>832
センセからの課題なら自分で考えた方がいいのでは
というか内積の定義にあてはめたら簡単では？
860:１３２人目の素数さん
17/12/15 17:52:13.84 S7p1wcDw.net
>>832
高校数学の範囲外らしいね
”二つの複素ベクトルの内積が 0 になる場合、それらの複素ベクトルは直交する、と表現する。”下記
とあるけど、これは二つの複素ベクトル aとbとが、a≠0 & b≠0 の条件の場合だな
取りあえず以上
URLﾘﾝｸ(mathtrain.jp)
共役複素数の覚えておくべき性質 高校数学の美しい物語 2015/11/04
(抜粋)
ちなみに大学の数学では複素ベクトル空間の標準内積を定義するときに自然に共役複素数が登場します
(引用終わり)
URLﾘﾝｸ(eman-physics.net)
ＥＭＡＮの物理学・物理数学・内積空間
物理と数学とで少し流儀が違うので、ちょっと説明に困った。
(抜粋)
複素ベクトルの内積
ベクトルの成分が複素数で表されている場合には、(7) 式を使って内積を計算するのである。つまり、一方のベクトルの成分だけ複素共役を取ってから、通常の内積を行うように計算すれば良い。もちろん、長さ 1 で互いに直交している基底を採用しているという前提である。
二つの複素ベクトルの内積が 0 になる場合、それらの複素ベクトルは直交する、と表現する。複素数のベクトルを具体的にイメージするなんてことはほぼ不可能なんじゃないかと思うが、幾何学のイメージを借りてきたのである。こうして実数の場合にも複素数の場合にも「ベクトルの直交」というものを定義することが出来た。
(引用終わり)
URLﾘﾝｸ(ja.wikipedia.org)
内積
(抜粋)
定義
複素数体 C 上のベクトル空間 V 上で定義された二変数の写像 ?,?: V × V → C が内積あるいはエルミート内積であるとは、（略）
注意
文献によっては、エルミート内積および半双線型形式は第二引数に関して線型、従って第一引数に関して共軛線型とするもの（特に物理学や行列環に関するもの）と、それとは逆に第一引数に関して線型、第二引数に関して共軛線型とするものがある。
前者の分野においては、上記の内積 ?x,y? を（量�
861:q力学におけるブラケット記法で）?y?|?x? と書いたり、（略） (引用終わり)
862:１３２人目の素数さん
17/12/15 18:13:53.93 IuA5e40o.net
答えないとか自分で考えろとか言う奴は結局のところ何もわかってなさそうだから放っておいて、
複素数を実二次元ベクトルとして捉えた場合、z_1=a+biに対してz_2=-b+ai, z_3=b-aiとの内積が0となると思うんだが
複素ベクトルでエルミート内積を考えるのなら単に直交する2つのベクトルとしか言えない
それから0と1も複素数
863:１３２人目の素数さん
17/12/15 18:41:33.41 UctZOZ99.net
>>835
わかってない、というのは正解だね
説明が不十分なんだから
ゆえに
複素数をその成分で構成される実ベクトルと見なせって人もいれば
複素数を成分にもつ複素ベクトルと解釈する人もいる
質問してる本人もどれが意図しているものかわかってないんだから答えもあやふやにならざるを得ない
864:１３２人目の素数さん
17/12/15 20:25:32.39 m0lzWwyy.net
複素数なら内積をそれぞれのノルムで割れば相関となるのかなと思いまして
このような質問させていただきました
865:１３２人目の素数さん
17/12/15 21:38:00.56 Csr91lDX.net
URLﾘﾝｸ(page.auctions.yahoo.co.jp)
「杉浦三夫」って誰ですか？
866:１３２人目の素数さん
17/12/15 21:43:11.23 5JB39BOE.net
漢字の苦手な鮮人転売乞食ですね
867:１３２人目の素数さん
17/12/16 01:47:51.17 vvWR9qGT.net
>>837
いや、だからね、
内積、という概念は分野によって指すものが異なるから、定義を示すなり、どの分野を対象にしてるか書かなければ話にならないのではと。
ノルムも然り。
相関に至っては何に着目した相関かも明らかでない。
そんなこんなで結果、ご質問の焦点はいまだぼやけたままなのですが。
868:１３２人目の素数さん
17/12/16 05:37:32.57 2o2egwT4.net
望月新一氏とロスチャイルド家の当主はどっちの方が凄いですか？
869:１３２人目の素数さん
17/12/16 09:48:53.80 OXjHXy8L.net
ABC予想って何ですか？
870:１３２人目の素数さん
17/12/16 09:51:48.45 OXjHXy8L.net
今回掲載される論文に誤りがある確率はどれくらいでしょうか？
871:１３２人目の素数さん
17/12/16 10:10:24.57 OXjHXy8L.net
数学の論文って平均何ページくらいなんですか？
872:１３２人目の素数さん
17/12/16 10:32:22.45 gVZw/sJz.net
５００ページ読むヴァカがおるの？
873:１３２人目の素数さん
17/12/16 12:16:03.51 0QZd/b9d.net
ニワカが湧いている
874:１３２人目の素数さん
17/12/16 12:34:56.14 gYxds7wh.net
望月新一氏と仏はどっちの方が凄いですか？
875:１３２人目の素数さん
17/12/16 12:38:15.36 jAZr2gc4.net
そんなことして楽しい？
876:１３２人目の素数さん
17/12/16 12:51:36.75 gBDkCXst.net
査読に５年かかったとどっかに書いてあったが、
多分査読者が見つからずに時がたっただけだろう
877:１３２人目の素数さん
17/12/16 23:13:45.36 YLFrUwwC.net
数論してる人に聞きたいのですが、代数的整数論よろしく位相的整数論とかないんですかね？
Zに位相入れてT_0空間には出来るので、そこから何かいい感じの定理とか性質引き出せないものなのでしょうか…？
流石にT_2位まではないとお話にならない…？
位相群だとT_0とT_2が同値になるとどこかで耳にしましたが
878:１３２人目の素数さん
17/12/16 23:36:33.58 rfvvDQnN.net
しっかし誰も解けない難しい質問ばっかでつまんねえなぁ。
本当に「実際は解いている連中ばっか」状態になったこと一度もねえじゃんｗ
もっと簡単な質問してこい、脳みそウンコまみれの底辺層ども。
879:１３２人目の素数さん
17/12/17 01:00:37.58 HnfMQIkp.net
ふつうに代数群でいいじゃん
880:１３２人目の素数さん
17/12/17 01:01:07.05 rRk/M3Id.net
・長寿ランキング of 他分野
97歳 佐伯敏子（1919/12/24～2017/10/03）広島市�
881:ｴ爆供養塔 守人 賀川 浩（1924/12/29～） 92 サッカー記者
882:１３２人目の素数さん
17/12/17 10:13:02.28 Xrb0X2hd.net
2変数の陰関数の定理の証明について質問です。
--------------------------------------------------------------------------------------
fy(a, b) > 0 と仮定する。仮定により fy は連続であるから、適当に ρ > 0 をとれば、
|x - a| ≦ ρ をとれば、 |x - a| ≦ ρ, |y - b| ≦ ρ において fy(x, y) > 0
が成り立つ。
f(a, b) = 0 で、 f(a, y) は b - ρ ≦ y ≦ b + ρ において狭義単調増加であるから、
f(a, b - ρ) < 0, f(a, b + ρ) > 0
である。 f の連続性により、ここでさらに（必要があれば ρ をさらに小さい ρ で
おきかえることにより）、 I = (a - ρ, a + ρ) とおくとき、区間 I に属する任意の x に対して
f(x, b - ρ) < 0, f(x, b + ρ) > 0
が成り立つと仮定することができる。
--------------------------------------------------------------------------------------
「f の連続性により、ここでさらに（必要があれば ρ をさらに小さい ρ で
おきかえることにより）、 I = (a - ρ, a + ρ) とおくとき、区間 I に属する任意の x に対して
f(x, b - ρ) < 0, f(x, b + ρ) > 0
が成り立つと仮定することができる。」
と書いてありますが、これはなぜでしょうか？
ρ' を十分小さくとってやれば、 f の (a, b - ρ) での連続性により
I = (a - ρ', a + ρ') ∋ x に対して、
f(x, b - ρ) < 0
になるというのは分かります。
ですが、
ρ を十分小さくとってやれば、 f の連続性により
I = (a - ρ, a + ρ) ∋ x に対して、
f(x, b - ρ) < 0
になるというのが分かりません。
なぜでしょうか？
883:１３２人目の素数さん
17/12/17 11:08:51.23 Xrb0X2hd.net
>>854
他の本でも同様の証明が書いてあります。
884:１３２人目の素数さん
17/12/17 11:10:54.58 uReQjjB1.net
>>854
>>854
＞ρ' を十分小さくとってやれば、 f の (a, b - ρ) での連続性により
＞
＞I = (a - ρ', a + ρ') ∋ x に対して、
＞
＞f(x, b - ρ) < 0
＞ρ を十分小さくとってやれば、 f の連続性により
＞
＞I = (a - ρ, a + ρ) ∋ x に対して、
＞
＞f(x, b - ρ) < 0
何が違うの？
885:１３２人目の素数さん
17/12/17 11:15:50.04 Xrb0X2hd.net
ρ と ρ' の違いです。
886:１３２人目の素数さん
17/12/17 11:23:06.30 uReQjjB1.net
>>854
＞f の連続性により、ここでさらに（必要があれば ρ をさらに小さい ρ でおきかえることにより）
これだな
887:１３２人目の素数さん
17/12/17 11:50:24.00 Xrb0X2hd.net
>>854
の証明は松坂和夫著『解析入門3』に載っているものです。
このあたりは他の本を参考にせずに書いたようですね。
そのせいか、おかしなところが多いです。
たとえば、陰関数の存在の一意性を証明していません。
888:１３２人目の素数さん
17/12/17 12:08:59.93 Xrb0X2hd.net
>>854
なぜ正方形領域にこだわっているのでしょうか？
意味のないこだわりに見えます。
889:１３２人目の素数さん
17/12/17 12:47:07.30 gZN3g0TO.net
問題
任意のε > 0に対して，あるRの開集合Aが存在し，AはRで稠密かつ|A|<εを満たす．これを証明せよ．
ただし，Rは実数全体の集合に絶対値によって距離が導入された位相空間とし，|A|は集合Aのルベーグ測度を表すものとする．
この問題なんですが，
全単射f: N → Qを1つとって，
I_k = (f(k) - ε/2^(k+1), f(k) + ε/2^(k+1)),
A = ∪[k ≧ 1] I_k
とおけば，Q⊆A⊆Rで，QはRで稠密だからAも稠密．
Aは開区間の和集合なので開集合．
しかも
|A|
= |∪[k≧1] I_k|
≦ Σ[k ≧ 1] |I_k| ←ここ
= Σ[k ≧ 1] ε/2^k
= (ε/2)/(1 - 1/2)
= ε
である． 完了
としたんですが，上の「←ここ」の不等式を「ちゃんと証明して下さい」と言われました．
「ちゃんと証明」するにはどうしたらいいか教えて下さい．
N, Q, Rは自然数（0は除く）全体，有理数全体，実数全体です．
890:861
17/12/17 12:49:39.05 gZN3g0TO.net
すみません．間違えました．
「←ここ」の不等号は「≦」でなく「<」です
891:１３２人目の素数さん
17/12/17 12:57:02.93 3fYgt7+i.net
測度の定義を思い出せ
そのまんまの不等式があるやろ
892:１３２人目の素数さん
17/12/17 13:06:50.13 oU0A4uvX.net
>>861
= |∪[k≧1] I_k|
=Σ[k ≧ 1] |I_k|
だから成り立つ
893:１３２人目の素数さん
17/12/17 16:14:48.60 gZN3g0TO.net
そのまんま？？
なんでしたっけ？
894:１３２人目の素数さん
17/12/17 17:02:17.06 LRhtLRAy.net
The dirver who drove yakuza autotrack was too foolish
895: not to be able to slow down on the narrow bridge.
896:１３２人目の素数さん
17/12/17 17:42:01.27 2eAUHz9f.net
abc予想に関する傑作問題です
自然数a,b,cからどのように2つを選んで相加平均をとっても、それは残りの1つの自然数より大きくないという。
a,b,cが満たす関係式を求めよ。
897:１３２人目の素数さん
17/12/17 20:56:18.92 MW4shBkj.net
質問スレなんで自分でわかってる問題を出すのはね…
898:１３２人目の素数さん
17/12/17 21:01:02.86 HAu7B79c.net
ここは質問スレじゃないよ
899:１３２人目の素数さん
17/12/17 21:28:07.12 jEEM4c9d.net
ここは分からない問題を書くスレですからね(笑)
900:１３２人目の素数さん
17/12/17 21:53:50.12 2f2D6fwD.net
質問なのですが鉛筆で波線を引いたところの式はどこに由来するのでしょうか。
数列a_nの式を両辺-3をする、という解法だから暗記しろということなのですか？
URLﾘﾝｸ(i.imgur.com)
901:１３２人目の素数さん
17/12/17 22:08:14.33 4B3QFUuN.net
>>871
bn は、an-3の逆数だから、とりあえずan-3を求めてから計算すれば楽だろうってこと。
なぜ -3 をすればいいのかということは、今理解する必要はない。
受験で言うなら、その右側の特性方程式なるものは覚える必要はなくって、
必ずbn=1/(an-3)とか、bn = (an-2)/(an-3) とおく。のような誘導がついてくるから
その誘導に素直に従えばいいよ。
902:１３２人目の素数さん
17/12/17 22:24:49.39 2f2D6fwD.net
ではきちんと(今の段階で理解できないような)論理的背景があるのですね？
わからないかもしれませんが説明してくれませんか？
903:１３２人目の素数さん
17/12/17 22:44:25.73 fz0bADR8.net
>>842
府中競馬場でおっちゃんがやってるやつ。
904:１３２人目の素数さん
17/12/17 22:45:19.26 4B3QFUuN.net
１次分数変換で調べるか、行列と１次変換を経由して固有値を求めて計算。
自分で適当な分数型の漸化式を作って、特性方程式を使った解を使えば
この方法で答えが求まることはわかるだろう。
本気で知りたいなら高円寺にでも行ってくれ。
905:１３２人目の素数さん
17/12/17 23:33:45.59 z34f7fJr.net
この問題わかる方いたら教えて下さい
URLﾘﾝｸ(i.imgur.com)
906:１３２人目の素数さん
17/12/18 00:20:15.47 8qDJimuU.net
(1)通分して整数にならないといけないからaは偶数
a=2mとおいて約分すればmも偶数であることがでる
(2)代入してcが奇数まではわかった、そこで詰んだ
ということがわかった
907:１３２人目の素数さん
17/12/18 00:33:47.34 JkKj9zWn.net
URLﾘﾝｸ(i.imgur.com)
908:１３２人目の素数さん
17/12/18 02:26:14.19 JkKj9zWn.net
>>877
つんでないよ
同じ論法で
a=4c -> n=(b+b^2 c+8c^2)/(2 b c)---> b= kc-->n=(8c^2+c+c^3k^2)/(2 c^2 k)
-->c= k d -->n=(1+8d +d^2 k^3)/(2 d k)--->d=1--> n=(9+k^3)/(2 k)
---> k| 9--> k=1,3,9 ----->n= 5,6,41
でつんだ。
わたしは楕円関数まで迷っていましたが、貴君の解答で正道に戻ったのであります。
＞＜；；
909:１３２人目の素数さん
17/12/18 09:42:32.50 FMw7Fw6g.net
アレクサンドリアのディオファントスさんってどのくらいのレベルの数学者ですか？
東大
910:理Ⅲの中でダントツの人が猛烈に努力すればこの人を超えられるのでしょうか？ それとも、それは到底不可能な話ですか？
911:１３２人目の素数さん
17/12/18 09:49:06.68 PlmFzoo+.net
哀れなレス乞食、ヒマラヤ
912:１３２人目の素数さん
17/12/18 10:52:54.50 SFQsSxH8.net
>>876
a=4cとすると、n=1/(2c) + 4c/b + b/2
2n-b = 1/c + 8c/b
b(2n-b) = 8c + (b/c)
左辺は整数なので、b/cも整数。 b/c=λ とおくと、
(bが奇数なので、cもλも奇数であることに注意)
λ(2n-λc) = 8 + (λ/c)
λ/cも整数。λ/c=kとおくと、(λ,cが奇数なので、kも奇数)
c(2n-kc^2) = 1 + 8/k
左辺は整数なので、8/kも整数だが、これが整数となる奇数のkは1のみで、b=c^2を得る。以下略
913:１３２人目の素数さん
17/12/18 12:38:02.24 UaNVcPKU.net
g(x_1, …, x_(n-1)) を (n-1) 変数の連続関数とする。
R^(n-1) から R^n への以下の写像は連続写像であることを証明せよ。
(x_1, …, x_(n-1)) → (x_1, …, x_(n-1), g(x_1, …, x_(n-1)))
914:１３２人目の素数さん
17/12/18 12:57:58.73 UaNVcPKU.net
ε を任意の正の実数とする。
g(x_1, …, x_(n-1)) は連続関数だから、
sqrt( (x_1 - a_1)^2 + … + (x_(n-1) - a_(n-1))^2 ) < δ
⇒
|g(x_1, …, x_(n-1)) - g(a_1, …, a_(n-1))| < ε/n
を満たす正の実数 δ が存在する。
|x_1 - a_1| < δ/(n-1)
|x_2 - a_2| < δ/(n-1)
…
|x_(n-1) - a_(n-1)| < δ/(n-1)
ならば、
sqrt( (x_1 - a_1)^2 + … + (x_(n-1) - a_(n-1))^2 ) ≦ |x_1 - a_1| + |x_2 - a_2| + … + |x_(n-1) - a_(n-1)| = (n-1)*δ/(n-1) = δ
だから、
|g(x_1, …, x_(n-1)) - g(a_1, …, a_(n-1))| < ε/n
が成り立つ。
δ_1 := min(δ/(n-1), ε/n)
とおく。
sqrt( (x_1 - a_1)^2 + … + (x_(n-1) - a_(n-1))^2 ) < δ_1
ならば、
|x_i - a_i| ≦ sqrt( (x_1 - a_1)^2 + … + (x_(n-1) - a_(n-1))^2 ) < δ_1 ≦ δ/(n-1)
だから
|g(x_1, …, x_(n-1)) - g(a_1, …, a_(n-1))| < ε/n
が成り立つ。
また、
|x_i - a_i| ≦ sqrt( (x_1 - a_1)^2 + … + (x_(n-1) - a_(n-1))^2 ) < δ_1 ≦ ε/n
である。
915:１３２人目の素数さん
17/12/18 12:58:26.76 UaNVcPKU.net
よって、
sqrt( (x_1 - a_1)^2 + … + (x_(n-1) - a_(n-1))^2 + (g(x_1, …, x_(n-1)) - g(x_1, …, x_(n-1)))^2 )
≦
|x_1 - a_1| + |x_2 - a_2| + … + |x_(n-1) - a_(n-1)| + |g(x_1, …, x_(n-1)) - g(x_1, …, x_(n-1))|
≦
(ε/n)*(n-1) + ε/n
=
ε
が成り立つ。
これは、
(x_1, …, x_(n-1)) → (x_1, …, x_(n-1), g(x_1, …, x_(n-1)))
が連続写像であることを示す。
916:１３２人目の素数さん
17/12/18 14:08:00.76 UaNVcPKU.net
杉浦光夫著『解析入門2』の陰関数定理のステートメントに
一意的に存在すると書かれていないのはなぜでしょうか？
917:１３２人目の素数さん
17/12/18 14:21:55.09 hmtGRwHq.net
当たり前だからです
918:１３２人目の素数さん
17/12/18 14:28:30.91 UaNVcPKU.net
杉浦光夫さんはむしろ当たり前のことでもきちんと書くような人ではないでしょうか？
919:１３２人目の素数さん
17/12/18 15:20:26.98 ItweH3de.net
AB=5 BC=7 cosB=3/5である△ABCがある。
直線ACに対して点Bと反対側に、点PをAP＝ACとなるようにとる。
△APCの面積が△OABの面積の8/5倍となるとき、tan∠PACの値を求めよ。
よろしくお願いします。
920:１３２人目の素数さん
17/12/18 15:57:56.13 RirD0PmU.net
質問失礼します。
放物線f(x)=ax^2+bx+cにおいて、放物線上の任意の2点P,Qがあるとする。
このP,Qを結んだ直線と、放物線の距離が最大となるときの、距離を求める。
P,Qを結んだ直線の傾きが(Qx-Qy)/(Px-Py)なので、この直線の式を立てて、直線と放物線の距離を作り・・・と考えたのですが、複雑すぎて追いつかなくなりました。
何かスマートな方法はあるでしょうか？
921:１３２人目の素数さん
17/12/18 16:00:17.34 XsBkl2Xb.net
ここはポエム校正スレじゃないよ
922:１３２人目の素数さん
17/12/18 17:17:00.94 JkKj9zWn.net
>>882
つんだーー行き詰まった >>876
つんだーー解決した（将棋チェス） >>879
両方の解釈がある
923:１３２人目の素数さん
17/12/18 21:52:57.71 SFQsSxH8.net
>>892
「つんだ」に、本来「解決した」という意味はありません。
行き詰まった、手出しが出来ない という意味で、将棋やチェスで「詰む」
というのは後手玉（詰まされる側の玉）の立場の心情や状況を表したものです。
それが、局面を表す言葉として「も」使われているだけです。
「詰みの
924:状態」、「詰んだ局面」→「勝負がついた」→「解決（？）した」 というロジックだと思いますが、「相手を詰んだ状態に追い込んで解決した」 ということでしかありません。 それ故、囲碁で勝負がつくことを「詰んだ」とはいいません。 （部分的な石の死が決まる時には使うことがあるかもしれません。）
925:１３２人目の素数さん
17/12/18 22:02:50.08 GtvOXPBa.net
今日の補習の問題でした。多分、有名大学のどれかの過去問だと思うのですが、どなたかわかりませんか？もし、有名大学ではなかったらすみません。
また、解の配置以外の解き方はありますか？
URLﾘﾝｸ(i.imgur.com)
926:１３２人目の素数さん
17/12/18 22:40:00.72 EGc+331+.net
自明
927:１３２人目の素数さん
17/12/18 22:52:03.45 /TZL+GJZ.net
>>894
東大理系96年
ただシンプルに計算していくのが一番ラク
行列との関連とか考えだすと実は難しくなるという嫌な問題（by大学への数学）
928:１３２人目の素数さん
17/12/18 23:03:35.99 GtvOXPBa.net
>>896
行列の固有値問題になりますよね
ただ気になります...笑
929:１３２人目の素数さん
17/12/18 23:53:42.07 puVgQJ9z.net
s(1-a) > tb - ①, t(1-d) > sc - ② とおく。
この2つの不等式の両辺は正であるから、①と②の辺々をかけ合わせて
st(1-a)(1-d) > stbc ⇔ (1-a)(1-d) > bc ⇔ 1-(a+d)+(ad-bc) > 0 - ③ を得る。
ここで、f(x) = x^2-(a+d)x+(ad-bc) とおく。
f(x)は下に凸であるので、 f(-1) > 0, f(1) > 0, f(軸のx座標) < 0 を満たせばよい。
③より、f(-1) = 1+(a+d)+(ad-bc) > 2(a+d) > 0, f(1) = 1-(a+d)+(ad-bc) > 0
であることが直ちに分かる。また、f(x)の軸はx=(a+d)/2であり、f((a+d)/2) = -{(a+d)^2/4-(ad-bc)}である。
ここで、③よりad-bc > a+d-1であるので、
(a+d)^2/4-(ad-bc)>(a+d)^2/4-(a+d)+1 = {(a+d^2)-4(a+d)+4}/4 = (a+d+2)^2/4 > 0
よって、f((a+d)/2) < 0
以上より、x^2-(a+d)x+(ad-bc) = 0 は -1<x<1 の範囲で異なる2つの実数解を持つことが分かる。
930:１３２人目の素数さん
17/12/19 00:53:46.35 PPDEugHF.net
ちょっと質問なんですけど自然対数の底のe、ネイピア数ってなんで重要視されてんの？
高3の勉強になったらいきなり出てきてlogの底がほとんどみんなeになっちゃって
挙句の果てには底が省略されてたら全部eのことですなんて言い出してドヤ顔で底を独占してるeさんなんですけど
お前後からきていきなり独占してんじゃねえよと。そこには2とか3とか6とかいろんな整数が入ってたんですよと
こんなにeばっかりでeわけ？なんつって
大学以降で対数を扱うときや仕事で実用上対数を扱うときも底がeばっかりになるの？
なんで全部eなの？そんなに重要なの？常用対数はまだ意義が分かり易かったけどなんなんですかeって
931:１３２人目の素数さん
17/12/19 00:56:40.62 aR045Ad1.net
微分積分やればわかる
932:１３２人目の素数さん
17/12/19 01:14:02.94 PPDEugHF.net
いや微積も基礎はやっててそこでもeがたくさんでてくるのはわかってますけど
そこでもやっぱりなんでこんなにeばっかりやるのいう感じでしょ
e^xを微分してもe^xですﾊﾞﾝｼﾞｬｰｲ
もうアホかと
なんのためにeがいるのかeばっかなのかそこを教えろと
π←わかる
√←わかる
常用対数←わかる
e←？？？
y=a^xにおいて(0,1)における傾きが1になるどうたらこうたら←？？？？？
腹が立ってしょうがない
933:１３２人目の素数さん
17/12/19 01:20:26.17 aR045Ad1.net
すべての指数関数をe^(ax) ってかけるから微分積分で便利じゃんってだけ
934:１３２人目の素数さん
17/12/19 01:35:54.23 Zl8fY
935:lxv.net
936:１３２人目の素数さん
17/12/19 01:46:00.22 QS2tYaEZ.net
おいらに聞いてね
937:１３２人目の素数さん
17/12/19 01:50:23.49 PPDEugHF.net
>>902,903
ありがとうございました
全てを理解しました
938:１３２人目の素数さん
17/12/19 01:53:11.35 rZuD0LcC.net
リー群⇔リー環
939:１３２人目の素数さん
17/12/19 12:47:08.56 TeAd8I+m.net
正則行列と非正則行列？の積は
非正則行列ですか？それとも一般的には成り立ちませんか？
940:１３２人目の素数さん
17/12/19 13:02:18.27 TeAd8I+m.net
あ、上の質問無視してください
線分は点の集合ではないし、面は線分の集合ではない。また柱体は面の集合ではない。この考え方で行くと円の定義はある点から等しい距離にある点の集合と定義されいるから円周の長さは0みたいなことになってしまうの
ですがいい解釈の仕方はありますか。
941:１３２人目の素数さん
17/12/19 13:32:57.69 gPlbdG2p.net
>>906
代数群⇔代数体
942:１３２人目の素数さん
17/12/19 13:45:14.80 dPgT/1iV.net
>>908
＞線分は点の集合ではない
じゃあ何だと言うんだ？
943:１３２人目の素数さん
17/12/19 14:22:21.32 Zl8fYlxv.net
>>908
測度論を勉強してください
944:１３２人目の素数さん
17/12/19 15:49:20.24 I0iip+aY.net
URLﾘﾝｸ(imgur.com)
この問題なのですが、
仕入れ値+3割引の利益=3割引の売価
ここがイマイチ理解できません
3割引の売価の際は、仕入れ値も3割引にはならないんですか？
945:１３２人目の素数さん
17/12/19 16:24:26.26 xKeNUk7U.net
読書のスピードについてお伺いします。
学研の
「よくわかる数学Ⅰ」は、
ページ数が732あります。
24時間使える状態で、
cover to cover何日で読破するのが
普通でしょうか。
問題は、
例題の解答・解説だけを読み、
練習問題は一切読まないとします。
946:１３２人目の素数さん
17/12/19 16:48:19.76 IgBOjaI0.net
>>913
読むだけでは数学はわかるようにはなりません
チャートよりも厚い本は読む必要がないと思います
教科書をまずは読んで、その参考書の例題なり練習問題なりを読むと良いでしょう
947:１３２人目の素数さん
17/12/19 16:48:41.21 IgBOjaI0.net
>>914
問題を解くの間違えです
948:91
17/12/19 17:17:56.79 xKeNUk7U.net
>>914
949:913
17/12/19 17:19:41.56 xKeNUk7U.net
>>914
ありがとうございました。
白チャートにトライしてみます。
950:１３２人目の素数さん
17/12/19 17:27:52.96 IgBOjaI0.net
>>917
チャートをやれと言ったわけではないですよ
一番いい参考書は教科書ですから、まずはそれをやりましょう
国の検査が入ってるんですから、間違えないですね
ですが、教科書には答えがないこともあるので、参考書や問題集を使ったほうが、実際に問題を解く際には便利だというわけです
951:１３２人目の素数さん
17/12/19 17:37:33.77 NxqVwla9.net
グラフ G が 2 つの連結成分からなるとする。
このとき、
G と Z + Z （直和）が同型であることを証明せよ。
『計算で身につくトポロジー』に証明が書いてあるのですが、意味不明です。
証明を教えてください。
952:１３２人目の素数さん
17/12/19 17:38:10.71 NxqVwla9.net
訂正します：
グラフ G が 2 つの連結成分からなるとする。
このとき、
H_0(G) と Z + Z （直和）が同型であることを証明せよ。
『計算で身につくトポロジー』に証明が書いてあるのですが、意味不明です。
証明を教えてください。
953:917
17/12/19 17:46:39.68 xKeNUk7U.net
>>918
ありがとうございました。
954:１３２人目の素数さん
17/12/19 18:47:50.46 FleBvLxN.net
>>913
背表紙経由なら、数秒。
955:１３２人目の素数さん
17/12/19 18:49:28.33 FleBvLxN.net
>>909
伊予郡⇔伊予柑
956:BLACKXスマホ
17/12/19 19:27:04.37 CkUFwawL.net
>>908
？？？？
そもそも集合について勉強しました？
Aの補集合の内点をAの外点と言い、
Aの外点を全て集めたものをAの外部と言い、
Aの内部でも外部でもない元を全て集めた集合をAの境界といいます。
957:１３２人目の素数さん
17/12/19 19:32:55.31 q8CaShy6.net
>>924
ペアノ算術を含む任意の無矛盾な公理系に対し、あるモデルM,Nおよび論理式φが存在して、M|=φかつN|≠φとできることを示せ、という問題がわかりません
958:１３２人目の素数さん
17/12/19 20:37:08.20 4WalTelt.net
>>912
誰かこれ分かりません？
959:１３２人目の素数さん
17/12/19 22:26:45.51 Ppn90mCX.net
>>925
恥ずかしげもなくまだ居るのか
960:１３２人目の素数さん
17/12/19 22:28:45.75 Ppn90mCX.net
>>912
仕入れ値なんで変わろーかや
961:１３２人目の素数さん
17/12/19 23:37:20.18 TeAd8I+m.net
この証明は正しいですか？
x!(-x)!=πx/sin(πx)
また、sinの因数分解を用いて、
x!(-x)!=Π{n:自然数} 1/(1-(x/n)²)
おそらくここまでは正しいと思われます。
f(x)=Π{n:自然数} 1/(1+x/n)と置くと、f(x)f(-x)=Π{n:自然数}1/(1-(x/n)²)=x!(-x)!
見比べることによりf(x)=x!
つまりx!=Π{n:自然数}1/(1+x/n)
となりました。
でも明らかに発散しますよね?
962:１３２人目の素数さん
17/12/19 23:57:05.27 QS2tYaEZ.net
f(x)=x!✖e^xじゃダメなのか？
963:１３２人目の素数さん
17/12/20 08:21:00.86 GaH2ZSbY.net
球に内接している立方体の対角線が球の直径になるという簡単な説明ありませんか？
二次元であれば円周角の定理で直角でしょみたいな感じで。
964:１３２人目の素数さん
17/12/20 10:52:01.17 tctI43Ps.net
あぁ、その場合も有り得ますね。
限定してしまった事が原因です(ノД`ll)
7行目から破綻してました。ありがとうございますm(*_ _)m
965:１３２人目の素数さん
17/12/20 11:06:35.28 7Ki49JWH.net
立方体の内部で一番長い線分が対角線だから、球の内部で一番長い線分の直径と一致してる
ってな感じでいいような気もする。
円周角の定理で直角でしょ の意味がイマイチよくわからんが・・・
966:１３２人目の素数さん
17/12/20 12:19:17.36 GaH2ZSbY.net
円周角が直角なら中心角は180°で直線
中心を通る直線は直径ってことで書いてた
わかりづらくてごめんなさい。
967:１３２人目の素数さん
17/12/20 12:58:56.45 bYJ+QOVw.net
>>931
球も立方体も点対称ですね
ですから、ある頂点と反対側の頂点は、球にとっても反対側にあります
968:１３２人目の素数さん
17/12/20 13:03:53.73 G8lFjqXm.net
ということを簡単に説明しろって話だろ
969:１３２人目の素数さん
17/12/20 13:27:20.41 bYJ+QOVw.net
明らかですよねw？
970:１３２人目の素数さん
17/12/20 13:39:57.51 1nRsYx9T.net
以下の２つを示すことになるのかな
・立方体の長い方の対角線(以下、単に対角線と呼ぶ)の中点から各頂点への距離が等しいこと(つまり、対角線の中点を中心にその距離を半径にもつ球面が各頂点を通ること)
・立方体の外接球の中心が、対角線の中点以外にあることを仮定すると矛盾すること
971:１３２人目の素数さん
17/12/20 14:38:24.51 joMphKYQ.net
・長寿ランキング of 他分野
93歳 川上哲治 （1920/03/23～2013/10/28） プロ野球選手、監督、野球解説者
972:１３２人目の素数さん
17/12/20 17:29:29.78 m+9NZCZ0.net
マルコフ連鎖であることの証明ってどうすればいいのでしょうか
成功確率pのベルヌーイ試行列において、n回までの成功回数をX_nとするとき、{X_n}は{0,1,2,...}上のマルコフ連鎖になることを示せという問題なのですが
973:１３２人目の素数さん
17/12/20 17:46:40.81 OdbRHKUE.net
ベルヌーイ試行とマルコフ連鎖の定義を知っているかというだけの問いにしか見えないんだが
974:１３２人目の素数さん
17/12/20 18:45:55.83 tctI43Ps.net
25m+17n=1623を満たすm,nを1組、エレガントに求められますか？
975:１３２人目の素数さん
17/12/20 18:53:34.
976:95 ID:16KZ8Sj5.net
977:１３２人目の素数さん
17/12/20 18:54:09.78 tctI43Ps.net
A^nのところの計算ってどう計算してますか？
URLﾘﾝｸ(i.imgur.com)
978:１３２人目の素数さん
17/12/20 19:07:56.94 rpKvTWzr.net
望月新一と大日如来はどっちの方が凄いですか？
979:１３２人目の素数さん
17/12/20 19:21:09.64 GaH2ZSbY.net
球と立方体のやつありがとうございます。
レス参考におとしこんでみます。
980:１３２人目の素数さん
17/12/20 19:51:31.31 1nRsYx9T.net
>>942
整数解を求めるって意味よね？
離散除算問題ってエレガントな解があまりないんじゃないかな。
25m+17n≡1623 (mod 25) から 17n≡23 (mod 25)…①
17×3≡1 (mod 25) なので n=3×23=69 は①を満たす。
これを与式に代入すると 25m+1173=1623 なので m=18
981:１３２人目の素数さん
17/12/20 20:47:56.77 trcSN5eg.net
初めて（易しめです）の数学書を読んでいる途中です
数学が難しいのは当たり前なのでそこは問題ないのですが
完全に納得するまで1ページ1ページ読むものなのでしょうか？
それともある程度までわかれば進み数学書を２回か３回読み直すことで
理解をするように読むものなのでしょうか？
差し当たりある程度理解したら進み
何回か読み直すのを前提にして読み進めていますが
この読みかたで良いのでしょうか？
982:１３２人目の素数さん
17/12/20 20:49:36.36 dsWLNV5B.net
良いと思います
後になってから大事なことに気づくということも結構あるので、たまに見返すことも大事ですね
983:１３２人目の素数さん
17/12/20 20:56:38.69 trcSN5eg.net
有難うございます
目が滑るのでちょっと苦労してますが
まずは１冊読み切るように頑張ります
984:１３２人目の素数さん
17/12/20 21:47:16.42 HE5SI8C+.net
{(x, y, z) ∈ R^3 | 0 ≦ x ≦ s, 0 ≦ y ≦ s, 0 ≦ z ≦ s, x + y + z = 2*s}
は閉集合であることを示せ。
{(x, y, z) ∈ R^3 | 0 ≦ x}
∩
{(x, y, z) ∈ R^3 | x ≦ s}
∩
{(x, y, z) ∈ R^3 | 0 ≦ y}
∩
{(x, y, z) ∈ R^3 | y ≦ s}
∩
{(x, y, z) ∈ R^3 | 0 ≦ z}
∩
{(x, y, z) ∈ R^3 | z ≦ s}
∩
{(x, y, z) ∈ R^3 | x + y + z = 2*s}
と閉集合の共通部分としてあらわされるので閉集合であるということが分かります。
しかし、ある集合が与えられたときにそれが閉集合であるかどうかいちいち考えるのが面倒です。
なにかある集合を考えるときに閉集合かどうかぱっと見分けるような命題はありませんか？
985:１３２人目の素数さん
17/12/20 21:53:51.69 yUPGO/1K.net
>>944
カッコ外してみると、隣り合うAとA-1（Aの逆行列）の積がEになるから簡単
986:１３２人目の素数さん
17/12/20 22:03:41.63 77lnL/aY.net
>>942
25と17は互いに素なので25a+17b=1となる整数a,bが存在する。例えばa=-2, b=3をとれば、25×(-2)+17×3=1が成り立つのでこの式の両辺を1623倍してやればよい
よってm=(-2)×1623, n=3×1623
エレガントかどうかは人それぞれやな
ユークリッドの互除法やら単項イデアルを考えればよい
987:１３２人目の素数さん
17/12/20 22:16:58.24 h1zzwDXm.net
>>942
25m+17n=1623
25a+17b=1の解は
8a≡1 (mod 17) ∴a=-2, b=3
kを任意の整数として
m=a*1623+17k=-3246+17k
n=b*1623-25k=4869-25k
988:１３２人目の素数さん
17/12/20 22:31:35.88 HEQYcBD1.net
>>943
f(x)について解いて見ればf(x)が微分可能であることが分かる。よくある形
989:１３２人目の素数さん
17/12/20 22:35:24.45 PpqH/6NG.net
>>955
微分可能を仮定して微分して答え求めたら微分可能なんて当然じゃないですか？
990:１３２人目の素数さん
17/12/20 23:33:28.93 iBkF7lCH.net
慶應志望
991:ですが珍しくさっぱりわからない問題にあたりました どなたか助言お願いします。 半径1の球が平面の上に接している。平面との接点をOとし、Oを球の南極点とみなしたときの 北極点をNとする。平面上に点AをOA=3となるようにとる。また点BをOB=4であり 直線OAと直線OBが直交するようにとる。 点Nと平面上の点Pを結ぶ直線が球面と交わる2点の内、Nと異なる点をP'とする。 点Pが直線AB上を動くとき、P'は円を描く。この円の直径を求めよ （ちなみに誘導として、NA'とNB'の長さを方べきの定理で求めさせています。）
992:１３２人目の素数さん
17/12/21 00:55:46.74 p646pWvj.net
>>942
gcd=1だから互除法で
993:１３２人目の素数さん
17/12/21 01:00:28.04 p646pWvj.net
>>956
？
連続関数の積分だってことだよ？
微分可能でしょ
994:１３２人目の素数さん
17/12/21 02:33:11.35 +STk0YdY.net
>>957
円だってことを保証してくれてるから、それを使えば論述の必要なく答えだけ出る
AB上の3点を適当に取って、それとNを結んだ直線と球面の3交点をPQRとして、△PQRの外接円の半径求める
995:１３２人目の素数さん
17/12/21 07:01:41.99 MtbN1MlU.net
>>957
P'は必ず平面NAB上にあるので、P'の軌跡は平面NABと球面の共通部分の円周である。
（ただし、点Nを除く）
円の直径の求め方は
(方法1) △NA'B'の外接円で考えてもよいが計算が面倒臭い。
(方法2) 球の中心から平面NABの距離を求め、そこから計算する。
球の中心をCとし、平面NABのCからの距離の求め方は
(方法2-1) 四面体NOABの体積と三角形NABの面積から、Oと平面NABの距離を求め、
その半分だと考えてもいいが、計算が面倒臭い。
(方法2-2) 半直線OA，OB，ONをそれぞれx軸，y軸，z軸の正方向とみなすと
平面NABの方程式は x/3 + y/4 + z/2 = 1，すなわち 4x+3y+6z-12 = 0 となる。
これと、球の中心 (0,0,1) との距離は6/√61
よって、求める円の直径は
2×√(1-(6/√61)^2) = 10/√61
(方法3) 球の中心をC，円の中心をH，NHとABの交点をDとすると、
CH⊥平面NABよりCH⊥AB，NO⊥平面OABよりNO⊥AB，
CHもNOも平面NOD上の直線なので，AB⊥平面NOD ∴ AB⊥ND，AB⊥OD
よって，求める直径はND'であり，またOD=12/5
ND = √(2^2+(12/5)^2) = 2√61/5
△ODN∽△D'ONなどより ND' = 10/√61
誘導は方法3をやらせたかったんですかね。
空間の平面の方程式に慣れてれば方法2-2が楽そうだが。
996:１３２人目の素数さん
17/12/21 09:36:32.01 KTVs56hk.net
s を正の実数とする。
x, y, z が
0 < x < s
0 < y < s
0 < z < s
x + y + z = 2*s
という条件をみたすとき、
f(x, y, z) = (s - x)*(s - y)*(s - z)
を最大にする点 (x, y, z) があればラグランジュの未定乗数法により求めよ。
997:１３２人目の素数さん
17/12/21 09:48:34.20 KTVs56hk.net
0 ≦ x ≦ s
0 ≦ y ≦ s
0 ≦ z ≦ s
x + y + z = 2*s
という条件をみたす点 (x, y, z) の集合はコンパクト集合である。
f は連続写像だからこのコンパクト集合上で最大値をとる。
点 (2*s/3, 2*s/3, 2*s/3) はこのコンパクト集合上の点であり、
f(2*s/3, 2*s/3, 2*s/3) = (1/27)*s^3 > 0 である。
x, y, z のどれかが s であれば f = 0 であるからそのような (x, y, z) は最大点ではない。
x, y, z のどれかが 0 であるとする。例えば、 x = 0 であるとする。
このとき、
y + z = 2*s
0 ≦ y ≦ s
0 ≦ z ≦ s
であるから y = z = s でなければならない。
f(0, s, s) = 0 である。
よって、 x, y, z のどれかが 0 であるような点 (x, y, z) は最大点ではない。
以上から、最大点を (x, y, z) とすると、
x, y, z は、
0 < x < s
0 < y < s
0 < z < s
x + y + z = 2*s
という条件をみたす。
よって、
x, y, z が
0 < x < s
0 < y < s
0 < z < s
x + y + z = 2*s
という条件をみたすとき、
f(x, y, z) = (s - x)*(s - y)*(s - z)
を最大にする点 (x, y, z) は存在する。
998:１３２人目の素数さん
17/12/21 09:53:50.11 KTVs56hk.net
g(x, y, z) = x + y + z - s*s
とする。
g = 0
fx = λ*gx
fy = λ*gy
fz = λ*gz
を x, y, z, λ について解く
999:と、 x = y = z = (2/3)*s よって、条件つき極値点の候補は、 ((2/3)*s, (2/3)*s, (2/3)*s) である。
1000:１３２人目の素数さん
17/12/21 09:54:20.85 KTVs56hk.net
訂正します：
g(x, y, z) = x + y + z - 2*s
とする。
g = 0
fx = λ*gx
fy = λ*gy
fz = λ*gz
を x, y, z, λ について解くと、
x = y = z = (2/3)*s
よって、条件つき極値点の候補は、 ((2/3)*s, (2/3)*s, (2/3)*s) である。
1001:１３２人目の素数さん
17/12/21 09:57:46.47 KTVs56hk.net
あとはどうやればいいんですか？
1002:１３２人目の素数さん
17/12/21 10:00:09.46 KTVs56hk.net
x, y, z が
0 < x < s
0 < y < s
0 < z < s
x + y + z = 2*s
という条件をみたすとき、
f(x, y, z) = (s - x)*(s - y)*(s - z)
を最大にする点は存在する。
その点を (x0, y0, z0) とする。
この点は、↑の計算で得られた条件つき極値点の候補に含まれていなければならない
ということは言えますか？
1003:１３２人目の素数さん
17/12/21 10:04:02.27 hmDAKg5/.net
>>956
それはお前の仮定だろ、証明しないと減点
1004:１３２人目の素数さん
17/12/21 10:07:28.31 KTVs56hk.net
x = y = z = (2/3)*s
は
0 < x < s
0 < y < s
0 < z < s
x + y + z = 2*s
をみたす。
点 ((2/3)*s, (2/3)*s, (2/3)*s) は極値点の候補にすぎないわけですよね。
最大点どころか極値点かどうかも分かっていないわけですよね。
1005:１３２人目の素数さん
17/12/21 10:50:34.96 wwmE25ut.net
(3)の解法教えてください
mx+ny=13を満たすx,yを1組求めて
整数kを用いてx,yの一般解(？)を求める
x+y≦900
かつ
x+yが平方数
を満たすkを求める
kの数を数えて終わり
x+y=12k+3なんですけど
実数条件により
0≦12k+3≦900
ってのはできたんでけど全部数えるのは結構きつい
1006:１３２人目の素数さん
17/12/21 10:51:03.75 wwmE25ut.net
>>970
問題です
URLﾘﾝｸ(i.imgur.com)
1007:１３２人目の素数さん
17/12/21 11:01:41.83 tUjIutCZ.net
中学入試かよ
1008:１３２人目の素数さん
17/12/21 11:13:01.84 whN1Qt++.net
x+y=2k+1 な気がするなぁ…
1009:１３２人目の素数さん
17/12/21 11:28:30.04 ryBMP0Cu.net
12k+3が平方数になる整数kは存在しない
1010:１３２人目の素数さん
17/12/21 11:38:20.84 wwmE25ut.net
m=aG
n=bG
とおく
455=13ab
ab=35
a>bより
(a,b)=(7,5)(35,1)
m,nは2桁より
m=91
m=65
7x+5y=1
(x,y)=(－5k+3,7k－4)
よって
x+y=2k－1
よってx+yは1から900のうち奇数の平方数をすべて取れるので√(x+y)は1～30の奇数をすべて取れる
したがってx,yの組は全部で15個
ですかね？
1011:１３２人目の素数さん
17/12/21 11:49:57.99 A+0nTceT.net
91x+65y=13の両辺を13で割ると
7x+5y=1 - ① が得られる。
①の解の一つはx=-2, y=3であるので、
7×(-2)+5×3=1 - ② が成り立つ。
①-②より、7(x+2)-5(3-y)=0、即ち7(x+2)=5(3-y) - ③ が得られる。
7と5は互いに素なので、ある整数kを用いてx+2=5k, 3-y=7k、即ちx=5k-2, y=-7k+3と表せる。
よって、x+y=-2k+1であり、0≦-2k+1≦900を解けばよい。
すると、-449.5≦k≦0が得られ、これを満たす整数kは450個ある。
よって、条件を満たすxとyの組は450組ある。
1012:１３２人目の素数さん
17/12/21 12:05:22.79 A+0nTceT.net
すまん、値が整数となる場合だけだった
√1-2kに関してk=0,-4...という感じで取ればいいから結局>>975の通りやね
1013:１３２人目の素数さん
17/12/21 12:06:55.17 MtbN1MlU.net
>>970
7x+5y=1を解いた結果x+y=12k+3になったってのは、
(x,y)=(5k+?,7k+?)って形になったってことだろうから、
１次不定方程式の解き方についてよくある誤解をしてるんやろうね。
例えば、7(x-3)=-5(y+4)とか変形した上で、
x-3は5の倍数でy+4は7の倍数だからx-3=5k，y+4=7kとやってしまう間違い。
それだと2つのkが同じ値になるとは言えないのでそもそも文字を変えないといけない。
正しくは、x-3は5の倍数でx-3=5k（kは整数）と書け、そのkを用いると35k=-5(y+4)よりy+4=-7k
1014:１３２人目の素数さん
17/12/21 12:52:15.87 wwmE25ut.net
教えてください
袋の中に、赤玉が15個、青玉が10個、白玉が5個入っている。袋の中から
玉を1個取り出し、取り出した玉の色に応じて、以下の操作で座標平面上に
置いたコインを動かすことを考える。
(操作) コインが点(x，y)にあるものとする。赤玉を取り出したときには
コインを点(x+1，y)に移動、青玉を取り出したときには点(x，y+1)
に移動、白玉を取り出したときには点(x-1，y-1)に移動し、取り
出した玉は袋に戻す。
最初に原点(0，0)にコインを置き、この操作を繰り返して行う。指定した回数
だけ操作を繰り返した後、コインが置かれている点を到達点と呼ぶことにする。
このとき、以下の問いに答えよ。
(１) 操作をn回繰り返したとき、白玉を1度だけ取り出したとする。このとき、
到達点となりうる点をすべて求めよ。
(２) 操作をn回繰り返したとき、到達点となり得る点の個数を求めよ。
(３) 座標平面上の4点(1，1)、(-1，1)、(-1，-1)、(1，-1)を頂点とする正方形
Dを考える。操作をn回繰り返したとき、到達点がDの内部または辺上にある
確率をPnとする。P3を求めよ。
(４) 自然数Nに対してP3Nを求めよ。
1015:１３２人目の素数さん
17/12/21 13:00:39.55 JIOgdRir.net
>>956
わかってないようだから補足すると、解くといってるのはお前がやった置換のこと。置換したした式を眺めて見ろ
1016:１３２人目の素数さん
17/12/21 14:38:35.90 de+NyBf2.net
>>828
正三角形の内部。
(略解）
平面 x+y+z=2*s のうち、3平面 x+y=z，y+z=x，z+x=y より内側の部分だから。
頂点：（0,s,s）（s,0,s）（s,s,0）
辺の長さ：（√2）s,
面積：（√3)/2 ss,
1017:１３２人目の素数さん
17/12/21 15:03:11.79 de+NyBf2.net
>>800
m=3，n=6 のとき
1+ζ_3 = 1 + ｅ^(i2π/3）= ｅ^(iπ/3）= ζ_6
Q（ζ_3）⊇ Q（1+ζ_3）= Q（ζ_6)
1018:１３２人目の素数さん
17/12/21 15:25:06.30 de+NyBf2.net
>>758
トーショーヘー「白い玉でも黒い玉でもよく入るのがいい玉だ。」
「……（パチプロだったのか）」
1019:１３２人目の素数さん
17/12/21 15:30:22.59 de+NyBf2.net
>>982
ζ_3 = ω とおくと、Q（ω）⊇ Q（1+ω）
1020:１３２人目の素数さん
17/12/21 15:37:33.99 de+NyBf2.net
次スレ立てますた。。。
分からない問題はここに書いてね439
ｽﾚﾘﾝｸ(math板)
1021:１３２人目の素数さん
17/12/21 15:49:40.75 i6i1XCh0.net
>>979
(1)
直線y=-x+n-3上のn個の点
(-1, n-2), (0, n-3), ... , (n-2, -1)
(2)
3種類の玉から重複を許してn個選ぶ組み合わせに等しい
(n+2)(n+1)/2個
(3)
n=3のとき、コインの行き先は10通りあり、そのうちDの内部或いは辺上となるものは(-1, 1), (0, 0), (1, -1)の3個
[1] 行き先が(-1, 1)のとき
青玉2個と白玉1個を取り出す
その確率は、3C2×(1/2)^2×(1/6)=1/18
[2] 行き先が(0, 0)のとき
3種類の玉を１つずつ取り出す
その確率は、3!×(1/2)(1/3)(1/6)=1/6
[3] 行き先が(1, -1)のとき
赤玉2個と白玉1個を取り出す
その確率は、3C2×(1/2)^2×(1/6)=1/8
[1]~[3]より、これらの確率の和を求めて25/72
(4)
分からん
>>985
おつ
1022:１３２人目の素数さん
17/12/21 22:43:48.36 de+NyBf2.net
・長寿ランキング of 他分野
101歳 柴田トヨ （1911/06/26～2013/01/20） 詩人
？ 篠田桃紅 （1913/03/28～） 104 美術家
1023:１３２人目の素数さん
17/12/21 23:19:43.07 QgTTPmhz.net
ひらくしでんちゅうは？
1024:１３２人目の素数さん
17/12/22 07:55:10.61 9FUHI7na.net
>>986
到達点は
取り出す順序には関係なく
組み合わせのみに依存するから
n中赤青白=ijk個のとき到達点は(i-k,j-k)で
x+y=i+j-2k=n-3k上に乗る
3n中
i=nのときにx+y=0上に乗る
i=n-1ならx+y=3は範囲外
i=n+1ならx+y=-3も範囲外
ijk=n+1n-1n nnn n-1n+1nの場合範囲内
1025:となる ((n+1n-1n)p/q+(nnn)+(n-1n+1n)q/p)p^nq^nr^n=((n/n+1)(p/q+q/p)+1)(nnn)p^nq^nr^n 3n+1中 ijk=n+1nn nn+1n nnn+1 (p+q+r)(n+1nn)p^nq^nr^n=(n+1nn)p^nq^nr^n 3n-1中 ijk=n-1nn nn-1n nnn-1 (1/p+1/q+1/r)(n-1nn)p^nq^nr^n
1026:１３２人目の素数さん
17/12/22 07:58:48.18 9FUHI7na.net
>>989
> i=nのときにx+y=0上に乗る
> i=n-1ならx+y=3は範囲外
> i=n+1ならx+y=-3も範囲外
k=
1027:１３２人目の素数さん
17/12/22 11:41:48.37 W6/MI30F.net
f(x, y) = x^2 * exp(-x^4-y^2)
sqrt(x^2 + y^2) → ∞ のとき、
f(x, y) → 0
を示せ。
この問題に対するラングの解答は以下です。
「諸君はすでに“解析入門”において
lim x^2 * exp(-x) = 0
であることを学んでいる。 x が十分大きければ x^4 は x より大きく、
したがって exp(-x^4) は exp(-x) より小さい。よって
x が大きくなるとき x^2 * exp(-x^4) → 0
である。また y^2 ≧ 0 であるから exp(-y^2) ≦ 1。
ゆえに
r = sqrt(x^2 + y^2)
が大きくなるとき、関数 f(x, y) は 0 に近づく。
1028:１３２人目の素数さん
17/12/22 11:42:03.42 W6/MI30F.net
これってひどすぎないですか？
1029:１３２人目の素数さん
17/12/22 11:48:07.16 L+4ikRzW.net
どの辺りが？
1030:１３２人目の素数さん
17/12/22 12:22:34.12 W6/MI30F.net
>>993
↓こんな感じで書くべきだと思います。
ε を任意の正の実数とする。
f(x, y) ≦ x^2 * exp(-x^4)
x^2 * exp(-x^4) → 0 （x → ±∞） だから、
∃Kx > 0 such that |x| > Kx ⇒ x^2 * exp(-x^4) < ε
よって、
∃Kx > 0 such that |x| > Kx ⇒ f(x, y) < ε
つぎに、
-Kx ≦ x ≦ Kx とする。
0 ≦ x^2 ≦ max{1, Kx^2}
0 ≦ exp(-x^4) ≦ 1
だから
f(x, y) ≦ max{1, Kx^2} * exp(-y^2)
exp(-y^2) → 0 （y → ±∞） だから、
∃Ky > 0 such that |y| > Ky ⇒ max{1, Kx^2} * exp(-y^2) < ε
よって、
-Kx ≦ x ≦ Kx のとき、
∃Ky > 0 such that |y| > Ky ⇒ f(x, y) < ε
以上より、
sqrt(x^2 + y^2) > sqrt(Kx^2 + Ky^2)
⇒
f(x, y) < ε
1031:１３２人目の素数さん
17/12/22 12:42:11.37 EiAOfpfW.net
無駄に行を開ける奴
1032:１３２人目の素数さん
17/12/22 12:53:46.35 L+4ikRzW.net
>>994
ほうほう。で、何が問題だったの？
まさか、いかに入門書であっても必ずεを使って書くべき、とか言わないよね？
1033:１３２人目の素数さん
17/12/22 13:01:55.68 W6/MI30F.net
>>996
ラングが言っているのは、 x の絶対値が十分大きければ
f(x, y) が 0 に近いということだけです。
1034:１３２人目の素数さん
17/12/22 13:39:42.79 L+4ikRzW.net
>>997
ありがとうございます。理解しました。
lim x^2 * exp(-x) = 0 から一足飛びに結論を導いたところに問題がある。と？
確かに sqrt(x^2 + y^2) → ∞ のとき、 x^2 * exp(-x) → 0 となるとは言えないですね。
1035:１３２人目の素数さん
17/12/22 13:44:38.35 kKzEQRRs.net
f(x, y) = x^2 * exp(-x^4-y^2)< (x^2 + y^2) * exp(-x^2-y^2 )
= r^2 * exp( -r^2 ) to 0
1036:１３２人目の素数さん
17/12/22 14:01:23.79 Q7HPh6Gr.net
何を逆立ちしているの？
f(x, y) = x^2 * exp(-x^4-y^2)<x^2 * exp(-x^2-y^2)<x^2 * exp(-x^2)->0
だけのことじゃん？
1037:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 26日 17時間 22分 34秒
1038:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています