求高中数学必修5练习题中的一个推理公示的推理过程