计算及证明题，见附件。