沙漏模型的公式及定理推导