关于共轭根式根定理的准确含义及$s$、$t$、$u$定义的技术问询

没问题，我来给你把共轭根式根定理的准确含义和符号定义掰扯清楚——这个定理在有理系数多项式的根的分析里特别实用：

简单来说，假设我们有一个有理系数多项式（就是所有系数都是有理数的多项式，比如3x² - 2x + 5这种），如果某个数$\alpha = s + t\sqrt{u}$是这个多项式的根（也就是把$\alpha$代入多项式后结果等于0），那么它的共轭根式$\beta = s - t\sqrt{u}$也必然是这个多项式的根。

这里有个关键前提：$\sqrt{u}$必须是无理数。要是$\sqrt{u}$本身是有理数，那$\alpha$和$\beta$其实就是同一个有理数了，定理也就失去了它的特殊意义。

这三个符号的性质是明确的，咱们一条条拆解：

• s和t：都是有理数。这里t可以是0吗？其实t=0的时候$\alpha$就是有理数s，这时候共轭就是它本身，也符合定理，但通常我们讨论这个定理的时候t≠0，不然就没必要专门提共轭根式了。
• u：首先u是有理数，而且在实数域的常规讨论场景下，u必须非负（不然$\sqrt{u}$就是虚数了，这时候共轭的概念会延伸到复数共轭，但一般说“共轭根式根定理”的时候，默认是实数范围的共轭）。另外还是要强调，$\sqrt{u}$得是无理数，不然整个根式就退化成有理数了，定理的应用场景也就不成立了。

内容的提问来源于stack exchange，提问作者Keith