逻辑推理在高中数学的应用