くだらねぇ問題はここへ書け at MATH
[2ch|▼Menu]
[前50を表示]
350:132人目の素数さん
18/03/12 23:49:01.38 Gc10l/I+.net
酔歩の初歩

351:132人目の素数さん
18/03/13 21:50:18.80 2y1j/gPY.net
文系ならば、言葉を大切に使ったほうがいいと思います。
数学の内容を計算無しで理解したいというなら、尚更
言葉には敏感でなくてはならないはずです。
用語を雑に使っては、言葉での理解は成立し得ません。
「さいころを沢山振れば振るほど、
1が出る割合が6分の1に収束する」という表現は、
おそらく、何かを誤解した上でのことでしょう。
「さいころを沢山振れば振るほど、
1が出る割合が6分の1に近づく」ことを
「さいころを振る回数が無限大に近づく極限で、
1が出る割合は6分の1に収束する」と言います。
「収束する」という言葉の意味を考えると、
「振れば振るほど、収束する」という表現は
あり得ないです。
「振れば振るほど、近づく」は、曖昧で
観念的な表現ですが、そこを雰囲気でなく正確な内容で
表現しようとすれば、「近づく」近づき方を定量的に
盛り込まざるを得ず、数式や計算を含む説明になります。
「近づく」で納得することにするか、
数学的な表現に踏み込むか、ここから先は
覚悟して選ばなければなりません。

352:132人目の素数さん
18/04/04 20:06:44.46 YT9kwrF/.net
どんな平行六面体も空間を隙間なく埋めることができる
↑これの正否は正しい、で正解ですよね?

353:132人目の素数さん
18/04/05 08:44:21.69 VjVUbkvc.net
>>352
間違ってる

354:132人目の素数さん
18/04/05 23:41:10.27 DTitQ5x8.net
>>352
3次元ユークリッド空間なら、たぶん、おk

355:132人目の素数さん
18/04/06 00:08:34.42 bVFlHits.net
0<k<2πのとき、以下の等式が成り立つことを証明せよ。
∫(0,∞)sin(kx)/x dx = (k/2)+Σ[n=1,∞]sin(kn)/n

356:132人目の素数さん
18/04/06 00:28:54.11 L8ME5L0/.net
>>354
端っこはどうするんや?

357:132人目の素数さん
18/04/06 00:30:58.07 NC5oOxGL.net
ユークリッド空間の端っこ、って?

358:132人目の素数さん
18/04/06 04:05:22.47 nrTyHdT7.net
>>355
∫(0,∞)sin(kx)/x dx = ∫(0,∞) sin(y)/y dy = π/2,
(x/2)+ Σ[n=1,∞]sin(nx)/n = π/2  (0<x<2π)

359:353
18/04/06 05:46:12.80 bVFlHits.net
関連問題:
kを4で割ると1余る正の整数とするとき、以下の等式を証明せよ。
∫(0,∞)((2x)^k)/(e^(2πx)+1) dx = Σ[n=0,∞]((2n+1)^k)/(e^(π(2n+1))+1)

360:132人目の素数さん
18/04/06 12:33:24.76 nrTyHdT7.net
>>359
(左辺)= ∫(0,∞) (2x)^k /{e^(2πx) + 1} dx
= ∫(0,∞) (2x)^k Σ[L=1,∞] (-1)^(L-1) exp(-2Lπx) dx
= Σ[L=1,∞](-1)^(L-1){∫(0,∞) (2x)^k exp(-2Lπx) dx}
=(1/2)(1/π)^(k+1){∫(0,∞) y^k exp(-y) dy} Σ[L=1,∞](-1)^(L-1) / L^(k+1)
=(1/2)(1/π)^(k+1) Γ(k+1)(1 - 1/2^k) Σ[L=1,∞]1 / L^(k+1)
=(1/2)(1/π)^(k+1)k!(1 - 1/2^k)ζ(k+1),

361:132人目の素数さん
18/04/07 09:56:55.08 +YZ8+roj.net
>>352
>>354
>>357
その種の中学生とかで触れる幾何学(初等幾何学というんでしょうか?)の専門書ってどんなものがありますか?
参考書スレでは非ユークリッド空間とかの発展形の話題ばかりでした
スレ違いなら誘導して下さい

362:132人目の素数さん
18/04/07 13:11:27.79 ozKr5R4w.net
>>361
矢野健太郎「幾何の有名な定理」 共立出版(数学ワンポイント双書36)(1981/Dec) 150p.1512円
D.ヒルベルト「幾何学基礎論」 ちくま学芸文庫(2005/Dec) 242p.1296円
  中村幸四郎・訳
寺阪英孝「初等幾何学」 岩波全書159(1952) 182p.絶版
同  第2版(1973) 284p.絶版
  多辺形についてのJordanの定理の証明
「ユークリッド原論」追補版 共立出版(2011/May) 574p.6480円
 中村・寺阪・伊東・池田(訳)「
岩田至康「幾何学大事典」 槇書店(1971〜)全6巻+別巻2、高価
図書館の検索端末で探せばあるかも?

363:132人目の素数さん
18/04/07 13:20:56.83 ozKr5R4w.net
>>361 (追補)
小平邦彦「幾何のおもしろさ」 岩波書店(数学入門シリーズ7)(1985/Sep) 330p.1850円
小平邦彦「怠け数学者の記」 岩波現代文庫(社会19)(2000/Aug) 315p.1080円
小平邦彦「ボクは算数しか出来なかった」 岩波現代文庫(社会60)(2002/May)186p.972円
 専門バカでないものは唯のバカである。(*)
小平邦彦「幾何への誘い」 岩波現代文庫(学術7)(2009/Oct)228p.1037円
* 筒井康隆「文学部 唯野教授」 岩波現代文庫(文芸1)(2000/Jan)373p.1188円

364:132人目の素数さん
18/04/07 19:17:08.93 NNMRscPu.net
耳栓をしたら世界が変わってワロタ

365:132人目の素数さん
18/04/08 00:49:28.29 JG0GTAY0.net
ペアノ公理の5について質問がある。
自然数nに関する述語P(n)で(a)(b)が成り立つとする。
(a)P(1)である。
(b)どんな自然数kにたいしてもP(k)ならP(k´)である。
このときどんな自然数nにたいしてもP(n)が成り立つ。
これは自然数には1つの数列しかないことを宣言しているもの、と考えてよいんだよね?
例えば、1から始まる後続数のループで生まれるものを数列1とする。
公理1から4までだとこの数列1に属さない自然数Xの存在を許してしまう。
この自然数Xを排除するためのものが公理5。
という解釈でよいのだろうか。

366:132人目の素数さん
18/04/08 22:24:58.75 scYZDDu8.net
これお願い URLリンク(twitter.com)
時速って書くなら/hいらないし/h付けるなら時速いらないと思うがどうよ?

