实数的若干性质和应用