经典数学函数图鉴：让每一条曲线都经得起坐标查验

你随手搜到的函数图像,很多是”示意图”——渐近线附近糊过去,关键点的位置全凭画师手感。但函数图像本质上不是”画”出来的,而是算出来的:给定 x,y 有唯一确定的值,图上每一个点都应当经得起坐标查验。这篇给你 16 张经得起查验的经典函数图,以及”用什么工具、为什么这些工具能做到精确”的答案。

先看图:16 张可交互的函数图鉴

下面每张图都可以滚轮缩放、拖拽平移;鼠标贴近曲线时会显示该点的精确坐标 (x, y)。图中的散点是关键坐标(顶点、极值点、恒过点),虚线是渐近线或 π 的整数倍刻度。

嫌 iframe 里滚动不方便,可以在新标签页打开完整图鉴。

覆盖的 16 个函数族:一次、二次、三次、反比例、根式($\sqrt{x}$ 与 $\sqrt[3]{x}$)、绝对值、指数、对数、互为反函数($e^x$ 与 $\ln x$)、正弦余弦、正切、反三角、双曲函数、sigmoid 与 tanh、高斯函数、取整函数。

“画得准”到底难在哪

把函数画准,朴素做法是”采样连线”:取一串 x,算出 y,把点连起来。这个做法在三种地方必然翻车——理解了这三种翻车,你就知道该怎么挑工具了。

1. 渐近线会被错误连线。 画 $y = \tan x$ 时,采样点跨过 $x = \pi/2$ 的瞬间,y 从 +∞ 一侧跳到 −∞ 一侧。傻连线的工具会在渐近线处画出一条不存在的竖线。很多教材插图和 Excel 图表就是这么错的。

2. 陡峭处采样不够就失真。 $y = 1/x$ 在 0 附近变化极快,均匀采样 100 个点,靠近 0 的那一段只分到两三个点,曲线被拉成折线。

3. 间断点被抹平。 $y = \lfloor x \rfloor$ 在每个整数处跳跃,采样连线会把台阶画成斜坡。

成熟工具对付这三个问题的思路只有两种:要么自适应加密采样(在变化剧烈处自动多算点,matplotlib + 足够密的 numpy 网格、Desmos 都是这个路子),要么区间算术(interval arithmetic:不算”点”,而是算”x 在这个小区间内时 y 的取值范围”,渐近线和间断点在数学上被真实处理,不存在’连错线’的可能)。上面图鉴用的 function-plot 就是区间算术派——这也是为什么正切图里渐近线两侧干干净净。

工具怎么选

“能精准画函数的成熟工具”不止一个,它们的适用场景不同:

工具	适合场景	特点
Desmos	快速探索、教学演示	浏览器打开就用,输入公式即出图,可加滑块动态调参
GeoGebra	几何 + 函数综合、课堂	除函数外还能做尺规作图、动态几何
matplotlib (Python)	论文插图、批量出图、完全可控	代码可复现,配合 numpy 想采样多密就多密
function-plot	网页里嵌可交互函数图	基于 d3,区间算术处理渐近线,本文图鉴所用
gnuplot / Wolfram Alpha	命令行老兵 / 顺带要解析性质	gnuplot 脚本化极强;Wolfram 还能顺带给你极值、积分

一句话决策:自己随手看用 Desmos;要放进网页用 function-plot;要进论文或报告用 matplotlib。

如果你想用 matplotlib 复现同款精确图,核心就三件事:采样够密、间断点处主动断开、关键点单独标注。以 $\tan x$ 为例:

import numpy as np
import matplotlib.pyplot as plt

x = np.linspace(-2*np.pi, 2*np.pi, 4000)   # 采样够密
y = np.tan(x)
y[np.abs(np.diff(y, prepend=y[0])) > 10] = np.nan  # 跳变处断开,避免假竖线

fig, ax = plt.subplots(figsize=(8, 5))
ax.plot(x, y, lw=1.5)
ax.set_ylim(-4, 4)
ax.grid(True, alpha=0.3)
for k in (-3, -1, 1, 3):                   # 渐近线单独画虚线
    ax.axvline(k*np.pi/2, ls='--', lw=0.8, color='gray')
ax.plot([0, np.pi/4], [0, 1], 'o', color='k', ms=4)  # 关键点 (0,0)、(π/4,1)
plt.show()

精确性质速查表

图看完,把每族函数”必须记住的精确事实”收在一张表里——这些就是图鉴里散点标出的坐标。

函数	定义域	值域	必记关键点 / 渐近线
$y = kx + b$	$\mathbb{R}$	$\mathbb{R}$	过 $(0, b)$、$(-b/k, 0)$
$y = a(x-h)^2 + k$	$\mathbb{R}$	$a>0$ 时 $[k, +\infty)$	顶点 $(h, k)$,对称轴 $x = h$
$y = x^3 - 3x$	$\mathbb{R}$	$\mathbb{R}$	极大 $(-1, 2)$,极小 $(1, -2)$
$y = 1/x$	$x \neq 0$	$y \neq 0$	渐近线:两条坐标轴
$y = \sqrt{x}$	$[0, +\infty)$	$[0, +\infty)$	过 $(0,0)$、$(1,1)$;$\sqrt[3]{x}$ 定义域是全体实数
$y = \lvert x \rvert$	$\mathbb{R}$	$[0, +\infty)$	$x=0$ 处尖角,不可导
$y = a^x$	$\mathbb{R}$	$(0, +\infty)$	恒过 $(0, 1)$;渐近线 $y = 0$
$y = \log_a x$	$(0, +\infty)$	$\mathbb{R}$	恒过 $(1, 0)$;渐近线 $x = 0$
$y = \sin x,\ \cos x$	$\mathbb{R}$	$[-1, 1]$	周期 $2\pi$;$\cos x = \sin(x + \pi/2)$
$y = \tan x$	$x \neq \pi/2 + k\pi$	$\mathbb{R}$	周期 $\pi$;渐近线 $x = \pi/2 + k\pi$
$y = \arctan x$	$\mathbb{R}$	$(-\pi/2, \pi/2)$	渐近线 $y = \pm\pi/2$
$y = \cosh x$	$\mathbb{R}$	$[1, +\infty)$	最低点 $(0, 1)$,悬链线形状
$\sigma(x) = \frac{1}{1+e^{-x}}$	$\mathbb{R}$	$(0, 1)$	中心 $(0, 0.5)$;$\tanh x = 2\sigma(2x) - 1$
$\varphi(x) = \frac{e^{-x^2/2}}{\sqrt{2\pi}}$	$\mathbb{R}$	$(0, \frac{1}{\sqrt{2\pi}}]$	峰值 $(0, 0.3989)$;拐点 $x = \pm 1$
$y = \lfloor x \rfloor$	$\mathbb{R}$	$\mathbb{Z}$	台阶 $[k, k+1)$,整数点跳跃

收尾

带走一个可复用的判断标准:看到一张函数图,先看两处——渐近线附近有没有假竖线,间断点有没有被抹成斜坡。这两处干净,图才可信;这两处糊掉的图,坐标多半也不可信。下次你自己画图,记得挑一个区间算术或自适应采样的工具,而不是”连点成线”碰运气。