367:132人目の素数さん
18/04/09 08:19:41.13 kzhlMYzb.net
>>361
コクセターは文庫が出てる
ブロック積みが初等幾何かどうかはしらんが

368:¥
18/04/09 15:24:24.38 io+q775y.net


369:¥
18/04/09 15:24:40.61 io+q775y.net


370:¥
18/04/09 15:24:57.75 io+q775y.net


371:¥
18/04/09 15:25:16.46 io+q775y.net


372:¥
18/04/09 15:25:36.15 io+q775y.net


373:¥
18/04/09 15:25:53.31 io+q775y.net


374:¥
18/04/09 15:26:11.15 io+q775y.net


375:¥
18/04/09 15:26:29.99 io+q775y.net


376:¥
18/04/09 15:26:49.96 io+q775y.net


377:¥
18/04/09 15:27:10.31 io+q775y.net


378:132人目の素数さん
18/04/10 05:20:17.04 cgRjeD8b.net
おまいら馬鹿だろ

379:363
18/04/11 12:27:49.42 XcN1It/z.net
レスがつかないんで他のスレで質問することにした。
>>365の質問は取り下げることにする。

380:132人目の素数さん
18/05/06 16:11:44.37 KhrVKVJy.net
>>378
>>363 にあるとおり。

381:¥
18/05/08 14:50:30.76 FpEjvdxJ.net


382:¥
18/05/08 14:50:52.21 FpEjvdxJ.net


383:¥
18/05/08 14:51:11.84 FpEjvdxJ.net


384:¥
18/05/08 14:51:37.45 FpEjvdxJ.net


385:¥
18/05/08 14:51:57.61 FpEjvdxJ.net


386:¥
18/05/08 14:52:19.57 FpEjvdxJ.net


387:¥
18/05/08 14:52:39.98 FpEjvdxJ.net


388:¥
18/05/08 14:53:03.00 FpEjvdxJ.net


389:¥
18/05/08 14:53:24.62 FpEjvdxJ.net


390:¥
18/05/08 14:53:47.50 FpEjvdxJ.net


391:132人目の素数さん
18/05/21 21:48:05.26 VLLcdro9.net
思いつき
「実魔方陣」を以下で定義する:
実魔方陣とは、9つの実数を 3×3 の形に並べたものであって、
各行、各列、各対角線上に並ぶ数の和が全て等しいものとする。
実魔方陣の和、実数倍を行列と同様に定めることにより、
実魔方陣全体の集合は実ベクトル空間をなす。
この実ベクトル空間の次元を求めよ。

392:132人目の素数さん
18/05/21 22:04:16.81 2xKr+/2q.net
面白い!

393:132人目の素数さん
18/05/24 10:54:10.20 wa8QAvcF.net
>>391
3次元
各マスXij(i,j∈{1,2,3})の数からなる9次元の空間に対し、独立な制約条件が6つある為
制約条件の例
X11+X12+X13=X21+X22+X23
X31+X32+X33=X21+X22+X23
X11+X21+X31=X21+X22+X23
X13+X23+X33=X21+X22+X23
X11+X22+X33=X21+X22+X23
X13+X22+X31=X21+X22+X23

394:132人目の素数さん
18/05/24 18:53:59.50 COzmyM7A.net
>>393
正解!
条件が独立だとか十分だとかの証明がほしいところだけど、まあいいか
(簡単に分かる方法があったら教えて下さい)
基底の例
e1=
1,-1,0
-1,0,1
0,1,-1
e2=
0,-1,1
1,0,-1
-1,1,0
e3=
1,1,1
1,1,1
1,1,1
「各行、各列、各対角線上の数の和が 0 になる実魔方陣全体」は 2 次元の部分空間を成し、
e1, e2 で生成される。

395:132人目の素数さん
18/06/21 05:04:52.44 0uUQCECl.net
以下の「服装の組み合わせ」は「何通りあるのか」を知りたいです。
・ジャケット(9種)
・ズボン(7種)
・くつ(6種)
○「ジャケット(9種)・ズボン(7種)・くつ(6種)」
これらの、「重複ない組み合わせ」は「何通り」になるでしょうか。
○そして表の作り方も知りたいです。
○また、答えを導き出すための「解法や数式の名称」はなんというのでしょうか。

396:イナ
18/06/21 18:58:42.35 r3wOHypI.net
>>395
9・7・6=378(通り)
一年間ですべての組み合わせを着つくせないぐらいあります。
方法は乗法です。
名称は掛け算です。
重複しないの意味が一度履いた靴を二度と履かないだったら、最大で6通りです。

397:132人目の素数さん
18/06/22 02:52:51.79 5dKvywCX.net
〔問題〕
最高次の係数が1であるn次多項式を P(x) とし、
P(x) = 0 のn個の解を α1,α2,…,αn とする。
このとき、α1^3,α2^3,…,αn^3 を解にもつn次多項式で、
最高次の係数が1であるもの A(x) を求めよ。
URLリンク(www.toshin.com)
 P(x) = p0(x^3) + p1(x^3) x + p2(x^3) xx,
と表わせる。。。

398:132人目の素数さん
18/06/23 00:39:23.01 BnO9HX6O.net
>>397
Q(x) = p0(x^3)^3 + {p1(x^3)x}^3 + {p2(x^3)xx}^3 - 3 p0(x^3) {p1(x^3)x} {p2(x^3)xx}
は P(x) = p0(x^3) + p1(x^3)x + p2(x^3)xx を割り切る。
∴ ある多項式 R(x) が存在して、Q(x) = P(x)R(x) と表わされる。
Q(x) は x^3 の多項式となるから Q(x) = A(x^3) とおける。
A(x) = p0(x)^3 + p1(x)^3・x + p2(x)^3・xx - 3・p0(x)・p1(x)・p2(x)・x,
は 最高次の係数が1の n次多項式である。
また各iに対し、A(αi^3) = Q(αi) = P(αi)R(αi) = 0,
∴ A(x) が求める多項式の1つである。
以下、A(x) 以外にも解が存在すると仮定して矛盾を示そう。
最高次の係数が1であるn次多項式 B(x) も条件をみたすと仮定する。
すると、n-1次以下の多項式 A(x) - B(x) がn個の根 (αi)^3 をもつ。(矛盾)
∴ A(x) が唯一の解である。

399:132人目の素数さん
18/06/23 10:00:29.88 cYhBaJ6q.net
三乗したものに同じものがないことが示してないから駄目。

400:132人目の素数さん
18/06/23 11:11:55.32 MnHCGVk7.net
URLリンク(youtu.be)
700000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000007×11111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111の答えの出し方。
URLリンク(youtu.be)
9999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999×9999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999の答えの出し方。
その他の動画もよろしく。最近は、美術2、図工2、数学2の私文修士卒の僕が
電卓、工作、絵を動画にして解説しています。
よろしく。

