>>481
背理法 無理数でぐぐれ