三角関数と絡んでいますが，有理数・無理数についての論証問題です．反例のとりかた，対偶による証明を確認しておきましょう．