√2乗って具体的にどういう数字か、そもそも計算可能な実数なのかも高校範囲では証明されてないしな
所詮算数