很好！

总结非常好，这样在给定条件下求函数"平方根"就有了一个通用方法
所说的几点我都觉得是正确的，唯一有疑问的是第4点
    f～g 或 g~f  (f and g 有等价关系)
我们之前的函数构造中涉及的等价关系是两个数（或数轴上两个点）之间， 没有涉及两个函数之间的等价。