证明两个正数的积的算术平方根等于这两个数的算术平方根的积