はてなTeX記法の練習にπが無理数であることの証明を書いてみる(その2)

今回も新着お目汚しを避けるため、日付をさかのぼって公開しています。前回はこちら。 watto.hatenablog.com の無理性の証明は、タネ本イアン・スチュアート『明解ガロア理論 [原著第3版]』(講談社) P279~280に載っている。今回はその前半を「はてなTeX記法」で写経してみる。活字の数式をTeXに変換することを「写経」と…