「0.999999... = 1」にまつわる未整理材料いろいろ(その1) の続き(すなわち「その2」)を書こうとして、1ヶ月以上書きあぐねている。結論はすでに頭の中にあるのだが、未整理材料というのを取り出すのに手こずっているのだ。 実数の公理を論じる上での実例として √2 (ルート2)が扱いやすいかな思ったので、ちょっといじってみた。そうしたら、行列を使うと便利かなと思われる場面が出てきた。これのどこが珍しいかというと、大学初年度の数学の定番である「初等解析」と「線形代数」のコラボとなるのだ。なので、独立した話題として書いてみる。 √2 が無理数である証明は、中学数学で出てくる。また、√2 の近似値は、次の連分数より求めることができる。 「ナニコレ?」と思われるかも知れませんが、説明は「google:ルート2 連分数」で検索すれば出てきます。書籍だと、手元にあるのは『連分数のふしぎ (ブル
![ルート2を連分数の極限として求めようとしたら行列が出てきた(前編) - 🍉しいたげられたしいたけ](https://cdn-ak-scissors.b.st-hatena.com/image/square/b23bbfa2e687dd247b116435ec5dca19e9893efd/height=288;version=1;width=512/https%3A%2F%2Fimages-fe.ssl-images-amazon.com%2Fimages%2FI%2F517baEcLWkL._SL160_.jpg)