如何简化像 $18/12$ 或 $16/12$ 这样的分数？

要找到 x 截距，将函数设为零（$y = 0$）并求解所得的二次方程。对于 $y = x^2 - 4$，令 $x^2 - 4 = 0$ 并将其作为平方差进行因式分解，得到 $(x+2)(x-2) = 0$，从而得出解 $x = -2$ 和 $x = 2$。

适用条件：曲线由二次方程 $y = x^2 - 4$ 定义。；目标是找到图像与 x 轴相交的地方。；使用的代数方法是因式分解完全平方差。

$\bar{f}(x)$ 在 $\mathbb{Z}_3$ 上的完全因式分解是 $(x - 1)(x + 1)(x^2 + 2x + 2)$。这是通过求值识别线性因子 $(x-1)$ 和 $(x+1)$，执行多项式除法找到二次因子，并验证其不可约性来得到的。

适用条件：多项式为 $\bar{f}(x) = x^4 + 2x^3 + x^2 + x + 1$。；域为 $\mathbb{Z}_3$。

要在有限域（如 $\mathbb{Z}_3$）上寻找多项式的线性因子，需将多项式在该域的每个元素处求值。如果结果为零，则对应的 $(x - a)$ 是一个因子。

适用条件：多项式定义在有限域上。；测试了该域的所有元素。

域上的二次多项式不可约，当且仅当它在该域中没有根。你可以通过在该域的所有元素处求值来检查这一点。

适用条件：多项式为二次。；系数属于一个域。

在域上的多项式环模一个多项式的背景下，所得商环的素理想对应于由模多项式的不可约因子生成的理想。具体来说，$\mathbb{Z}_3[x]/\langle \bar{f} \rangle$ 的素理想由 $\bar{f}$ 的不可约因子生成。

适用条件：基础环是域上的多项式环。；模多项式已分解为不可约因子。