401:132人目の素数さん
18/06/26 04:13:02.01 8Z/gffAe.net
URLリンク(youtu.be)
美術2、英検2級のわいの漫画と説明
機械、数学、物理学も少しだけあります。

402:132人目の素数さん
18/06/26 05:31:19.97 p6aNDz2K.net
>>397
そもそも方程式の一意性は “同じものがあったらそれを重解にもつ” ととっていいなら, はなから吟味する必要はない。
たとえばx = 1,1,2を根にもつ最高次が1の三次式は(x-1)^2(x-2)に一意にきまる。
しかし用意されてる模範解答でその吟味してるってことはその意味にとってはいけないのだろう。
となるとx=1,1,2を根にもつ最高次が1の三次式は(x-1)(x-2)(x-a)が一般解となる。
となるともとの問題も方程式が重解をもつ場合は多解問題になる。
つまりこの問題の解が一意に決まる事を示すにはもとのn次式が重根を持たないことを示さないと不完全。
よって元のサイトの模範解答も不完全なんだけど。

403:132人目の素数さん
18/06/27 05:30:15.31 ZtXXFOLy.net
>>397
別スレでこの問題が話題になったときは “出題者は解答が不完全なのはわかってて完全な解答もできなくないけど敢えて伏せたのかも” と書いたけど、改めて考えてみると純粋に完全な解答書けなかっただけかもしれないと思えてきた。
最初の多項式 P(x) = x^2015 +2x^2014 -2x+2 の既約性だけ言えればいいと思ったけどよくよく考えたら>>399さんが指摘してる通り,α_i^3の全体が全部違うこと示さないと駄目な気がする。(別ルートあるかもしれないけど。)
しかしこのルートも結構険しい。
自分が思いついたこのルートの証明は
α、βがP(x)の根でα=βωとなっているとするとP(x)とP(ωx)が共通解をもち、P(x)≠P(ωx)からP(x)はガウス環R=Z[ω]で可約となる。
一方p=2RはRの素イデアルなのでp進付置でのEisensteinの判定でP(x)はRで既約とわかる。矛盾。
ある程度代数的整数論に通じてないとかなり苦しい。
仮に別ルートがあっても相当険しいルートしかない気がする。
もしかしたら作ってはみたけど証明つけられなかったのが真相かも。
あるいはこの部分にギャップがあるのに気づきすらしなかったか?

404:132人目の素数さん
18/06/27 05:33:34.50 XfvCEgFW.net
>>402
もし重解があれば、P(x) = 0,P '(x) = 0 を満たす。
元の問題は P(x) = x^2015 + 2 x^2014 -2x +2 なので
P '(x) = 2015 x^2014 + 2・2014 x^2013 -2,
P(x) + (1-x)P '(x) = -2014 x^2013 {xx +(2011/2014)x -2},
x = 0 は明らかに解でない。あとは
x = {-(2011/2014)±√[8 + (2011/2014)^2]}/2
 = 1.0004966887145 & -1.99900711572542
が解でないことを示せばよい。

405:132人目の素数さん
18/06/27 05:51:26.77 ZtXXFOLy.net
>>404
上にもかいたけどそれだけじゃ多分不十分だよ。
P(x)が重解を持たないことだけでは駄目だと思う。

406:132人目の素数さん
18/06/27 17:00:25.11 XfvCEgFW.net
>>404
(2015x+2・2014) P(x) - x(x+2) P '(x) = -2・2014 {xx +(2011/2014)x -2}.
無縁解 x=0 は出てこない…

407:132人目の素数さん
18/06/29 01:00:04.46 fgt+MMrn.net
x^3−1=(x−t)(x−u)(x−v)。
P(x)=Π(x−a)。
A(x)=Π(x−a^3)。
P(tx)P(ux)P(vx)=Π((tx−a)(ux−a)(vx−a))=Π(x^3−a^3)=A(x^3)。
P(x)=Q(x^3)+R(x^3)x+S(x^3)x^2。
P(tx)=Q(x^3)+R(x^3)tx+S(x^3)t^2x^2。

408:132人目の素数さん
18/06/29 01:39:54.53 66xcDhgd.net
>>407
t=ωのことだとして依然としてP(x)とP(ωx)が互いに素であることは示されてないじゃん。

409:132人目の素数さん
18/06/29 16:28:20.65 q8XMxjx7.net
>>409
スマホだと全く読めん

410:132人目の素数さん
18/06/30 12:50:09.13 24jisY+G.net
>>395
同じグループから複数個取り出すわけではないので
重複しない
例えばジャケットを2着選ぶのなら9×8通りから重複分の2で割るひつようがあるけれど。
表は3次元の座標を使うか、または
横9×縦7のマス目のそれぞれを6分割するのでも言いかと思います。
例えばジャケット1、ズボン1という更地に
くつという名前の高さ10m〜60mのビルを建てるようなイメージですかね

411:132人目の素数さん
18/06/30 13:22:49.73 24jisY+G.net
以下の問いについて、別解や解法の考え方を教えてください。
問い
ある作業をaさんが行うと10日で完了する
同じ作業をbさんが行うと8日で完了する
aさんとbさんの二人で行うと何日で完了するか?
ただし、作業は適切に分割できるものとする
(解1)
ある作業の作業量をs[個] 作業速度をa[個/日] b[個/日]とする
s/a = 10
s/b = 8
x日で完了するとすると、
s/(a+b) = x
この3式を解くと
x = 40/9
答え 40/9日(4.444...日)
となるわけですが、分数が入るのと作業量sを結局消去してるので何か感覚的に分かりづらいんです。
そこで
(解2)
例えば作業量を2sとして一回目はsずつaさんとbさんで分けるとします。
一回目、bさんが作業を完了したとき、aさんはまだ「2」残っています
2回目、bさんはaさんの「1」を手伝います。
2回目、bさんが作業を完了したとき、aさんはまだ「0.2」残っています
3回目、bさんはaさんの半分「0.1」を手伝います。
3回目、bさんが作業を完了したとき、aさんはまだ「0.01」残っています
無限回繰り返すと、bさんの作業量bsは、
bs = s (1+0.1+0.01+......) = (10/9)s
反対にaさんの作業量asは、 = (8/9)s
as = s (1-0.1-0.01-......)
作業2sを完了する日数は、aさんが作業8/9を完了する日数と同じなので、
(8/9)s / (s/10) = 80/9
よって、作業sを完了する日数は
80/9 / 2 = 40/9
答え 40/9日 (4.444..日)

もっと難しくなった気がします...どうしたらいいんでしょう?何か感覚的に分かりやすい考え方が
思いつきません。例えば8日や10日を逆数にするとか。
作業量sを数式に入れたくないんです。

