解几何题时需要用到 性质 定理,还有什么?