实数、勾股定理复习