求合情推理与演绎推理数学题的证明过程