曼海姆定理外切时证明