很好！

總結非常好，這樣在給定條件下求函數"平方根"就有了一個通用方法
所說的幾點我都覺得是正確的，唯一有疑問的是第4點
    f～g 或 g~f  (f and g 有等價關係)
我們之前的函數構造中涉及的等價關係是兩個數（或數軸上兩個點）之間， 沒有涉及兩個函數之間的等價。