ルート2の無理性を、背理法を使わずに証明する ルート2の無理性を、背理法を使わずに証明する [科学] この動画は、日曜数学 Advent Calendar 2016(http://www.adventar.org/calendars/1777)の20日目の̷…