412:132人目の素数さん
18/06/30 13:26:50.68 3QKFP042.net
>>411
作業の総量を40とか80とかとおいて考える
小学生用の参考書だと○で囲ってあるやつだ
本質的に差があるわけではないけど

413:132人目の素数さん
18/06/30 14:05:49.57 t7jji/1D.net
>>411
BさんがAさん何人分に相当するか考える。Aさんが10日かかる作業をBさんは8日で終わらせるからBさんはAさんの10/8倍しゅごい
つまり、Bさんを合わせると、Aさんが1+10/8=9/4人いるのと同じこと。Aさん一人なら10日、二人なら半分の5日。9/4人なら4/9倍の40/9日
全体の作業量を具体的な個数ではなく1として一日あたりの作業量を%で考える
Aさんは10日かかる = 一日で全体の1/10 = 10%。Bさんは8日だから一日で全体の1/8 = 12.5%
二人あわせて一日で全体の22.5%(9/40)なので、作業を完了させるには100/22.5 = 4.44....日かかる

414:132人目の素数さん
18/06/30 17:51:48.41 24jisY+G.net
aさん基準で考えれば、bさんの作業速度が1.25倍であるので合計して2.25倍で行える
かかる時間は1/1から1/2.25倍まで減る
aさん基準なので、10日間×1/2.25 = 4.444...日間・・・答え
こんなもんか

415:132人目の素数さん
18/07/01 00:18:51.42 KZmq+nT0.net
蛇口Xからはc日でdの水が出る
⇔ 蛇口Xからは1日で(d/c)の水が出る
⇔ 蛇口Xからは(c/d)日で1の水が出る
・ 蛇口Aからは10日で1の水が出る
・ 蛇口Bからは8日で1の水が出る
・ 蛇口Aからは1日で1/10の水が出る
・ 蛇口Bからは1日で1/8の水が出る
・ 蛇口A&Bからは1日で(1/10+1/8)の水が出る。
・ 蛇口A&Bからは1/(1/10+1/8)日で1の水が出る。
1/(1/10+1/8)=40/9
蛇口A&Bからは40/9日で1の水が出る。

416:132人目の素数さん
18/07/02 00:48:00.25 l4VS3kzS.net
ふむふむ
個々の流量を合計して逆数取れば、ある仕事量1単位あたりを完了させる時間が分かる
って言葉でまとめられるかな
単位仕事量あたりの時間、ととらえれば感覚的に分かりやすい

417:132人目の素数さん
18/08/06 20:21:56.22 0TntC5u6.net
180度の角が一つあると考えると内角の和は360度になるので
三角形は四角形に内包されますか?

418:132人目の素数さん
18/08/11 11:14:40.35 birPGGYG.net
あるレストランGでは、20回に1回、会計が100%引きとなり、
別のレストランDでは、会計時に次回の会計が10%引きになるチケットを配布するという。
レストランに2回行くとき、どちらのレストランを選ぶのがお得か?
レストランのサービス内容に差はなく、初期状態でDのチケットは持っていない。また、上記以外の割引はないものとする。

419:イナ
18/08/11 11:32:27.09 DJUiBE0c.net
>>418D。
(理由)二回目が安くなるから。

420:132人目の素数さん
18/08/11 12:53:14.96 zOa2Lz/5.net
Gの方がお得な屁理屈を探せ?

421:132人目の素数さん
18/08/26 00:48:41.08 oi0Wi+Da.net
今大学で研究されている数学は役に立たないので税金を使う必要はない
やりたい人だけでお金を出し合ってやればいい
この意見に反論したいのですがどうすればいいですか

422:132人目の素数さん
18/08/26 10:15:12.68 rGSEcNup.net
>>418
単純な期待値的には同じと思ったんだけど、ひっかかってるのかな?
店に行く回数 1回 Gのほうがお得
       2回 同じ
       3回 Dのほうがお得

423:132人目の素数さん
18/08/26 13:29:47.12 rGSEcNup.net
100%引きになるチケットを配布する、と読めなくもないけど
でも、それだと問題にならないよな

424:132人目の素数さん
18/08/26 13:42:58.37 rGSEcNup.net
2回行くだけじゃ、100%引きになることは絶対にないという単純な話か

425:132人目の素数さん
18/08/26 22:13:40.33 e3pJCWP7.net
【ATP】男子プロテニス総合スレッド288 ワッチョイ有
スレリンク(tennis板)
このスレで今確率の問題が話題になってるんだけど誰か答えてくれない?
ドローのサイズは128、シードは32、1回戦はシード選手同士では当たらない。この状況でディミトロフ(シード選手)とバブリンカ(ノーシード)がウィンブルドンに続き全米でも1回戦で対戦する事になった。この2大会連続で同じ相手と1回戦で当たる確率がいくらか?って話題で
(1)ウィンブルドンは既に終わった大会だから、今回全米で当たる確率も1/96のままって意見と
(2)2大会連続で当たったんだから1/9216
って意見に分かれて議論が紛糾してスレが荒れてる。
どっちが正しいのかあるいはそれ以外の答えがあるのか理由もつけて答えを出して文系のバカどもを誰か黙らせてくれない?

426:132人目の素数さん
18/08/27 01:11:26.78 iPZOwbUe.net
サイコロで1が連続して10回出る確率はものすごい低いですが、11回目に1が出る確率は1/6ですよね。
これだったら1/6^11って計算の意味なくないですか?

427:132人目の素数さん
18/08/27 01:19:52.91 BuUP3N+h.net
↑ 熱中症ですね。水分と塩分を補給しましょう。

428:132人目の素数さん
18/11/13 16:51:37.09 /lMcVzdM.net
[問1]周長1の円の面積と、周長1のn角形の面積との差のうち最小の値をV_2(n)とするとき、数列{n^2・V_2(n)}は収束するか。収束する場合は極限値を示せ
[問2]表面積1の球の体積と、表面積1のn多面体の体積との差のうち最小の値をV_3(n)とするとき、数列{n・V_3(n)}は収束するか。収束する場合は極限値を示せ

429:132人目の素数さん
18/11/14 18:22:46.86 bGkusq+Z.net
夕食のオカズがイカ、マグロ、サンマのうちどれか1品である。
それぞれの確率が 1/4、 1/4、 1/2 であるとする。
調理法としては、「イカは焼くかナマかの確率が 1/2 ずつ」
「マグロは必ずナマ」「サンマは必ず焼く」ということが分っている。
いま、帰宅時に家から煙があがっているのが見えたとき
今日のオカズがイカである確率はどれだけか?

430:数学成績2
18/11/15 20:40:23.78 6QoRET0S.net
>>429 答えは119だ 火事だ

431:132人目の素数さん
18/11/15 20:44:35.93 6QoRET0S.net

焼いてるのがハッキリしているのだから
1/2でイカかサンマだ
イカは1/2で焼かれるので
1/4でイカだ

