对猜测、验证的思考与教学实践