证明逻辑解 P(t) 的拐点恰好在 P = K/2 处。