17/11/27 21:48:57.23 xEoMPOim.net
ある負でない整数 x に対し、
floor(sqrt(x)) ≠ floor(sqrt(floor(x)))
と仮定する。
m := floor(sqrt(x))
n := floor(sqrt(floor(x)))
とおく。
m^2 ≦ x < (m + 1)^2
n^2 ≦ x < (n + 1)^2
[m^2, (m + 1)^2) ∩ [n^2, (n + 1)^2) = 空集合
だからこれは矛盾である。
17/11/27 21:48:57.23 xEoMPOim.net
ある負でない整数 x に対し、
floor(sqrt(x)) ≠ floor(sqrt(floor(x)))
と仮定する。
m := floor(sqrt(x))
n := floor(sqrt(floor(x)))
とおく。
m^2 ≦ x < (m + 1)^2
n^2 ≦ x < (n + 1)^2
[m^2, (m + 1)^2) ∩ [n^2, (n + 1)^2) = 空集合
だからこれは矛盾である。