√(a^2)=±aとすると二次方程式の解の公式に±は必要なくなるな
でも√5と-√5が区別できなくなるのは不便だ