拿来严格证明当然不行。

不过一般如果你的底子不是太差，看到一个初等函数的表达式和草图应该就能判断出来可靠程度如何，是否需要增加取样点。

对关心的区间补充一个严格的单调性证明应当没有太本质的困难。

譬如y=sin(1/x)

采样间隔0.02

采样间隔0.001

显然在0附近，采样越密越好，即使计算机画不出最精确的图像，你应该有能力想像出精确的图像是什么样子。

首先计算机描述问题是离散的，计算机画图也是离散地取点的。通过画图我们确实可以看到图像的总体变化。但是这是我们看到的，我们没有经过严格证明，比如下面

这个函数不是连续的，在x=a，和x=c。出现了间断点，并且这个函数图像因为这两个点变得不是单调递增了。如果是计算机画的话呢，计算机是离散取点的，有几率会取不到这两个点，这样我们看到的图像却是单调递增的。

是的如果一个图像是连续的呢，画图行吗，解决实际问题的时候确实可以说明一些问题，但是要作为证明也未免有些牵强。数学证明是需要严谨的，我们不会放过任何一个点，而画图就像是抽样调查。

抽样调查可以反应一些问题，也是科学研究的方法。但是数学是严谨的，我们需要万无一失，一个点都不放过。

计算机并不存在严格画出。显示器的最小显示单位是像素，它是有大小的，所以它不能绘制出连续的图像。

另外，我们在绘制图像时，不可能绘制出无限长的图像，只能选择一个范围，和一个缩放比。这意味著：图像的定义域是有限的，图像是有步长的（如第一次绘制了x=0，第二次绘制x=0.001），步长越小图像越精确，但是你没法预料出步长之间的图像是怎么样，除非你用常规的数学方式求导求极值点。

不能。

大多数的计算机画函数图像是通过采样绘图的。

也就意味著，它无法利用函数本体的信息。

通过符号运算的手段计算最值什么倒常常是可行的。

谢邀。就我自己理解的话，计算机结果可以作为一种估计和模拟，和理论上证明比起来是完全不行的。所以如果要眼睛说明的话还是从函数本身开始研究吧，可以用计算机作为工具来看看大致走势，为证明提供思路。

严格上不可以

推荐阅读：
相关文章