一道相似证明题