柯尼希定理公式推导