可运行实验：数据导数积分闭环

编写程序完成“数据导数积分闭环”。算法契约：在 n+1 个等距样点读取模型 y=x²，用梯形法积分 [a,b]。 本实验直接反查课堂任务：建立冷却模型，解析求解温度曲线，用两次测量估计参数并检验长期极限。 程序必须依据关系 y'=F(y;\theta),\quad F(y^*;\theta)=0，并在说明中处理边界：用同一数据既拟合又验证会高估模型；环境温度变化会破坏常参数假设。 输入三个浮点数 a b n，使用题定离散过程输出保留8位小数；禁止第三方包。