莫比乌斯变换
若以上两个不等式中有一式等号成立，那么formula_45必是实係數的莫比乌斯变换。也就是说，若等号成立，则有