1 名前:132人目の素数さん [2020/02/05(水) 23:14:26 ID:wk+QTUAy.net] なんの役にも立たない 余弦定理の証明に使う事実をその場で紹介して、それでお終いで良い
282 名前:132人目の素数さん [2020/08/24(月) 03:59:15.83 ID:O8sckiAP.net] 公理が直感的で必要数が少なく、 証明も直感的なアプローチで見つけやすいから 証明という行為を学ぶのに適してるってことだろ。 そりゃ数学は全て公理と推論規則と証明から成り立ってるのは事実だけど、 ZFからペアノ算術とか教えても何にも理解できず落ちこぼればかりになって教育効果が薄い。 記号論理学だって抽象的すぎて拒否反応が出てしまう。 世の中には〇〇っていう概念があったなあ、と広く浅く身につけさせて 国民全体の知的水準を上げることがが高校までの中等教育の目標であって、 高等教育は専門家になると決めてからでいいんだよ。 チェバメネラウスみたいな本当に実用性ないユークリッド幾何学を教えてそれを受験問題にするのは、個人的にもどうかなあと思っているけどね。
283 名前:132人目の素数さん mailto:sage [2020/08/24(月) 09:50:44.91 ID:HWPbccmb.net] >>257 ∠A の2等分線と外接円の交点をDとする。 ∠BAD = ∠DAC = ∠C 円周角の定理により BD = CD = AB = 8, 対称性より AD = BC 四角形ABDC は円に内接するから トレミーの定理より AD・BC = AB・CD + AC・BD, AD = BC = 32/√7, 半径ODは弦BCを垂直に2等分する。 その交点をMとおく。 BM = MC = 16/√7, 三平方の定理より OM^2 = RR - BM^2, これと OM = R - MD, より R = (BM^2+MD^2)/2MD, さらに BM^2 + MD^2 = BD^2, だから R = (BD^2)/{2√(BD^2-MB^2)} = 4√(7/3),
284 名前:132人目の素数さん mailto:sage [2020/08/24(月) 09:53:15.89 ID:Qp4hyvjZ.net] ユークリッド幾何のどこから湧いてきたかわからない天下り式の補助線証明問題をテストに出すことさえしなければ初等教育中等教育の過渡的な時点での教科書に盛り込むべきではある。
285 名前:132人目の素数さん [2020/08/24(月) 10:01:38.18 ID:mUGQTP+v.net] >>281 高校でも、メネラウスの定理だのチェバの定理みたいな何の実用性もないものが必修 現在では少なくなったものの、解析的に解いたらえらく手間がかかるが、とある定理使えば一発みたいなものも相変わらず入試には出る 入試に少なくなっていても、高校1〜2年生向けの模試などには、習った単元しか出ないので、当然ユークリッド幾何学の問題が出る
286 名前:132人目の素数さん [2020/08/24(月) 10:08:11.58 ID:k2q6IbMQ.net] >>282 なぜ、ユークリッド幾何学は「仮定が少なく直感的」で、他の数学は「ZF公理系から始める」みたいな、ありえない前提を置くのかな?
287 名前:132人目の素数さん [2020/08/24(月) 10:16:10.06 ID:k2q6IbMQ.net] そもそも、現在ユークリッド幾何学を「公理から教えている」学校などほとんど存在しないのだが
288 名前:132人目の素数さん [2020/08/24(月) 12:33:04.36 ID:2UVXpxRD.net] 「ユークリッド幾何学を公理から始める」云々というのは、 「点」などの無定義術語といくつかの論理操作だけを認めて議論するということだが これが「直感的」だと思う奴は、よほど特殊な感覚をしているのだろう
289 名前:132人目の素数さん [2020/08/24(月) 12:39:05.11 ID:2UVXpxRD.net] これに対して、「そういうことでは無い」というのかも知れないが、それなら 「ユークリッド幾何学以外の論証は、ZF公理系から始めなければいけない」云々もそうではない ようするに、結論ありきで自分に都合のいい勝手な前提を付け足してるってこと
290 名前:132人目の素数さん [2020/08/24(月) 12:52:41 ID:irgpHBTu.net] 学術の巨大掲示板群 - アルファ・ラボ ttp://x0000.net 数学 物理学 化学 生物学 天文学 地理地学 IT 電子 工学 言語学 国語 方言 など
291 名前:132人目の素数さん mailto:sage [2020/08/24(月) 23:39:40 ID:sV7R6Gj4.net] >>286 ありえない、 という貴方だけの思い込み主張じゃないの? なければ創造すればいいんじゃないの?
292 名前:132人目の素数さん mailto:sage [2020/08/24(月) 23:46:13 ID:sV7R6Gj4.net] >>287 そういう学校が皆無ではないんだ? 古今東西、どこかにあってもおかしくないし、 存在するならどこのなんていう学校(教育組織)か知りたいものだ。
293 名前:132人目の素数さん mailto:sage [2020/08/25(火) 00:35:44.98 ID:PGUS8Qse.net] >>288 >これが「直感的」だと思う奴は、よほど特殊な感覚をしているのだろう 論証の手段(無定義語と形式論理)を「直感的」といってる人、少なくともここにいないんじゃない? 無定義語に対する書き手や読み手の直感なんて、個々人で勝手にどうぞのものだからこそ、「点」を「コップ」と置き換えてもいいわけでしょう。 直感は、論証の真偽には関わらないから、どうでもいいことでしょう? というのは学問としての数学の行き着くところで、 教科としての数学では、事実上、無理筋。 幾何学という視覚的フィードバックで真偽性を納得しやすい、 現実世界の空間や平面や直線や点に関する「真」と仮定される特性を 述べた命題を公理にして、さまざまな命題を論証できることを学べる。 ところでユークリッド幾何学では、公理に数式はなかったと思うけど、 文字や数式を用いた論証もあるんだっけか。
294 名前:132人目の素数さん [2020/08/25(火) 01:33:47.29 ID:fHdQsJ1Y.net] 数学分かってない文系がなぜわざわざ数学板までポエム書きにくるんだろう
295 名前:132人目の素数さん mailto:sage [2020/08/25(火) 04:46:50.15 ID:CcRxxR2n.net] >>285 >高校でも、メネラウスの定理だのチェバの定理みたいな何の実用性もないものが必修 射影幾何学までいくとありがたみが出るらしい あと初等幾何学のいいところは数学的な論証の訓練になるだけでなく 補助線を見つけるというクイズ的なひらめきが必要なところが人気があるところだと思う もちろん問題丸暗記で対処という学生にとっては無縁の境地だが
296 名前:132人目の素数さん mailto:sage [2020/08/25(火) 09:09:32 ID:3TmZ/V6e.net] >>294 分かってないのはお前
297 名前:132人目の素数さん [2020/08/25(火) 09:48:49 ID:JX4stI49.net] >>295 まったく数学分かってないのがまるわかり
298 名前:132人目の素数さん [2020/08/25(火) 09:57:55.05 ID:JX4stI49.net] >>295 まず、射影幾何学なんてのは「終わった数学」であって、ありがたみもクソもない ユークリッド幾何学も同様 ひらめき云々言ってるが、まったく逆 迷惑を被るのは真面目に数学を勉強したい人たちであって、 得をするのは、補助線パズルの解法を丸暗記した人
299 名前:132人目の素数さん [2020/08/25(火) 09:59:07.99 ID:JX4stI49.net] なぜ、数学の専門的な教育を受けていないことが明らかなのに、そんなに自信満々で他人の意見を聞こうとしないのだろう
300 名前:132人目の素数さん [2020/08/25(火) 10:37:27.48 ID:apY5p5HQ.net] >>293 論証に数式を使う数学、使わない数学なんていう分類が何の意味もない そして>>264 でも言われているように、ユークリッド空間上の幾何学はすべてユークリッド幾何学なのだから、解析的な方法だけやればいい
301 名前:132人目の素数さん [2020/08/25(火) 18:31:26 ID:LqiSh/C2.net] 同意ですね 大学入ってユークリッド幾何学の問題解くために補助線見つけてどうのこうのなんてしませんもの 三角形の相似や円の性質に帰着できるものしか扱えないんじゃ何も研究できません
302 名前:132人目の素数さん [2020/08/26(水) 01:05:56.99 ID:t5J9rk/g.net] ID:JX4stI49 なぜ、数学の専門的な教育を受けたっぽいのに、そんなに自信満々で他人の意見を聞こうとしないのだろう 過去に中傷レスしてた連中含め、別スレでユークリッドの名前見ただけで発狂して長文中傷連投しまくった「サル石」とか言う奴の自演じゃないのか。論調がそっくりだ。 JX4stI49みたいなのには大学以降の数学の方が有害かもな。数学の特定の分野や教育関係者のアンチになり、自分の考えが絶対的に正しいという思想の下、反論者を片っ端から中傷するようになるのだから。まあ、数学が悪い訳ではく、学ぶ側の人間性の問題だが。 スレタイから中身まで過激派過ぎてテロ思想に片足突っ込んでることに気づいた方がいい。 数学板にこんなアンチスレがあること自体信じがたいことではあるが。
303 名前:132人目の素数さん [2020/08/26(水) 01:19:03.44 ID:LykyaEnY.net] 自分自身を客観的に見た方がいいよ
304 名前:132人目の素数さん [2020/08/26(水) 01:33:27.58 ID:siUQynzN.net] Euclid幾何学が歴史的な意味で重要だから教育に必要だと言っている人は、なぜ古代バビロニア、インド、中国などの数学は教育に取り入れようとしないのか もっと言えば、文字式や+-×÷ などの算術記号でさえ、使われ出したのは歴史的に見てごく最近だが、そういう歴史主義者はなぜ算術記号を使わない数学を教育に取り入れようとしないのか
305 名前:132人目の素数さん mailto:sage [2020/08/26(水) 02:21:19.24 ID:14rf94HA.net] >>298 >まず、射影幾何学なんてのは「終わった数学」であって、ありがたみもクソもない 射影幾何学は図学では現代でも使われているしCADの原理はこれを知らないと理解できない また代数幾何学がやりたいならある程度知っていると役に立つ
306 名前:132人目の素数さん [2020/08/26(水) 02:37:51.94 ID:siUQynzN.net] >>305 そうですか じゃあ、君は何らかの分野と関わりのある数学は全部学ぶといいよ
307 名前:132人目の素数さん [2020/08/26(水) 02:39:57.79 ID:siUQynzN.net] > 射影幾何学は図学では現代でも使われているしCADの原理はこれを知らないと理解できない > また代数幾何学がやりたいならある程度知っていると役に立つ こういうのも、内容を理解していれば詭弁だと分かるが 結論ありきだから、自分に都合のいいことは何でも言うという態度なんだろうな
308 名前:132人目の素数さん [2020/08/26(水) 02:54:30 ID:siUQynzN.net] 「図学で射影幾何学が使われる」というのは、「数学では論理が使われるから、論理学が必要」とか「数学では集合を使うから、公理的集合論が必要」と言ってるのと変わらない 射影幾何学が代数幾何学に役立つ(から射影幾何学が必要)というのも、「√-1は作図可能数だから、複素数を扱うなら作図も教える必要がある」というくらいのデタラメ 代数幾何学の現代的な基礎づけを理解していれば、特に射影幾何学の手法を理解している必要はない 何かしら関連があるだけのことを、射影幾何学の詳細な議論や手法が現代でも使われているということにすり替えている
309 名前:132人目の素数さん [2020/08/26(水) 09:50:33.16 ID:8ae+cQFx.net] 志村も書いてあるが、こんなもんは深く(?)やる必要はない
310 名前:132人目の素数さん mailto:sage [2020/08/27(木) 01:10:50.13 ID:vVnTX2YX.net] >>300 とかいう輩が、「ユークリッド距離って何?」と問われて アタフタするのが目に見えてる。
311 名前:132人目の素数さん [2020/08/27(木) 07:55:44.17 ID:NskZONE3.net] >>300 高校のニュートン力学の初歩と解析力学はおなじことを言っているのだから、初めから解析力学を教えればいいといっているようなもので、教育としてはそれは問題があると思う みんなが高校までにニュートンレベルに力学を直感的に理解していたらそうかもしれないが、いきなり天下り式に教えるよりも、 手始めに速度って何、運動量って何、とつまみ食いしていったほうがイメージ重視の人でも理解できる 教育を受けてる皆んなが形式的な記述での読み書きを得意としてるわけじゃないんだよ もちろん厳密な定義なり複雑な理論をまず理解してからでないと手も足も出ない分野があるのはわかるけど、 中等教育で教えたい論証のキモはその手のものじゃないだろう
312 名前:132人目の素数さん [2020/08/27(木) 09:11:06.24 ID:KPbX6qVr.net] >>311 > 高校のニュートン力学の初歩と解析力学はおなじことを言っているのだから、初めから解析力学を教えればいいといっているようなもので、教育としてはそれは問題があると思う 全然違う なぜ分からないことを知ったかぶりで話すの?
313 名前:132人目の素数さん [2020/08/27(木) 09:14:52.14 ID:KPbX6qVr.net] @ まず余弦定理を通常の方法で示せばいいと書いており ユークリッド幾何学の手法を全く使うな、などと言っていない A そもそも座標系やベクトルは「形式的な記述」ではない というか>>177 も言っているように、ユークリッド幾何学の方が数学の記述としては不自然で非直感的
314 名前:132人目の素数さん [2020/08/27(木) 10:32:23.72 ID:BaPql3dT.net] ユークリッド幾何学が直感的とかいうのは明らかに嘘でしょ そう思うなら、3次曲線と直線の交点が3つ以下であることを、座標平面と方程式を使わずに示してほしいんだけど
315 名前:132人目の素数さん [2020/08/27(木) 11:53:13.93 ID:eLO0Wjl3.net] ユークリッド幾何学が分かりやすく、座標やベクトルが形式的だというなら、ぜひニュートン力学を座標やベクトルを使わずに記述してみてくれないか 高校物理でやるように、加速度は一定としてくれていいぞ
316 名前:132人目の素数さん [2020/08/27(木) 12:22:44.35 ID:5vvM11of.net] このスレを見ていると、ユークリッド幾何学を廃止しろと言っている人たちは、冷静に合理的に意見を述べていて、それに反対している人は議論のできないタイプの人だと分かる
317 名前:132人目の素数さん [2020/08/27(木) 12:41:54 ID:VxwCQ+7E.net] 廃止派は、ユークリッド幾何学を廃止すべき根拠をきちんと述べており、その内容も納得できる 一方、反対派は 「証明を学ぶのはユークリッド幾何学に限らない」などの反論に対する再反論をしていないし >>126 に見られるように今論じている「ユークリッド幾何」の定義をすり替えたり、 >>282 に見られるように「ユークリッド幾何学以外の分野の証明はZF公理系から始める」のような相手の言っていない勝手な前提を付け足すような 詭弁が目立つ
318 名前:132人目の素数さん [2020/08/27(木) 12:59:58.00 ID:v7C0Rtdl.net] ユークリッド幾何学が解析幾何より直感的だと言う人は、たとえば(円とは限らない)二次曲線の接線や法線を、座標平面・ベクトル・微分などを用いずに構成してみてくれないか
319 名前:132人目の素数さん [2020/08/27(木) 13:11:00.00 ID:3pAHP4OY.net] >>316 >>317 廃止派はユークリッド幾何学自体や文部科学省や反対派にヘイトスピーチや中傷しているだけなのに「冷静に合理的に意見を述べていて」とか「根拠をきちんと述べており」とか嘘つくなや。
320 名前:132人目の素数さん [2020/08/27(木) 13:17:01.45 ID:3pAHP4OY.net] 一部の分野を差別して数学内部でクーデターみたいなことしてるから安達みたいな外敵につけこまれるんだよ。
321 名前:132人目の素数さん mailto:sage [2020/08/27(木) 13:57:20.18 ID:jq6L/JUy.net] 実際未だにユークリッドによるユークリッド幾何学をやってるのは日本くらいなのでは? ユークリッド幾何学という大きな括りで言えば、アメリカの中学はBirkhoff's axiomsによるユークリッド幾何学を展開している ニュートン力学まで展開できるかは分からないが、少なくとも各公理が「定規とコンパスによって実験できる」という意味で直感的で分かりやすい
322 名前:132人目の素数さん mailto:sage [2020/08/27(木) 14:00:18.06 ID:jq6L/JUy.net] コンパスじゃなくて分度器だったわ
323 名前:132人目の素数さん [2020/08/28(金) 00:40:57.81 ID:iPej5jgG.net] >>313 数学の記述としては座標系を入れないのは不自然というのは同意するよ 一旦入れた後で取り払って公理系を作ったりしないといけないのだろうし ただ、数学の自然な記述が人間の原始的な形への理解の形と近いか、というのは、人によるだろうが大半の人にとってはNOだと思ってるし、中等教育の数学の単元は数や図形を扱う方法を学ぶ演習(名前変わってるけど算数の延長)、ぐらいの意味合いだと思うので学問としての数学からみた自然な記述である必要がないと思う 積木や製図用具を目で見て触って得られた経験則をひとまず整理してみた、という出発点で教育を始めるのなら、 脳内にあるモデルとの差異が少ないから受け入れもしやすいでしょ。それが直感的という意味 中等教育までぐらいは、経験則を拡張して肉づけしていくのが目標の一つだと思う。それが学問など必要のない人たちの底上げにつながる 三角形の内角の和は180度、確かに外角と内角の和は180度というのは明らかに見えるからそうだな、という確度のレベルで拡張してやればいい 高等教育では、学問をやらなきゃいけないので経験則を要素還元してなるべく経験則でない形にして、仮定を減らしていくのが目的となるだろう そもそも内角外角の前になんとなく受け入れてた直線とはどういう対象なのか、とかを調べていくのだろう
324 名前:132人目の素数さん mailto:sage [2020/08/28(金) 01:44:38.31 ID:uSUhoX66.net] >>314 >ユークリッド幾何学が直感的とかいうのは明らかに嘘でしょ お前が嘘つき 例えばある2次の方程式を見せて「これが円です」とやるのか?w 全然円のイメージがわかない 点も直線も方程式で表すと直感的ではない
325 名前:132人目の素数さん [2020/08/28(金) 09:33:14 ID:me/P6v3N.net] 結論ありきでああ言えばこう言う思考の人は大変だな
326 名前:132人目の素数さん [2020/08/28(金) 10:03:01 ID:j8V9742A.net] >>324 また論点ずらしたね ? 何度も言ってるように、ユークリッド幾何学をすべてやらないなどと言っていない 余弦定理を幾何学的に示すと言っているわけだから、当然ピタゴラスの定理もやる ? 「式は見せるが図は見せない」みたいな意味不明な前提に立っているが 式を教えることとその軌跡を図示することは何も矛盾していない
327 名前:132人目の素数さん [2020/08/28(金) 10:08:14 ID:j8V9742A.net] >>323 >>324 ユークリッド幾何学が座標を使った幾何学より直感的だという人は、 「直線Lにおろした垂線と、点Fとの距離が等しい点の軌跡」 を放物線の定義として、中学生に二次関数を教える案を提示して下さい。
328 名前:132人目の素数さん [2020/08/28(金) 10:09:55 ID:j8V9742A.net] 「円錐を母線に平行な平面で切断したときの断面」 でもいいよ
329 名前:132人目の素数さん mailto:sage [2020/08/28(金) 10:16:03 ID:zEK0JJ7X.net] >>327 比較的直感的であればよいので、その条件は十分条件であっても必要十分ではありません 定規と分度器で各公理を実験できるBirkhoff's axiomsが座標を使った幾何学より直感的ということにはあまり異存はないでしょう
330 名前:132人目の素数さん [2020/08/28(金) 10:45:23.26 ID:1lnghwRu.net] 公準などから出発して厳密にやる幾何は不要(中高大学すべて) 中高でどこまでやるか(不要も含め)、の議論になってると思うんですけど 中学で座標、方程式や三角関数を使わない幾何をやっておくのは必要でないかと 高校大学や大人になってから、すぐに理解できるもしくは取り戻せる基礎だと思う ただし、マニアックな補助線や不自然な分割図形の問題出題は極力止めるべきかと 三平方の定理や基本的事実(及び定理)を使っての問題が解ければいい 図形や絵から情報を読み取る、推理して論理的に考える、それを自分で繰り返すのは重要 あと、必要になったら学習すればいい、大人になって○○は使わないから不要というのは一見まともに思えるが危険 コロナを始め未知の事柄にぶつかり解決するためにはいろんな知識や柔軟な思考が必要になる 統計の分析は時代が入れたと思うが、社会に出たら嫌でもデータから読み取ることをしないといけない
331 名前:132人目の素数さん mailto:sage [2020/08/28(金) 10:53:51.86 ID:zEK0JJ7X.net] >>330 ならまず一行目から議論をやり直す必要があるということだね 日本の数学教育しか知らない人が多いと思うが、アメリカのほうが数学などの学問の成果も労働生産性も一人あたりGDPも上なわけだから、アメリカの教育を無碍には出来ない そのアメリカはBirkhoff's axiomsから出発して厳密にやるのが主流
332 名前:132人目の素数さん [2020/08/28(金) 11:15:31.32 ID:1lnghwRu.net] >>そのアメリカはBirkhoff's axiomsから出発して厳密にやるのが主流 アメリカの幾何授業方法を取り入れるべきは、意見としてはありだと思う けど日本で導入しない理由があるのでは? あと、 >>アメリカのほうが数学などの学問の成果も労働生産性も一人あたりGDPも上なわけだから、アメリカの教育を無碍には出来ない これ幾何教育方法が理由でしょうか?結論に簡単に結びつけてませんか?
333 名前:132人目の素数さん mailto:sage [2020/08/28(金) 11:26:23.68 ID:WDD/BoN3.net] >>332 無碍にはできない、という結論には簡単に結びつけることができる 議論する価値がある、とまでしか言ってないからな
334 名前:132人目の素数さん [2020/08/28(金) 11:33:36.19 ID:1lnghwRu.net] じゃ、一つの意見という扱いでいきます
335 名前:132人目の素数さん [2020/08/28(金) 12:14:00.45 ID:1lnghwRu.net] >>定規と分度器で各公理を実験できるBirkhoff's axiomsが座標を使った幾何学より直感的ということにはあまり異存はないでしょう Birkhoff's axioms方式を推奨されてるようなので質問します 面倒なら答えなくて結構ですが、関連情報のリンク先を提示いただけると幸いです 001.アメリカのどの教育課程で導入されているのでしょうか? (全州、もしくは州ごとに異なるなどあればぜひ) 002.いつからアメリカで導入されているのでしょうか? 003.これが学生の学力向上に貢献している定量的分析がされているのでしょうか? 004.内容は初等幾何のどのくらいまででしょうか? 005.良いのなら日本で導入検討されてもいいと思うのですがそうならない理由は? (あなたの推測でもかまいません) 006.あなたがBirkhoff's axiomsを推奨する理由は結局何ですか?
336 名前:132人目の素数さん mailto:sage [2020/08/28(金) 12:45:52.82 ID:WDD/BoN3.net] >>335 概ねこちらに記載されていますね https://en.wikipedia.org/wiki/Birkhoff%27s_axioms かなり受動的なようですけど、ここで私が答えなければBirkhoff's axiomsは無視するんでしょうか ユークリッド幾何学の教育における有用性、というテーマに沿えば「ユークリッドの公理系によるユークリッド幾何学を教えることは〜である。よってユークリッド幾何学を教えることは〜である。」などと結論付けることは無知に基づく論理の飛躍にしかならないと思いますが
337 名前:132人目の素数さん mailto:sage [2020/08/29(土) 15:11:45 ID:43jVZdZa.net] >>326 論点をずらしているのはお前 >>ユークリッド幾何学が直感的とかいうのは明らかに嘘でしょ に対する反論が>>324 なのに、 >何度も言ってるように、ユークリッド幾何学をすべてやらないなどと言っていない と答えるのは何もわかっていない証拠 今の論点は、「ユークリッド幾何学が直感的」か否か。おわかり?
338 名前:132人目の素数さん [2020/08/29(土) 17:30:52.94 ID:ZWpRtgUv.net] ネットによくいる議論ガイジだな ダメだこりゃ
339 名前:132人目の素数さん [2020/08/29(土) 18:28:10 ID:b3SzMGwu.net] >>337 あなたが言っているのは 座標平面などを用いるよりもユークリッド幾何学的にやった方が直感的な"場合がある" というだけですね 何度も言っているように、そういうものはユークリッド幾何学の手法で導入すればよいわけです
340 名前:132人目の素数さん [2020/08/29(土) 18:45:44.68 ID:b3SzMGwu.net] >>337 ユークリッド幾何学が直感的という方にお尋ねします 下記のどれかを、座標平面、ベクトル、初等関数、微分積分などを明示的に使わずに、公理的な方法のみで示していただけないでしょうか? そして、それが上のような手法を使った場合より直感的であることを説明していただけますか? @ 初速v0で投げ上げた物体が最高地点に到達するまでの時間を求める ただし、物体の軌跡が「ある点Fと、ある直線Lをとったとき、FP = (PからLに引いた垂線の長さ)となるPの集合」となることを用いる A 放物面と任意の平面に囲まれた領域の体積を求める B 平面3次曲線と直線が高々3点で交わることを証明する
341 名前:132人目の素数さん mailto:sage [2020/08/29(土) 18:55:38.97 ID:gICDV3If.net] どうでもいいけど円の方程式って十分直観的じゃね あれってピタゴラスの定理を書き換えただけでしょ そこから自然に三角関数も生まれるわけで
342 名前:132人目の素数さん [2020/08/29(土) 18:56:10.66 ID:b3SzMGwu.net] Aの「放物面」は、回転放物面です
343 名前:132人目の素数さん mailto:sage [2020/08/29(土) 19:44:35 ID:EA3vChtV.net] 国民一般(中学、高校)向け数学教育、教科としての数学は、 一般教養として数学の応用価値と実用性(算術、数式、図形)の観点を 学ぶことを重視すべきだろうけど、 ある意味それ以上に、数学が形而上学として成立している生命線、 つまり公理系と論証(無定義語と形式論理)そのものの存在、 論理的合理性の諸観点(無矛盾、完全、独立)、そして自然科学を含む 分野横断的有用性の観点を学ぶことも基本であるべき、 と思うのは私だけだろうか。 そして「直感」なるものは、 前者の観点での教程・応用では有用な「客観事実」を指すだろう。 後者の観点では無用な「主観幻想」で、むしろご自由にどうぞとなる。
344 名前:132人目の素数さん [2020/08/29(土) 20:08:01.10 ID:snmdkBXx.net] >>343 それはお前の妄想だよ 以上
345 名前:132人目の素数さん mailto:sage [2020/08/29(土) 20:11:01.67 ID:EA3vChtV.net] >>344 「それ」って?
346 名前:132人目の素数さん [2020/08/29(土) 20:13:51.34 ID:snmdkBXx.net] 出たww すっとぼけガイジwwwwwww
347 名前:132人目の素数さん mailto:sage [2020/08/29(土) 20:21:58.69 ID:EA3vChtV.net] なんだ、ただのおバカの一つ覚えか。
348 名前:132人目の素数さん [2020/08/29(土) 20:51:44.89 ID:3SHAQK38.net] >>343 > ある意味それ以上に、数学が形而上学として成立している生命線、 > つまり公理系と論証(無定義語と形式論理)そのものの存在、 > 論理的合理性の諸観点(無矛盾、完全、独立)、そして自然科学を含む > 分野横断的有用性の観点を学ぶことも基本であるべき、 > と思うのは私だけだろうか。 全くそんな側面は無い
349 名前:132人目の素数さん mailto:sage [2020/08/29(土) 20:59:39.07 ID:0HnXk1qz.net] >>343 全くその通りで、だからアメリカなどはユークリッド幾何学の公理を洗練させてその元で論証を行う だからそれを否定する人が日本の数学徒に多いとしたら、それは日本の数学の教育が遅れているということだろう
350 名前:132人目の素数さん [2020/08/29(土) 21:09:08.15 ID:3SHAQK38.net] 数学はただの道具 微分積分・線形代数すらまともに扱えない文系が 論証の重要性だのといった数学ポエムを嘯くのはやめたまえ みっともないぞ
351 名前:132人目の素数さん [2020/08/29(土) 21:11:29.11 ID:3SHAQK38.net] 大学で落ちこぼれた人が コンプレックス晴らすために教養バカになるんだよね すっぱい葡萄の逆バージョン
352 名前:132人目の素数さん mailto:sage [2020/08/29(土) 21:24:54.92 ID:0HnXk1qz.net] https://matheducators.stackexchange.com/questions/2074/is-euclid-dead-or-should-euclidean-geometry-be-taught-to-high-school-students 「ユークリッド幾何学は高校生に教えるべきか?」という上記の質問サイトの質問で、最も票を得た回答において、ユークリッド幾何学が重要とされる理由の一つが以下 Scaling of Argumentation level Theorems in Euclidean Geometry can be proven or argumented for on different argumentation levels: intuitively formal-rigorous, abstractedly formal-rigorous (Euclid's way), with generalizable examples, using intuitive knowledge (symmetry, movement invariance, …). 理系文系以前に数学を学部二年レベルまでしか知らなさそうな上の彼も、流石に英語くらいは読めるだろう
353 名前:132人目の素数さん mailto:sage [2020/08/29(土) 21:28:05.36 ID:0HnXk1qz.net] N.B. もちろんこれは「日本のユークリッド幾何学の教育」の話ではない
354 名前:132人目の素数さん mailto:sage [2020/08/29(土) 21:32:35.37 ID:EA3vChtV.net] スレッドの趣旨に関係ないレスには、スルーをご勘弁。 ラベル貼り好きですの主張、相手するのも、みっともないし。
355 名前:132人目の素数さん mailto:sage [2020/08/29(土) 21:48:29.15 ID:gICDV3If.net] 論証を教えるだけなら初等整数論でよくね
356 名前:132人目の素数さん mailto:sage [2020/08/29(土) 21:54:20.23 ID:EA3vChtV.net] >>349 >アメリカなどはユークリッド幾何学の公理を洗練させてその元で論証を行う ユークリッド幾何学の公理を洗練させて云々は、 義務教育レベルのことなのですかね。 日本にユークリッド幾何学が入ってきたのは、 いつの時代だったのかと思いますね。 参考になる情報ありがとう。
357 名前:132人目の素数さん [2020/08/29(土) 21:55:01.18 ID:kC6dAE5/.net] というか数学はすべて論証なんですがね
358 名前:132人目の素数さん [2020/08/29(土) 21:57:00.60 ID:kC6dAE5/.net] 図形を扱うから →それ、ユークリッド幾何学に限らないよね? 様々な証明があるから →それ、ユークリッド幾何学に限らないよね? 計算がないから →ちょっと意味が分からない
359 名前:132人目の素数さん mailto:sage [2020/08/29(土) 21:58:40.20 ID:gICDV3If.net] >>357 全然理解されてないけどな n = 1 ではこう、 n = 2 ではこう、 n = 3 ではこう、… よって n = ∞ のときはこうである。 って解答する大学生を見たことあるよ
360 名前:132人目の素数さん [2020/08/29(土) 21:58:50.66 ID:WmScapNr.net] 解析の参考書スレが万年実数論やってる奴ばっかなのと同様、こんなスレで長々とポエム書いてる馬鹿も万年高校数学しかできないからな
361 名前:132人目の素数さん mailto:sage [2020/08/29(土) 22:39:00.44 ID:0HnXk1qz.net] >>356 Burkhoff's axiomsは義務教育レベルの話 >>358 計算がない、というのは向こうのユークリッド幾何学教育の話
362 名前:132人目の素数さん mailto:sage [2020/08/29(土) 23:36:57 ID:EA3vChtV.net] 「ユークリッド距離」という理論上も実用上も重要な概念が、 教科としての数学の一単元(「図形」に関する半ば物理学の単元) として、人類が理解し納得するために、 「ユークリッド幾何学なしには、どうしようもない」 というのが現状か? という問に対し、 当スレでは、肯定的結論が出ているとのことで、よろしいかと。 従ってユークリッド幾何学を、まったく外すことはかなわぬ、 という結論かと。 一次元の数直線上の距離(長さ)という概念を拡張するように 二次元の平面や三次元の空間上に座標を入れて定義される、 ユークリッド距離が、実用上の観点から重要なことはいうまで もない。 一方でユークリッド距離を内包する幾何学的図形に関する科学 的「法則集」が、定規や分度器で測るという行為を通して万人 が確かめられる経験・実験・観察な事実の「寄せ集め」でなく、 それら「法則集」の集大成として論理体系にまとめた公理系と、 そこからの論証で導かれる命題体系が存在し、 それがユークリッド距離を内包する幾何学的図形に関する科学 的「法則集」の《論理的合理性の根拠》を与えている。 その公理系と命題体系の総称名が「ユークリッド幾何学」。 少なくとも義務教育レベルで、ここまで学ぶべきであろうかと。 (∵天下りに教義とする「ユークリッド教(仮)」は論外)
363 名前:132人目の素数さん mailto:sage [2020/08/30(日) 01:13:07.63 ID:X8D7iYSM.net] >>362 ユークリッドというよりピタゴラス距離って呼ぶべきだと再認識。
364 名前:132人目の素数さん mailto:sage [2020/08/30(日) 01:15:49.13 ID:5BeLtRJT.net] どこを縦読み?
365 名前:132人目の素数さん [2020/08/30(日) 05:09:29.39 ID:nGdp7HWf.net] 数学的内容の全くないポエムを長々と書くのが趣味か 頭のおかしいやつなのだろう
366 名前:132人目の素数さん [2020/08/30(日) 14:17:59.06 ID:nGdp7HWf.net] このスレを見ていると、ユークリッド幾何学不要派は論理的に議論ができて、必要派はそうでないことが分かりますね
367 名前:132人目の素数さん mailto:sage [2020/08/30(日) 14:43:56.71 ID:Pui83fsL.net] 何をもって「論理的」と自負されているか、まったく見えない。 そういうレスで自分を誤魔化さざるをえないなんて、 天下り知識を詰め込む戦士養成教育の被害者なのでしょうかね。 本当に可哀相としか。欠陥教育の罪は、極めて重い。
368 名前:132人目の素数さん mailto:sage [2020/08/30(日) 17:38:01.56 ID:/BS1QVZU.net] >>367 全く持って同意
369 名前:132人目の素数さん [2020/08/30(日) 19:40:50.44 ID:ZFDWT5Ci.net] >>361 > 計算がない、というのは向こうのユークリッド幾何学教育の話 ? 日本のユークリッド幾何学には計算があるの?
370 名前:132人目の素数さん [2020/08/30(日) 19:49:40.93 ID:ZFDWT5Ci.net] >>361 俺は本人じゃないから知らんけど @ 機械的に式を立てれば解けるわけじゃないので、当てずっぽうで解くのを防げる A 計算よりも図形的な性質の方が受け入れやすい ということを主張しているように見えるけど Aに関しては、多角形や円周のごく限られた性質以外をユークリッド幾何学の範疇で論ずるのは全然直感的ではないと何度も言われてるんだけど 違うというなら>>340 に答えてよ また@に関しても、教え方の問題だとしか言いようがない 掛け算順序問題みたいな同じ根拠でやってるけど明らかなトンデモだし
371 名前:132人目の素数さん mailto:sage [2020/08/30(日) 19:51:30.61 ID:37KGVLJ1.net] >>369 アメリカの高校では、逆に幾何学以外の講義は計算ばかりで理由が明らかにならないんだが、 その反動として、幾何学の講義では「厳密な形で」証明を学ぶ 実際、ユークリッド幾何学のwikipediaにもこう書かれている (ユークリッド幾何学は) still taught in secondary school (high school) as the first axiomatic system and the first examples of formal proof. https://en.wikipedia.org/wiki/Euclidean_geometry ちなみにアメリカの高校はK-12と言って日本で言う高校までが義務教育だが、アメリカの高校は4年なので、日本での中3も該当する secondary schoolはアメリカだと通常その4年を指す
372 名前:132人目の素数さん [2020/08/30(日) 19:53:43.29 ID:ZFDWT5Ci.net] >>371 俺は「アメリカのユークリッド幾何学に計算があるかどうか」を聞いているんじゃなくて、 「ユークリッド幾何学には計算がない。したがって、ユークリッド幾何学を教えるべきだ」 という推論の根拠を聞いているんだけど
373 名前:132人目の素数さん mailto:sage [2020/08/30(日) 19:59:17.77 ID:37KGVLJ1.net] >>372 >>369 に「日本のユークリッド幾何学には計算があるの?」とあるが 答えとしては「アメリカのユークリッド幾何学に比べれば日本のユークリッド幾何学は計算の面が強い」と言える
374 名前:132人目の素数さん [2020/08/30(日) 20:00:15.33 ID:ZFDWT5Ci.net] >>371 > アメリカの高校では、逆に幾何学以外の講義は計算ばかりで理由が明らかにならないんだが、 > その反動として、幾何学の講義では「厳密な形で」証明を学ぶ これも何度も言われてるように、数学はすべて証明問題なのだから、代数だろうが幾何だろうが証明を課せばよい話 また日本の場合、大学入試はもちろん、高校入試でさえほとんどが論述式で、数学的に厳密に合ってなきゃ点くれないけど
375 名前:132人目の素数さん mailto:sage [2020/08/30(日) 20:40:52.20 ID:37KGVLJ1.net] >>374 代数は視覚化できない
376 名前:132人目の素数さん [2020/08/30(日) 20:50:19.07 ID:fBQLIFXj.net] >>375 @ 「代数も厳密な論述を課すことができる」ということを言っているのであって、視覚化できるかどうかを問題にしていません。 A そもそも代数は視覚化できます。「2次曲線と直線が接するのは、定義する多項式が重根を持つことと同値」「x^2 + y^2 = 1は単位円周を表わす」など。 論点をずらさないで下さい。 後出しで条件を足すならば、「なぜそのような条件が問題になるのか」を明らかにして下さい。
377 名前:132人目の素数さん mailto:sage [2020/08/30(日) 20:53:55.07 ID:37KGVLJ1.net] >>376 論点はスレタイ スレタイに対して21票貰ってる答えがある(ただし「日本のユークリッド幾何学」ではない) その回答である「ユークリッド幾何学は3つの特徴を持つ」に対して、「でも2つ目の特徴は代数でもできる」などと局所的に反論することこそが論点からずれている
378 名前:132人目の素数さん mailto:sage [2020/08/30(日) 20:57:23.97 ID:37KGVLJ1.net] 主題を議論したいならやるべきことは「21票も貰っている回答を否定できるほどのものを持ってくる」ことであって、「俺を言い負かす」ことではない だから俺に対する意見を求めることは論点から見てなんの意味も無い
379 名前:132人目の素数さん [2020/08/30(日) 21:02:09.17 ID:fBQLIFXj.net] >>377 @ 局所的にではなく、すべての論拠に対して反論しています。 「証明がある」「視覚化できる」という論拠に対しては、代数でも全く同様のことが言えると言っています。 「計算がない」という論拠に対しては、>>372 で「それがどうして理由になるのか」と質問しています。早く答えて下さい。 A そもそも「論点の1つに反論するのは論点ずらし」というのは意味不明です。
380 名前:132人目の素数さん [2020/08/30(日) 21:04:11.88 ID:fBQLIFXj.net] >>378 要は議論する気がないと言うことね ついでに言えば、stack exchangeの回答よりも説得力のある対立意見はこのスレで何度も出ている
381 名前:132人目の素数さん mailto:sage [2020/08/30(日) 22:06:46 ID:37KGVLJ1.net] >>379 代数がユークリッド幾何学と比較しても視覚化できるということに同意する人はあまりいないと思う 実際、俺はそうは思わないので、あなたが代数を持ち出したところで「ユークリッド幾何学の視覚化できるという利点を無視して、局所的に反論している」ように見えた どうしてそれが理由になるのか、は Many proofs in Euclidean Geometry include no calculations at all, others only as small substeps. Consequently, students can learn that way, that maths is not just calculations. と記載されている >>380 それを確証バイアスと言います
382 名前:132人目の素数さん [2020/08/30(日) 22:20:58.57 ID:5icKnGWa.net] >>381 > 代数がユークリッド幾何学と比較しても視覚化できるということに同意する人はあまりいないと思う んなこたないでしょ 現状、日本の高校2年生以上の数学(幾何学)はユークリッド幾何学式の方法によらないやり方で記述されているんだけど