ユークリッド幾何(1105)(その2) 更新日:2013/11/13 公開日:2013/11/06 ユークリッド幾何 福西です。その1からの続きです。A君による「シュワルツの不等式」の証明です。 背理法が見事に急所に決まり、「一本!」という手ごたえを感じました。A君も嬉しそうでした。それをぜひ紹介したいと思ってアップします。 続きを読む
ユークリッド幾何(1105)(その1) 更新日:2013/11/13 公開日:2013/11/06 ユークリッド幾何 福西です。 この日は、A君は、以前証明した「三角不等式」(『原論』1.20)のつながりで、その拡張と、またシュワルツの不等式を証明しました。そこで、方程式と幾何とのつながりを見、また学校で最近していた「論理」に使う不等式 […] 続きを読む
ユークリッド幾何(0918,25)その2 更新日:2013/11/13 公開日:2013/10/10 ユークリッド幾何 福西です。遅くなりましたが、その1の続きです。 A君は、命題18を証明しました。 続きを読む
ユークリッド幾何(0918,25)その1 更新日:2013/11/13 公開日:2013/09/27 ユークリッド幾何 福西です。 各自、ユークリッド『原論』の第1巻の命題を一つずつ証明しています。 続きを読む
ユークリッド幾何(0903) 更新日:2013/11/13 公開日:2013/09/04 ユークリッド幾何 福西です。 この日はA君がお休みでしたので、R君と学校でこれまで習ってきたことのおさらいをしました。 文字式、方程式、関数、グラフという一連の流れについて確認しました。 続きを読む
『ユークリッド幾何』『ロボット工作』(山びこ通信2013/6より) 更新日:2021/10/06 公開日:2013/06/11 ユークリッド幾何ロボット工作山びこ通信 『ユークリッド幾何』『ロボット工作』 (担当:福西亮馬) 『ユークリッド幾何』では、「『原論』の第1巻を通読すること」をこの1年の目標に据えて取り組んでいます。第1巻の命題は48ありますが、それらを片端から1つずつ証明し […] 続きを読む
ユークリッド幾何(0521) 更新日:2013/11/13 公開日:2013/05/22 ユークリッド幾何 福西です。 3回目(5/7)は、第1巻の命題5と6を証明しました。(前回の授業は「こちら」です) 二等辺三角形というのは、「二つの辺が等しい」ことが定義ですが、そこから底角もまた等しいことを言うのが、命題5です。さらに、 […] 続きを読む
ユークリッド幾何(0423) 更新日:2013/11/13 公開日:2013/04/25 ユークリッド幾何 福西です。 「前回」、定義を説明したので、それを使って、実際に命題を証明していきます。 続きを読む
『ユークリッド幾何』(山びこ通信2012/11より) 更新日:2013/12/20 公開日:2012/11/11 ユークリッド幾何 『ユークリッド幾何』 (担当:福西亮馬) ユークリッド幾何では、1年生には『原論』の第1巻の命題を証明してもらっています。前学期には、対頂角、錯角、同位角がそれぞれ等しいこと、また三角形の内角の和が180°であることなど […] 続きを読む
ユークリッド幾何(0928)その2 更新日:2013/11/13 公開日:2012/10/10 ユークリッド幾何 一方、1年生のR君には、エラトステネスのふるいを軽く紹介したあと、証明なしでユークリッドの互除法の使い方に慣れてもらいました。また、残りの時間で「素数の分布を調べる」ということをしてもらいました。 続きを読む
ユークリッド幾何(0928)その1 更新日:2013/11/13 公開日:2012/10/10 ユークリッド幾何 福西です。前回、帰り際にABC予想の話を少ししたら、3年生のA君が興味を持ってくれたようでした。 そこで、今回は数論の入り口でもある「ユークリッドの互除法」を取り挙げました。その名のとおり、『原論』(第7巻 […] 続きを読む