Ostrowski不等式可视化:函数导数与区间中点的误差界

Ostrowski不等式可视化:函数导数与区间中点的误差界
几何画板及绘图内容加载中,请稍等……
2019-02-01 04:14
该范例通过GeoGebra动态演示了Ostrowski不等式:对于定义在区间[a,b]上的可微函数f,其积分平均值与某点函数值之差受该点导数绝对值最大值控制。核心数学概念是积分中值定理的精细估计,涉及导数、最大值、算术平均与几何平均。作图要点包括:使用Derivative命令计算f的导数f',通过Max命令求导数绝对值的最大值M,用Segment构造区间,用Textfield和InputBox输入参数,并动态显示不等式左右两端的数值比较。适合大学数学分析或数值分析课程,用于直观理解误差界与区间长度、导数上界的关系,也可作为不等式证明的辅助教学工具。

GeoGebra 命令及参数

  1. Derivative(f) → f'
  2. Max(f', a, b) → M
  3. Textfield(f) → InputBox1
  4. Segment(P, Q) → g

AI 绘图提示语参考

画一个动态图,展示 Ostrowski 不等式,包含一个函数及其导数,标出区间,显示导数的最大绝对值,输入函数值和区间,动态比较积分平均值与函数值之差和最大导数乘以区间长度的关系,用于理解误差界限如何依赖于区间长度和导数上界。
以上提示语为根据原始绘图命令整理而来,仅供参考。