奥斯特罗格拉茨基公式证明