斯特瓦尔特定理与张角定理可互化