算术平方根的定义