[過去ﾛｸﾞ] 大学学部レベル質問スレ 8単位目 [無断転載禁止]©2ch.net (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
668: 2017/10/28(土)20:34 ID:w9q+vqpR(25/36) AAS
殺す
669: 2017/10/28(土)20:34 ID:w9q+vqpR(26/36) AAS
殺す
670: 2017/10/28(土)20:34 ID:w9q+vqpR(27/36) AAS
殺す
671: 2017/10/28(土)20:35 ID:w9q+vqpR(28/36) AAS
殺す
672: 2017/10/28(土)20:35 ID:w9q+vqpR(29/36) AAS
殺す
673: 2017/10/28(土)20:35 ID:w9q+vqpR(30/36) AAS
殺す
674: 2017/10/28(土)20:36 ID:dVnNrIca(11/18) AAS
>>660
×実際に社会を動かすのは文系だと
○実際に日本の社会を動かすのは文系だと
>立法や行政を担うのは殆どが文系だし
彼らは代行業者に過ぎません
>民間で技術職は現場のトップが精々だが文系のエリートなら経営に携われる
欧米では報酬は何かを真に開発した人は社長よりも額が大きいです
675: 2017/10/28(土)20:38 ID:dVnNrIca(12/18) AAS
ID:w9q+vqpR
数学の話ができないばかりか雑談すら幼稚なので消えて下さい
スレを荒らさないで下さい
676: 2017/10/28(土)20:39 ID:w9q+vqpR(31/36) AAS
IPつきならいいのですがね。。
677: 2017/10/28(土)20:40 ID:dVnNrIca(13/18) AAS
>>663
スレ違いの内容ですし嫌です
678(2): 2017/10/28(土)20:45 ID:dVnNrIca(14/18) AAS
次の小平先生「解析入門」の流れが
三平方の定理の
どこまでを厳密に証明し得てどこからが既知に使用してしまってるか
回答をよろしくお願いしますm(_ _)m
ア:c（θ）^2+S（θ）^2＝1を満たす収束する無限級数を構成
イ:e（θ）＝c（θ）+iS（θ）が回転を表すと期待される関係式e（θ+φ）＝e（θ）e（φ）を
満たす事を証明
ウ:複素平面（←ここが荒く与えられすぎててちょっとよく分からない）上に
おける原点O、A（1,0）、B（c（θ）、S（θ））
点BからOAに下ろした垂線の足をCとすると
省8
679: 2017/10/28(土)20:48 ID:dVnNrIca(15/18) AAS
>>678 自己レス ３行目訂正
×どこまでを厳密に証明し得てどこからが既知に使用してしまってるか
○ どこまでを厳密に証明し得てどこからが素朴に体得された感覚を
内密に使用してしまってるか
680: 2017/10/28(土)20:56 ID:dVnNrIca(16/18) AAS
少なくとも
・「回転の軌跡よって得られる図形が円」
・複素平面の座標という定義に伴う「直角（垂線の足）」
これだけはその素朴な感覚を内密に使用してしまっている気がします
これだけを認めたら三平方の定理は現代数学の基礎から厳密な形で自然に
従っている気がします
681(1): 2017/10/28(土)20:59 ID:w9q+vqpR(32/36) AAS
e(θ+φ)=e(θ)e(φ)が回転を表すというのはなぜわかるんでしょうかね
殺す
682: 2017/10/28(土)21:05 ID:dVnNrIca(17/18) AAS
>>681
そう期待されるからです、期待ですね、角度という概念を厳密に構成するからには
必ずその関係式は満たしておかなければいけないという期待です。
その関係式だけから、角度に関する素朴な立場からの2,3の関係式が
簡単に導出出来ます（回転によって2点の"距離的なモノ"）が不変、など）
683(1): 2017/10/28(土)21:06 ID:w9q+vqpR(33/36) AAS
2,3の関係式とはどのようなものですか？
殺す
684: 2017/10/28(土)21:10 ID:dVnNrIca(18/18) AAS
>>683
１）回転によって2点間の距離的なもの（以下これを距離と記す）が不変
2)回転の中心からの距離が不変
３）回転の合成がまた回転となりそれは角度と期待される或る実数の実数和になる
4)これらが関数として連続である
など
685: 2017/10/28(土)21:12 ID:w9q+vqpR(34/36) AAS
2点間の距離的なもの、とはどのようなことですか
殺す
686(1): 2017/10/28(土)21:53 ID:jWurCcgF(2/6) AAS
ID:w9q+vqpR
キモ
687(1): 2017/10/28(土)22:01 ID:w9q+vqpR(35/36) AAS
>>686
ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ、という問題がわかりません
上下前次1-新書関写板覧索設栞歴
あと 315 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.014s