986:１３２人目の素数さん
19/04/11 15:22:06.19 keDjXdQb.net
>>939
解なし
f(n)＝k^n, g(n)＝n^k－2knとおくと
4≦n のとき、f(n)－g(n)＝0 の正の数の解は
0＜n＜1, k＜n＜k＋1 の2つで
いずれも整数でない。
n＝1, 2, 3 のときも自然数解をもたない。
987:１３２人目の素数さん
19/04/11 15:51:40.97 CNZ9w4Tt.net
△ABCと、辺BC上の点Pが与えられている。以下の条件を満たす長方形PQRSを1つ作図せよ。
・長方形PQRSの面積は△ABCの面積に等しい
・点Qは直線BC上にあり、PQ=√2*BC
988:１３２人目の素数さん
19/04/11 17:39:35.82 z7DMWKzq.net
>>939
N：自然数全体
∃n,k∈N
とする
このとき
2nk∈N
であるが一方
n^k - k^n
はNに属さない
なぜなら自然数にマイナスとなるものはないから
ゆえにn^k - k^n = 2nkと書くことはできない
こういう問題は意味がない
きちんと集合と写像の前提がなければね
ですから上述の記述も意味がないしさらに無理矢理書くと
f：N×N→N
(n,k)→f((n,k))=z
f((n,k))：=n^k - k^n
と定義する(そんな日本語はないがコンピュータプログラム上は可能)
と書けば集合に元が属するか属さないかという論証はいらない
そしてこの関数が定義できるか確認することになんの意味があるのか
これはウェルディファンドのせいもあるでしょう
これが現状公理主義(定義の公理化)が招いた弊害です
もしこれが人間の営為ならば人間の知性はコンピュータによって頽廃した
といえる
989:１３２人目の素数さん
19/04/11 17:45:25.01 r31We63t.net
すごく頭が悪そう…
いや違うか
凄く頭が悪い
990:１３２人目の素数さん
19/04/11 17:47:25.98 z7DMWKzq.net
集合が明示されていれば
ここの等号も同値関係が入っていることを意味する
集合の明示がなければ日本語の等しい程度の意味しか持たず
それは数学用語ではない
左辺と右辺が等しいという意味を同値関係でない場合にまで敷衍させることも
また公理主義の弊害であろう
もちろん同値関係は公理化しても問題がない
とすると何を公理に採用しているのかも明示しなければ
全く議論ができないにもかかわらず数式のようなものを書きなぐっても
それはコンピュータ上の総当たり記述法にすぎない
そこで記述しているものは無内容であり有意な結果を得られるものしか
存在しないと考えるのならば自然数の存在性すら危ぶまれるだろう
991:１３２人目の素数さん
19/04/11 18:15:47.22 weReYfMb.net
>>945
で、>>939はわからないんですね
992:１３２人目の素数さん
19/04/11 18:20:59.80 z7DMWKzq.net
ちなみに自然数全体の集合Nの同値関係とは
任意のa,b∈Nに対して
a=b
と書く場合にこれらはすべて偽の命題である
1=2 2=3 1=3 など
993:１３２人目の素数さん
19/04/11 18:34:35.15 z7DMWKzq.net
>>944
>>946
そうですね
僕はかつて
馬を鹿だと言うべきだという数学をやっていたはずなんですけど
北海道大学大学院の朝倉政典教授に
馬は馬であり鹿は鹿である
に改めろと指摘されて
僕も考え直したんですけど
その結果がこれです
僕もこの状況をどうにかしたいんですけど
難しいです
994:１３２人目の素数さん
19/04/11 18:36:26.86 weReYfMb.net
わからないんですね
995:１３２人目の素数さん
19/04/11 18:40:48.13 o9h/xV7B.net
ばからないんです
996:１３２人目の素数さん
19/04/11 19:27:12.75 IY9WDrRp.net
ハバカリはここですか？
997:学術
19/04/11 20:26:31.48 p6WohLA5.net
集合自体が統率不可能で、暴力や事故が多いだろうが、過密集合の方がよりリアルレヴェルだろうな。
998:１３２人目の素数さん
19/04/11 21:06:31.69 Kjj6F34p.net
『左右へ延びた直線上を動く点があって，
硬貨を投げて表がでたら右へ２だけ進み、
裏が出たら左へ１だけ進むものとする』
硬貨を６回投げるとき，次のそれぞれの確率を求めよ．
(1) 点が出発点にもどる確率
(2) ６回投げて，はじめて出発点にもどる確率
999:１３２人目の素数さん
19/04/11 22:07:37.51 n01WgV+F.net
「起こりうることは必ず起こる」という命題に対して、「3次元以上の無限回のランダムウォークで元の位置に戻る確率は1ではない」ということは反例になりますか？
無限回を1セットとして無限セットやったら、1ではないにしても0でない確率の無限試行で1になったりしないんですか？
1000:１３２人目の素数さん
19/04/11 22:16:29.42 NO++dAA8.net
あやふやな日本語で定義をおろそかにしてる以上ただの無意味な言葉遊びにしかならん
反例も何も前提となる話題が非論理的な人間のたわごと
1001:１３２人目の素数さん
19/04/11 23:48:37.04 Ue9ZzVLN.net
>>930
|δ| = |αβ + βγ + γα| /3 ≦ ( |αβ| + |βγ| + |γα| ) /3 = 1,
∴ 円 |z|=1（とその内部）に含まれる。
・α = βe^(-iθ), γ = βe^(iθ) のとき δ = ββ･(2cosθ +1)/3,
-1/3 ≦ (2cosθ+1)/3 ≦ 1
∴ 円 |z|=1 (とその内部) を被覆する。
>>931
1002:１３２人目の素数さん
19/04/12 00:13:14.73 SaDH0RfT.net
z=x+ i y
zｊ= x-i y
x,y は実数です。
このとき ｚとｚｊは独立ですか ？
ｘ＋ｙとｘ－ｙは独立ですか？
わからなくなりました。
先生に質問してもいい加減な答えしか帰ってきません。
1003:１３２人目の素数さん
19/04/12 00:16:12.40 bZXKxseL.net
xyが独立と仮定すると
上独立でない
下独立
1004:
19/04/12 00:25:13.09 gywjounF.net
[￣]前>>879
￣￣]/＼____________
＿＿/＼/.,､､ )
￣￣＼/彡`.`ﾐ /|
￣￣|＼_U,~⌒ヽ､_／||
□ | ∥￣~U~~U~∥ ||
＿＿| ∥ □ □ ∥ |/
_____`∥________∥／>>942PQ=BC√2
Cを中心にコンパスで半径BCの円を描く。直線BCとのBでないほうの交点をB'とする。
AからBCに垂線AHを引き、コンパスでHを中心にAから直線BCまで弧を90°描き、弧と直線BCの交点をA'とする。
Cから、Cを中心とした円弧の、直線BCについてAと反対側に垂線を引き、円弧との交点H'とB'を結ぶ。
コンパスの針をB'に置き、コンパスの長さをB'H'にあわせ、コンパスの針をBC上で移動しつつ鉛筆の芯をPにあわせる。針の位置がQだ、刺せ！ ターン！ Pから決して届かぬH'を掠めるようにH'をとおる接線を突っ切る鉛筆！―その点は別にいい。
A、H、A'の三点を頂点とする正方形を描き、もう一つの頂点をTとし、円弧AA'と直線HTの交点Uから直線BCに垂線UVを下ろすと、
UV=RQ=SP=(1/√2)AH
2△ABC=長方形PQRS
を満たす長方形PQRSが描けた。
1005:
19/04/12 00:41:30.95 gywjounF.net
前>>959なかなかスリリングでおもしろい問題だった。
￣￣]/＼____________
＿＿/＼/ .､､ )
￣￣＼/彡~-~ﾐっ /|
￣￣|＼_U,~⌒ヽ､_／||
□ | ∥￣￣~U~U∥ ||
＿＿| ∥ □ □ ∥ |/
_____`∥________∥／
1006:１３２人目の素数さん
19/04/12 00:43:33.56 BfXmenPK.net
>>957
独立である、とはどのような意味ですか？
1007:１３２人目の素数さん
19/04/12 0
1008:3:11:17.93 ID:bCMkuJEK.net
1009:１３２人目の素数さん
19/04/12 03:22:39.47 6Hcxc2mN.net
(a - b - c) (a + b - c) (a - b + c) (a + b + c)
1010:１３２人目の素数さん
19/04/12 04:17:06.98 SaDH0RfT.net
>>961
結局そこに落ち着くんです。
ｚとｚｊは一次独立なのですが、
yがきまれば あとはーyだから独立出ないという文学な理由はちょっと嫌ですね。
それとも独立にちゃんとした定義があるのでしょうか
1011:１３２人目の素数さん
19/04/12 04:21:53.85 SaDH0RfT.net
ｚの本来持っている情報量は２次元である。(x,y)
複素数とみるとヒト塊と見ようとする。
このあたりに混乱があるようですが、ガウス以来何百年も歴史があるのだから
スッキリした説明はありませんか？
あまりに初歩過ぎて問題にしないのでしょうか？
1012:１３２人目の素数さん
19/04/12 04:27:37.14 SaDH0RfT.net
ｚの本来持っている情報量は２次元である。(x,y)
複素数とみるとヒト塊と見ようとする。
このあたりに混乱があるようですが、ガウス以来何百年も歴史があるのだから
スッキリした説明はありませんか？
あまりに初歩過ぎて問題にしないのでしょうか？
1013:１３２人目の素数さん
19/04/12 04:33:31.40 By58q6ip.net
>>966
次元の定義によるだけ
実次元で考えれば2次元だし、複素次元で考えれば1次元という具合
数学科の人間であればそこで混乱することは普通ありません
1014:１３２人目の素数さん
19/04/12 04:42:44.76 SaDH0RfT.net
私が聞きたいのはｚとｚｊが独立変数になりうるの田舎ということです。
最高クラスの数学者でも定義するとしか言わないのです。「例えば小平先生）
1015:１３２人目の素数さん
19/04/12 05:00:12.16 By58q6ip.net
>>968
独立変数とみなせます
複素解析の初等的な本を読めばそういう話は最初の方にだいたい書いてるから勝手に読んでください
1016:１３２人目の素数さん
19/04/12 12:07:35.25 SaDH0RfT.net
>>969
けっきょく円トロぴーは、かわりませんね。
1017:１３２人目の素数さん
19/04/12 12:53:27.29 /zCVkOC6.net
円タルピーの兄貴だよ
1018:１３２人目の素数さん
19/04/12 13:17:37.35 m04EKUQT.net
iを虚数単位とする。
kを自然数、p,qを相異なる素数とし、数列
a[n] = {k+(k+1)i}(p+qi)^n
を考える。
全てのnに対してa[n]は実数でないことを証明せよ。
1019:１３２人目の素数さん
19/04/12 13:20:44.60 SaDH0RfT.net
この問題は、数学者というよりも応用技術関係の世界で昔から（１９６０）よく議論されているようです。 ニホンではほとんどみかけませんが
勝手にやっているというのですかね。
そのため関連論文も資源探査その他の技術者が多いですね。
1020:１３２人目の素数さん
19/04/12 13:43:04.91 yk3AdCOl.net
>>972
iを虚数単位と明示できた所まではよかったけど
まだ議論の前提条件が不足している
k,p,qはそれぞれ任意の元それとも適当な元？
nは何？
1021:１３２人目の素数さん
19/04/12 13:54:41.00 X4NKJ4zF.net
なんだこいつ
1022:１３２人目の素数さん
19/04/12 13:59:42.34 McVpLgEf.net
だな
1023:１３２人目の素数さん
19/04/12 14:00:50.66 yk3AdCOl.net
ああaという記号の明示もないね
無意味だよ
1024:１３２人目の素数さん
19/04/12 14:02:53.87 yk3AdCOl.net
もう一度言う前提条件が欠けたところでは
命題の成立範囲はことごとく変化する
それでは意味がない
1025:１３２人目の素数さん
19/04/12 14:12:52.96 yk3AdCOl.net
前提が欠けているということは
ここで自然数，実数，素数といくら宣言しても
なんも意味のないただのアルファベットにすぎない
もちろん相異なるという日本語も無意味なのだ
1026:１３２人目の素数さん
19/04/12 14:15:39.81 RPBWn4ho.net
んな、数百年も前に解決してる問題が、20世紀に議論されるわけねー。
1027:１３２人目の素数さん
19/04/12 14:42:42.47 m04EKUQT.net
iを虚数単位とする。
kを自然数の定数、p,qを相異なる素数の定数とし、全ての自然数n=1,2,...に対して定義された、以下の無限数列{a[n]}を考える。
a[n] = {k+(k+1)i}(p+qi)^n
任意のnについて、a[n]は実数でないことを証明せよ。
1028:１３２人目の素数さん
19/04/12 14:43:08.39 m04EKUQT.net
この書き換えにより本問は洗練されました
1029:１３２人目の素数さん
19/04/12 14:53:08.72 CC+XyWKN.net
出題者が反応するなよ
ってこれ自作問題だったのか
1030:１３２人目の素数さん
19/04/12 14:57:16.76 BE3hAm1a.net
意味はより明確になったけど、それ以前にぶっちゃけ数列でなくてもよくね
1031:１３２人目の素数さん
19/04/12 15:45:43.82 By58q6ip.net
k=2,p=2,q=3のときa[1]=1になるけど
1032:１３２人目の素数さん
19/04/12 15:46:51.39 yk3AdCOl.net
>>981
kを自然数の定数、p,qを相異なる素数の定数とし
日常用語の定数と数学用語の定数は厳密に区別しなければならない
定数関数という言葉があることからわかるように
定数にも任意の元と適当な元がある
これらを区別するには集合の明示が必要なんだが大丈夫か？
1033:１３２人目の素数さん
19/04/12 15:52:43.59 rwriJxpe.net
定数の概念はぜひとも奇数芸人に聞かせたいところ
1034:１３２人目の素数さん
19/04/12 15:56:01.00 CC+XyWKN.net
奇数完全数のスレ主か
ここの出題者とレスバさせたら面白そう
1035:１３２人目の素数さん
19/04/12 16:03:28.98 SaDH0RfT.net
もうおわりだね
1036:１３２人目の素数さん
19/04/12 16:03:54.95 m04EKUQT.net
>>985
本当ですか？
1037:１３２人目の素数さん
19/04/12 17:23:50.89 By58q6ip.net
>>990
積じゃなくて商と見間違えてたすまない
1038:１３２人目の素数さん
19/04/12 18:09:48.35 SaDH0RfT.net
a[n] = {k+(k+1)i}(p+qi)^n
={k+(k+1)i}(P+Qi) where P =Sum[(n,r)p^(n-r)q^(r),{r,0,n,2}]
Q =Sum[(n,r)p^(n-r)q^(r),{r,1,n,2}]
=k(P-Q)-Q+i(k (P+Q)+P)
実数になるためには
k= -P/(P+Q)
impossible since k is integer.
1039:１３２人目の素数さん
19/04/12 18:28:05.58 SaDH0RfT.net
Q-> Q =Sum[(n,r)p^(n-r)q^(r) (-1)~((r-1)/2),{r,1,n,2}]
1040:１３２人目の素数さん
19/04/12 23:34:47.92 Ft4A/3fN.net
>>985
k=119, p=3, q=2 のとき a[4]= (119+120i)(3+2i)^4 = -28561 になるけど
1041:１３２人目の素数さん
19/04/12 23:41:17.39 yk3AdCOl.net
まじで微積分がわからないなら
河野伊三郎の『微積分入門』を読むとよい
正しいエプシロン・デルタ論法が載ってる
1042:１３２人目の素数さん
19/04/12 23:52:59.78 gmhbIVI0.net
分からない問題はここに書いてね452
ｽﾚﾘﾝｸ(math板)
1043:１３２人目の素数さん
19/04/13 00:00:27.56 hm6UuLyZ.net
記号の意味にいちゃもんつけてる人は、おそらくそれしかわからないんでしょうね
誰も聞いてないのに微積分の本の紹介もしていることからも、レベルの低さが伺えますね
1044:１３２人目の素数さん
19/04/13 00:05:22.58 O/AnBGb6.net
ちなみに
内田伏一
田島一郎
横田一郎
は工学的戦犯だからな
これは応用数学であり数学でない
数学の正統を知らなければ
ただのプロテスタントだよ
1045:１３２人目の素数さん
19/04/13 00:28:31.45 3xz+iELx.net
プロテスタント？
日本語でよろしく
1046:１３２人目の素数さん
19/04/13 00:35:47.30 EB09BNNu.net
日本語しかわからない人数学わからなそう
1047:１３２人目の素数さん
19/04/13 00:49:51.49 3xz+iELx.net
日本語しか？
Please in English
1048:１３２人目の素数さん
19/04/13 00:51:32.59 jZmLf5uX.net
１０００
1049:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 47日 0時間 27分 1秒
1050:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています