素数が無限に存在することの証明

10桁個くらいの、10桁くらいの数の足し算を検証して、合わなければその理由を説明するというのが仕事の一部にあるのですが、ここ最近合わない日が続いていて、疲れたので息抜きです。


素数(そすう、英: prime number)とは、1とその数自身以外に正の約数がない、1 より大きな自然数のこと。(Wikipedia)


ということで、

2, 3, 5, 7, 11, 13,,,

などが素数ですが、それ以外の1より大きな自然数は、素数の積で表わされることができます。

味の素ならぬ数の素。この素数が美しいと主張する人がいました。分からなくもありません。

そこで話題になったのですが、古代ギリシアの哲学者、アリストテレスは、背理法を使って、素数が無限に存在することを証明しました(アリストテレスじゃなくてユークリッドだったかも?)。

それがあまりにあっさりしていて感動したので、以下、その証明方法です(・ω・)ノ

(続きを読む…)

Filed under: ★徒然  タグ: , ,   charlie432 22:22  Comments (0)

*kawaii

タイトルは、某ビデオメーカーのパクリです(笑)。

いるか


一つ前の投稿でも書きましたが、下田の海中水族館が予想外に楽しかったので、さらに追加で動画と、写真を再度貼り付けます。



ところで豆知識。アシカとアザラシはどう違うのでしょう。

  1. アザラシは(   )で泳ぐが、アシカは(   )を使って泳ぐ。
  2. 耳が違う。(   )はただ穴が開いているだけ。
  3. (   )はイモムシのように歩くが(   )は四足で歩く。


答えはこちら↓

(続きを読む…)

Filed under: ★徒然  タグ: , , , , ,   charlie432 09:55  Comments (0)

伊豆 is …

年末は、父企画・おまかせコースで家族旅行に行ってきました。

伊豆は穏やかな気候のイメージがありましたが、風が強く、非常に寒い一日でした。その日、
東京では雪が降ったところもあったとか。

31日朝は少し曇り気味で、初日の出ならぬ、最終日の出を感動的に撮れなかったのが残念ですが、昼から快晴になり、楽しい思い出となりました。



「定期観光黒船Bコース」+αで撮った写真を、見どころ別に分類しました。画像をクリックするとリンク先に飛びます。



(続きを読む…)

Filed under: ★徒然  タグ: , , , , ,   charlie432 23:53  Comments (0)
    2012年5月
    « 4月    
     123456
    78910111213
    14151617181920
    21222324252627
    28293031