== ルート

$sqrt(a)$ は2乗してaになる数のうち正のものを表す(定義) \

$ sqrt(a^2) = |a| $

2乗して$a^2$になる数はaと-aがある。$a < 0$のとき(a = -2)、2乗して4になる正の数は$-a$(-(-2))とする必要があり、この操作を絶対値で表現している


== 絶対値

以下が成り立つ

$ abs(a) &= n <=> a = n or a = -n \ 
  abs(a) &< n <=> -n < a < n \
  abs(a) &> n <=> a < -n or n < a 
$


