ニュートン法を使って整数の平方根が無理数であることを証明します．
この記事はMath Advent Calender 2023の2日目の記事です．
アドベントカレンダーというのはキリスト教と結びついた行事で，昨年までは微妙に距離をとっていたのですが，私はフランス政府ではない，ということに気がついたので，まあいいかと思って今年参加する次第です．
ニュートン法で得られる有理数の近似列を使って得られる数列をなんとか使って平方根の無理性を証明する記事です．詳細は以下のPDFにありますのでどうかよろしく．
