ゴリ押しのすすめ・1章

こんにちは。初回なので有名問題である、tan1度(tan1^と書きます)が無理数であることの証明をゴリ押しでやってみようと思います。方針としては、これがまず有理数であると仮定した上で、tan18^とtan15^からtan3^を合成します。それは、tan1^を使って表せることかわtan1^を三次方程式の解として表わし、そこから矛盾を示す、という流れです。

以下の画像がその様子です。なんとか腕力で押し切れましたね。