432:132人目の素数さん
18/11/15 21:44:55.33 neQ8JPzy.net
(1/4)*(1/2)/{(1/4)*(1/2)+(1/2)*(1)}=1/(1+4)=1/5

433:132人目の素数さん
18/11/18 22:31:16.42 Gz0yZhdI.net
>>428
問1→周長1の円の面積=1/(4π), 周長1の正n角形=1/(4n tan(π/n)) より
V_2(n)=1/(4π)-1/(4n tan(π/n)) とすると
このとき、lim{n→∞} n^2×V_2(n) = π/12
問2→表面積1の球の体積=1/(6√π)
表面積1のn多面体の体積:厳密ではないが、面積の等しいn枚の正6角形で構成されたとして近似すると
(1/6)√(((sin(π(1+1/n)/3))^3/sin(π/n)-1)/(n(sin(π/3))^3)) を得る
このとき、lim{n→∞} n×V_3(n) = ((√π)/6)(4(cos(π/6))^2-cos(2π/6))/sin(2π/6) = (5/108)√(3π)

434:132人目の素数さん
18/11/20 23:49:27.66 yIpzRJ8+.net
近所のお店でやってる1000円の買い物で1回数字を引ける
ビンゴイベントの確率について教えてください。
1から16の数字がランダムに記入された4×4のビンゴカードがある。
1から16の数字を箱からランダムに引き、タテ・ヨコ・ナナメいずれか4つの数字が揃うと景品が得られる。
一度引いた数字は次の数字を引く前に箱に戻すものとする。
ダブルトリプルでのビンゴの場合はそれぞれ景品は2つ、3つ得られる。
景品を得られても続きから数字を引くことは可能。
カードのリセットは自由なのですが、どのタイミングで
カードをリセットすると最も多くの景品を得られますか。

435:132人目の素数さん
18/11/21 02:34:10.60 CNIROJFN.net
この問題解いて
お願いします
URLリンク(i.imgur.com)

436:132人目の素数さん
18/11/21 10:47:00.36 fBUnQQkv.net
>>435
1-3×1/20-6×7/160-3×3/32=49/160

437:132人目の素数さん
18/11/22 13:33:56.67 BerRWiUo.net
>>435
別解
△ABCの重心から各辺(AB,BC,CA)の中点および各頂点(A,B,C)まで線分を引くと、それらの各々7/10,7/16の距離に六角形の頂点が位置する
面積比はこれらの積で49/160となる

438:132人目の素数さん
18/12/14 16:51:25.36 qzFFQ0LC.net
すみませんが、皆様お知恵をお貸しください。
小学1年の息子の宿題プリントの問題なのですが…
『バスに おきゃくが 15にん のっていました。つぎの バスていで 
7にん おりました。バスの なかは なんにんになりましたか。』
算数だったら 15−7=8 でしょうけど…
なぞなぞだったら (15−7)+1(運転手)=9
どちらの答えが求められているのかが判らないんです
ちなみに息子は、15−7=8と回答してましたが…

439:132人目の素数さん
18/12/14 18:22:46.45 pgWl9dAE.net
>>438
うんてんしゅがいるから9にんです
と、理由つきで答えた場合、それを正解にしてくれる度量の広い先生だといいなあと切に思う次第。

440:132人目の素数さん
18/12/24 16:20:46.42 bWyeCrh9.net
>>438
乗務員もカウントするなら
運転手だけとは限らないから
後者の解答は△だろう
バスガイドや、交代要員の運転手が乗ってるような場合はどうなのかとか
そもそも、バスの客とは言っておらず
接待旅行で、持ち上げる側の社員も乗ってるかもしれないし
運転手だけを数えるのは片手落ちだろう

441:132人目の素数さん
18/12/24 17:19:51.24 P1RO6R6n.net
>>438
おまえ、なぞなぞが科目にある珍しい学校にでも子供を通わせてるのか?
そもそも何科の宿題なのか確かめるのが先だろ
それとも算数の宿題でなぞなぞ出すような担任か?

442:132人目の素数さん
18/12/25 09:18:39.00 gwy2x1Mv.net
>>438の元に生まれた子供が哀れ

443:132人目の素数さん
18/12/25 23:24:45.81 pdwGLC9i.net
別所でしょうもないと言われたので。
高校数学までを範囲と想定した問題
nを自然数とする。数列{a_n}及びa_0を a_0 = 1 , a_n = a_n-1 +3-(-1)^n と、また数列{p_n}を、素数を小さい方から順に並べた数列と定める。
(1) a_n の一般項を1つの式で表せ。
(2) b_n = a_n / p_n と定める。lim[n→∞] b_1 * b_2 * b_3 * ... * b_n-1 * b_n の収束・発散を調べ、収束する場合はその値を求めよ。

444:132人目の素数さん
18/12/25 23:34:21.41 DUXh1NNv.net
>>443
自作問題?
確かにしょうもない

445:イナ
18/12/26 14:14:54.45 2rCZUTfg.net
>>419
>>438ワンマンバスの場合、
15-7+1=9
9人
自動運転の場合、
15-7=8
8人

446:132人目の素数さん
19/01/07 19:05:07.99 gRcYmcsA.net
100gの重りがn個と、100gでない重り(100gより重いか軽いかは分からない)が1個ある。
天秤を2回だけ使って、100gでない重りを確実には見つけられないようなnのうち、
最小のものを求めよ。

447:132人目の素数さん
19/01/07 21:40:51.06 Z20FlEla.net
1

448:132人目の素数さん
19/01/09 18:03:14.79 ENgVnsAP.net
きのうVIPに貼られてた問題
√(1+√(2+√(3+√(…)))) を求めよ。
おそらく解析的には解けない
似たような式として、黄金比の値 φ について
φ=(1+√5)/2=√(1+√(1+√(1+√(…))))
また、Wikipediaにあるラマヌジャン発見の式
3=√(1+2√(1+3√(1+4√(…))))
を変形すると
3=√((1!)^2+√((2!)^2+√((3!)^2+√(…))))
元のスレでは誰かが =e と予想していたが
誰も計算せずスレが落ちた

449:132人目の素数さん
19/01/09 18:10:34.40 ENgVnsAP.net
>>448
最後の式は計算間違いだな
まいっか

450:132人目の素数さん
19/01/09 19:19:59.44 kLHDSqoE.net
>>448-449
正しくはどんな問題?

451:132人目の素数さん
19/01/09 22:04:13.25 /priMwZh.net
>>448
√(1+√(2+√(3+√(…))))
は数値計算で求めるしかない
URLリンク(mathworld.wolfram.com)

452:132人目の素数さん
19/02/06 23:43:06.79 /QdXZOQs.net
〔問題〕
25^r - 4^r = 9^r ?
URLリンク(www.itmedia.co.jp)
URLリンク(www.excite.co.jp)

