《この記事はアドベントカレンダー「好きな証明」の9日目の記事です https://adventar.org/calendars/3655》 私の専門は超越数論なのですが、今回紹介する証明は、超越数論の入口、無理数論のものになります。 無理数論は名前の通り、無理数をいじる分野です…