一道有趣的数学证明题