实数与根号的化简