453:132人目の素数さん
19/04/15 05:33:33.99 8IDqhR4r.net
r = 1/2.

454:132人目の素数さん
19/04/15 06:07:59.82 8IDqhR4r.net
>>451
Nested Radical Constant
 
√{1 + √{2 + √{3 + ・・・・ + √n}・・・} ≒ 1.75793275661800 - exp(6.15 - 2.16n),

455:132人目の素数さん
19/04/15 06:20:18.46 8IDqhR4r.net
>>448
 φ = √(1+φ)

 φφ = 1 + φ,
で簡単に解ける

456:132人目の素数さん
19/04/27 14:05:18.63 Cwx7ucxK.net
>>452
孫さんが損したみたいです・・・・
ビットコイン(仮想通貨)への投資に失敗で145億円以上の損失
URLリンク(www.sankei.com)

457:132人目の素数さん
19/06/28 22:26:21.25 YycggmcC.net
くだらない質問です
ジョーカーを入れたトランプ54枚
これをシャッフルしたとき同じ数字が二枚以上連続する確率は?
これ実際やるとほぼ100%で何かしらが連続するので
ずっと気になってました。
分かる方よろしくお願い申し上げ

458:132人目の素数さん
19/09/09 13:49:42.12 ngBoxWRx.net
>>457
さて、これは面倒な問題。
基本的な計算方法はわかるが、実際に計算しようとすると場合わけが複雑になるパターン。
計算機を使った方が良い。
定式化:C[1]からC[54]までに1から13までの数字を4つずつと、14から15までの数字を1つずつ(ジョーカー2枚に相当)とを、無作為に振り分けるとき、
1≦i≦53のいずれかのiで、C[i]=C[i+1]となる確率はいくつか?

459:455
19/09/09 17:00:32.01 1QXMxNRL.net
返答ありがとうございます!
お答えいただいても頭が??ですw

460:132人目の素数さん
19/09/09 23:50:09.87 6DLzIYTV.net
>>458
さて、求める確率は
p = P(∃i C[i]=C[i+1]) なのだが、
手始めに i をどこか1か所に固定してしまって、
P(C[1]=C[2]) のようなものを考えた場合、これは簡単に求まる。
C[1] が1から13までの数字のいずれかである場合、C[2] は、残り53通りの可能性のうち、3通りで C[1] と等しくなるので、
P(C[1]=C[2]) = (52/54) * (3/53) = 26/477
この条件は、すべての 1≦i≦53 において同様なので、
P(C[i]=C[i+1]) = (52/54) * (3/53) = 26/477
1≦i≦53のいずれかのiで、C[i]=C[i+1]となる確率を求めたいので、これらの和を取ると…
Σ[1≦i≦53] P(C[i]=C[i+1]) = 53 * (52/54) * (3/53) = 26/9 となり、1より大きくなる
この和が1を超えてしまうのは、異なる i1 と i2 で P(C[i1]=C[i1+1]) と P(C[i2]=C[i2+1]) の両方に
「C[i1]=C[i1+1] かつ C[i2]=C[i2+1]」の場合を含んでしまっているからであって、そのような重複したケースの確率を差し引く必要がある。
Σ[1≦i1≦53] P(C[i1]=C[i1+1]) - Σ[1≦i1<i2≦53] P(C[i1]=C[i1+1] かつ C[i2]=C[i2+1])
このようにすると、さらに「C[i1]=C[i1+1] かつ C[i2]=C[i2+1] かつ C[i3]=C[i3+1]」の場合を過剰に差し引いてしまうので、これらは加算する必要がある。
これらを繰り返すと、結局確率 p は、
p = P(1≦∃i≦53 C[i]=C[i+1]) = Σ[m=1..53] (-1)^(m-1) * Σ[1≦i_1<..<i_m≦53] P(∧[k=1..m] C[i_k]=C[i_k+1])
のような式で求めることができる。

461:132人目の素数さん
19/09/10 00:14:48.81 16n7mQYw.net
>>460
P(∧[k=1..m] C[i_k]=C[i_k+1]) の求め方について、
m=1 の場合は先に述べた通り、
P(∧[k=1..1] C[i_k]=C[i_k+1]) = P(C[i_k]=C[i_k+1]) = 26/477
Σ[1≦i_1≦53] P(∧[k=1..1] C[i_k]=C[i_k+1]) = 53C1 * 26/477 = 26/9
m=2 については、P(C[i1]=C[i1+1] ∧ C[i2]=C[i2+1]) となるが、まず、i1+1=i2 と i1+1<i2 の場合に分けて、
P(i1+1=i2 ∧ C[i1]=C[i1+1] ∧ C[i2]=C[i2+1]) = P(C[i1]=C[i1+1]=C[i1+2]) = (52/54) * (3/53) * (2/52) = 1/477
i1+1<i2 の場合をさらに C[i1]=C[i2] と C[i1]≠C[i2] の場合に分けて、
P(i1+1<i2 ∧ C[i1]=C[i2] ∧ C[i1]=C[i1+1] ∧ C[i2]=C[i2+1]) = P(i1+1<i2 ∧ C[i1]=C[i1+1]=C[i2]=C[i2+1]) = (52/54) * (3/53) * (2/52) * (1/51) = 1/24327
P(i1+1<i2 ∧ C[i1]≠C[i2] ∧ C[i1]=C[i1+1] ∧ C[i2]=C[i2+1]) = P(i1+1<i2 ∧ C[i1]=C[i1+1]≠C[i2]=C[i2+1]) = (52/54) * (3/53) * (48/52) * (3/51) = 8/2703
よって、これらの総和を取ると、
Σ[1≦i_1<i_2≦53] P(∧[k=1..2] C[i_k]=C[i_k+1]) = (52C1 * 1/477 + 52C2 * 1/24327 + 52C2 * 8/2703) = 650/159
m=3 について…(つづく)

462:132人目の素数さん
19/09/10 08:14:25.47 16n7mQYw.net
>>461
ここから先は複雑なので計算機を使うのですが、得られた式は
1から13までの各数字nに対して、ワンペア(C[i1]=C[i1+1]=n)の件数を K1, ツーペア(C[i1]=C[i1+1]=C[i2]=C[i2+1])の件数をK2
スリーカード(C[i1]=C[i1+1]=C[i1+2]=n)の件数を K3, フォーカード(C[i1]=C[i1+1]=C[i1+2]=C[i1+3]=n)の件数をK4としたとき、
求める確率=Σ[1≦K1+K2+K3+K4≦13] (P(13,K1+K2+K3+K4) * (-12)^K1 * 12^K2 * 24^K3 * (-24)^K4) / (P(54,K1+2*K2+2*K3+3*K4) * K1! * K2! * K3! * K4!)
= 94.9003848140933…% (191135009168054682358110966461550615319823/201405936912143954711242007104140005859375)
(P(m,n)=m!/(m-n)!)

463:455
19/09/10 08:24:30.33 kKEcphOz.net
ひぇ〜
なんかとんでもないことを軽々しく聞いてしまって申し訳ないけど、
積年の謎が溶けて嬉しい限りです
ありがとうー!

464:132人目の素数さん
19/09/10 13:45:09.75 wAUYArRa.net
乱数で1億回シャッフルしてみたら約94.90%と出た
数字はだいたい合ってそう

465:132人目の素数さん
19/09/10 23:15:45.70 Rw7/MGkq.net
ランダムかつ概算(になっているかもよくわかってないけど)で。
一枚のカード(ジョーカー以外)に注目して、次のカードが同じ数字である確率は、50/53。
ジョーカーが連続になるのはレアだから無視。ジョーカーが最後になるのもレアだから無視ということにすると、
最後以外の51枚の数字のカードには次のカードがあるから、51枚のカードで上記が成り立つためには、(50/53)^(51)
というわけで、少なくともどこかで2枚が並ぶ確率は
1-(50/53)^(51)=0.948785... くらい。
いい線いってる?

466:455
19/09/11 01:36:34.49 x5+kNHqJ.net
ジョーカーを入れるとか軽はずみでめんどくさいことを言ってすいません……
ないほうがいいですよね?w

467:132人目の素数さん
19/09/11 13:43:53.93 c3ERAMTF.net
>>465
1枚のカードに着目して、それがジョーカー以外であり、かつ、次が同じ数字である確率は、(52/54)×(3/53)。
これをもとに概算すると1-(1-(52/54)×(3/53))^53=94.87…%

468:132人目の素数さん
19/09/12 13:54:57.52 gV8jg/a3.net
>>466
ジョーカーの有無は式の中の定数が少し変わるだけなのであまり難しさに影響しなさそうよ
ジョーカーがない場合(52枚)の確率=
Σ[1≦K1+K2+K3+K4≦13] (-P(13,K1+K2+K3+K4) * (-12)^K1 * 12^K2 * 24^K3 * (-24)^K4) / (P(52,K1+2*K2+2*K3+3*K4) * K1! * K2! * K3! * K4!)
= 95.45…%

469:132人目の素数さん
19/09/12 21:13:03.63 AnxOurXk.net
乱数で 10^10 回試行したところ 94.9003…% まで数値が一致
かかった時間5h弱

470:132人目の素数さん
19/09/20 13:36:13.59 KyAOfC1j.net
3615
かずきち@dy_dt_dt_dx 8月28日
学コン8月号Sコース1等賞1位とれました!
マジで嬉しいです!
来月からも理系に負けず頑張りたいと思います!
URLリンク(twitter.com)
(deleted an unsolicited ad)

471:132人目の素数さん
19/12/07 14:25:13.02 /4V2zz1q.net
証明問題
「5個の整数が与えられている。
その中の3個を上手く選べば、その和が3の倍数になる。」

472:132人目の素数さん
19/12/12 17:08:07 flOpkEvS.net
1回3.6%で激レアが出るガチャを10回回した確率って
36%なのでしょうか?
それとも1-(0.964*0.964*0.964)(略 1引く0.964を10回電卓にかけた数の%なのでしょうか?
教えてください。

473:132人目の素数さん
19/12/12 17:25:20 FIUHqke0.net
>>472
> それとも0.964*0.964*0.964(略 0.964を10回電卓にかけた数なのでしょうか?
1-「1回も出ない確率」だからこれであっている

> 36%なのでしょうか?
出る枚数の期待値は0.36枚になる

474:470
19/12/12 17:45:01.91 flOpkEvS.net
>>473
回答ありがとうございます。
一枚でる確率だったので1-「1回も出ない確率なんですね。
助かりました。

475:132人目の素数さん
19/12/12 18:44:20.87 2lE1/u15.net
1枚出る確率はそうじゃないぞ
「1-『1回も出ない確率』」で求まるのは1枚以上出る確率
2枚、3枚出る確率も含まれてる

476:470
19/12/12 19:01:13.96 flOpkEvS.net
>>475
そうなんですね、ありがとうございました。

477:132人目の素数さん
19/12/17 15:48:37.24 UUH0CZU6.net
ある数(a_o)のp乗から0以外の数(y)を引きます。
その結果に −a_o を掛ける一方で、yとpで割ります。
そして、その結果をa_oに加えます。つまり、次式の演算を行います。
    {a_o^(p)−y}×(−a_o)/(yp)+a_o
この結果(a_1)をa_oの代わりに用いてこの演算を再び行います。
そして、a_1,a_2,a_3,…と繰り返すと、
やがてyのp乗根(正又は負の実根)の極めて精密な近似値となります。
ただし指数(p)が奇数のときは、a_oの正負をyの正負と一致させ、
かつ絶対値が次式の範囲内に存在する必要があります。(偶数のときにはもっと広くとり得る。正負は不問)
    0<|a_o|<[p]√{|y|×(p+1)}  ([p]√kは、kのp乗根)
長くなりましたので、次のレスで収束速度と精度について補足します。
長文失礼しました。

478:132人目の素数さん
19/12/17 16:09:16.06 UUH0CZU6.net
>>475の続き
ほとんどのケースでニュートン法と同じくらいの演算回数で算出されます。
ただし、初期値の絶対値が>>475の第二式の下限又は上限に近いときは、
本方法の方が多くなりやすいようです。
しかし、下限よりある程度大きく真の値より小さいときなどには、
逆に、少なくなりやすいようです。(特に指数が大きいとき)
精度も極めて良いです。(以下、普通の電卓を用います)
指数がよほど大きくない限り、電卓のケタ数と同数のケタ数において、例えば12ケタの電卓であれば、
上位12ケタ(限度内の全ケタ)の数字が全て一致するか、
上位12ケタ目(限度内で末位)の数字のみが(限度内では)1異なります。(2と1.999…9のような境目のケースも含む)
まず精度を確かめたければ、電卓のケタ数の半数以上、
つまり上位6ケタ以上の数字が真の値と一致する近似値をa_nとして
>>475の演算を一回もしくは二回行えばよいでしょう(指数がよほど大きくない限り)。
長文失礼しました。

479:132人目の素数さん
19/12/20 02:10:23.62 yiLw1Jz8.net
1030
しろ@huwa_cororon 11月27日
苦節6ヶ月、初満点&一等賞です!
URLリンク(twitter.com)
(deleted an unsolicited ad)

480:132人目の素数さん
20/01/01 15:44:00.48 F81QwpXb.net
x>0 とするとき
(x^2020 -x^2 +4)/(x^6 +2) の最小値を求めよ。

481:132人目の素数さん
20/01/01 15:51:55.19 F81QwpXb.net
2014x^2024 +4040x^2018 +4x^6 -24x^4 -4 = 0,
の実根は
x。 = ±0.9972618331127334631938246515195619175923
(x^2020 -x^2 +4)/(x^6 +2) ≧ 1.008619375112916534599176779154067780593

482:132人目の素数さん
20/01/01 15:54:10.69 F81QwpXb.net
(x^2020 -x^2 +3)/(x^6 +2) の最小値を求めよ。

483:132人目の素数さん
20/01/01 16:01:01.48 F81QwpXb.net
2014x^2024 +4040x^2018 +4x^6 -18x^4 -4 = 0,
の実根は
 x。 = ±0.997120078481544
(x^2020 -x^2 +3)/(x^6 +2) ≧ 0.67341826074836

484:132人目の素数さん
20/01/09 11:12:49.15 yUxD+KNf.net
>>471
3で割ったときの余り (0,1,2) に着目する。
同じものが3個以上あるときは、その3個を選ぶ。
どれも2個以下のときは、0,1,2をすべて含むから、1個づつ選ぶ。

485:132人目の素数さん
20/01/21 16:10:37 4jOB30nc.net
以下、単なる表現練習

命題
半径が1である球に対して、球の中心を通るような平面で切ると断面は半径が1の円にな
る。この円周上に、正n角形となるように、円周に点を取ることにする。この方法をn回く
りかえして球を切り、それぞれの円周上に、正n角形ができるようにn個の点ととったとき、
円に存在する正多角形の対角線と辺の長さの平方和をすべて合計すると、nの3乗になる。

証明
半径1の円に内接する正n角形の辺および対角線の長さの平方和がnの二乗で表されるこ
とがしられている(参考資料参照)。これは、半径が1である球に存在するn個の円のそれ
ぞれに対して成り立つので、これにnをかけたものが、球の切断面に存在する正n角形の対
角線と辺の長さの平方和になる。

参考資料
堀部和経、林一雄、早苗史『数学の課題研究 テーマ選びのヒント・・第一集』pp.20-23

486:132人目の素数さん
20/01/21 16:45:00 4jOB30nc.net
命題
半径1の球に対し、任意の平面で切る。その平面と球の中心との距離は
√{1^2−(x/2)^2} である

証明
二等辺三角形を考えればわかる。底面をx(0以上2未満)とすると、その高さは
√{1^2−(x/2)^2} となるが、これが平面と球の中心との距離である。
これは球を中心を通る平面できったときにも成立する

487:132人目の素数さん
20/01/21 17:08:22 4jOB30nc.net
所要時間の距離化

距離の定義
d(A、B)は任意の実数を示すものとする
次の三条件を満たすものがAとBの距離である
1 d(A,B)は0以上であり、d(A,B)が0になるのはAとBが等しいときである
2 d(A、B)=d(B,A)
3 d(A,C)≦d(A,B)+d(B、C)

A=神戸駅、B=大阪駅、C=京都駅とし、d(A、B)を神戸駅と大阪駅を移動する間に
かかる時間とする。すると、所要時間を距離として計算できる。

参考資料
堀部和経、林一雄、早苗史『数学の課題研究 テーマ選びのヒント・・第一集』p.52

488:132人目の素数さん
20/01/21 19:47:33 4jOB30nc.net
表現練習
長文失礼

数学の証明について、正しい知識を伝えましょう

問題提起

新井(2009)は数学の証明について以下のように述べている。

数学の対象領域は、(証明なしに正しいと了解できるような)最小限の命題群からなる公理
系によって定義づけられていなければならない。公理系に含まれる公理と論理のみによっ
て正しいことが示された命題を定理とよぶ。また、定理であることを示す過程を証明とよぶ。

数理論理学の専門家がこのようなことを書いているのは、数学を専門としない一般の人を
読者に想定したからかもしれないが、このような認識は多くの人が数学の証明について抱
いている考えであるように思われる。

数学の証明について、高等学校の数学までしか勉強しなかったとしたら、この認識に何の疑
問も抱かないのは当然のことと思われるが、事実はこれとは異なるので、せめて、理数系に
すすむ高校生などには、もう少し正確な理解をえるように正確に知識を伝えたほうがいい
のではないだろうか。

489:132人目の素数さん
20/01/21 19:48:43 4jOB30nc.net
数学の特定の体系

数学の特定の体系とは、基本的に、論理公理+等号の公理+特定の公理系+推論規則と、
そこから推論によってみちびかれる定理のことである。

ユークリッド幾何学もこれに沿ったものと考えられるが、その公理系は現実世界をモデル
としたものであり、現在の公理系とは異なっている。現在の公理系は、このような特定の
モデルを想定することはないのだ。

ユークリッド幾何学の議論は、新井が述べているような、「証明なしに正しいと了解でき
るような」公理から出発するが、現在の公理系ではこれは問題にはされない。真偽が問題
にされるのは、それに対するモデルを考えるときである。

結論

数学の証明について研究が進んだ結果、現代人は証明について古代ギリシャ人たちとはこ
となる認識をもつにいたった。これを知らなければ生死にかかわるとか、そういったこと
はないが、すくなくとも理系にすすむ人たちには、教養、あるいは理系の常識として、正
確な情報をもっと広く伝えるようにしたほうがいいんじゃないだろうか。

引用文献
新井紀子(2009)『数学は言葉』東京図書 p.184
参考文献
小島寛之(2017)『証明と論理に強くなる』技術評論社
野崎昭弘(2008)『不完全性定理』筑摩書房 pp. 147-204

490:132人目の素数さん
20/02/01 03:26:32 7zqqjjoe.net
>>480
下限1

x^2020 - xx - x^2018 +1 = (xx -1)(x^2018 -1) ≧ 0,
x^2018 - x^6 - x^2012 +1 = (x^6 -1)(x^2012 -1) ≧ 0,
より
x^2020 - xx +4 ≧ x^2018 +3 ≧ x^2012 + x^6 +2 > x^6 +2,

491:132人目の素数さん
20/02/26 14:01:59 5zz1h1XV.net
最高に美しいおっぱいにそっくりな曲面の方程式を作れ

492:132人目の素数さん
20/03/12 15:06:39 mKJwV7nJ.net
>>477 >>478

 f(x) = 1 - η/(x^p)  (ηは定数)
に対してニュートン法を使ったのですね。その場合は
 x' - η^(1/p) ≒ -((p+1)/2)・η^(-1/p)・{x-η^(1/p)}^2,
なので2乗収束です。

 f(x) = (x^p -η)/x^{(p-1)/2},
に対してニュートン法を使えば
 x ' - η^(1/p) ≒ ((pp-1)/12)・η^(-2/p)・{x - η^(1/p)}^3,
で3乗収束になり、速度が改善します。


次ページ
最新レス表示
スレッドの検索
類似スレ一覧
話題のニュース
おまかせリスト
▼オプションを表示
暇つぶし2ch

412日前に更新/173 KB
担当:undef