区間縮小法の原理で「2乗して2になる正の実数（√2）」の存在を確認する

@Ryuji

@aikiu

@SunPillar

@tsukutsuku

@kasukiyo

@nchu

@certain