定积分是高等数学中的重要内容，而三角函数在数学中也是一个重要的概念。在定积分中，有一个被称为“三角万能公式”的公式，可以简化计算过程，提高计算效率。

三角万能公式是指，对于任意实数$x$，都有以下公式成立：

$\int \sin x \mathrmx = -\cos x + C$

$\int \cos x \mathrmx = \sin x + C$

其中，$C$为常数项。

这个公式的证明可以通过对比求导法来进行。具体来说，我们可以通过求导验证$\cos x$的导数为$-\sin x$，以及$\sin x$的导数为$\cos x$。然后，通过反函数求导法，我们可以得到以上两个积分公式。

三角万能公式在计算定积分时非常实用，可以大大简化计算过程。例如，在计算$\int_0^} \sin x \mathrmx$时，我们可以直接使用三角万能公式得到：

$\int_0^} \sin x \mathrmx = [-\cos x]_0^} = -\cos \frac + \cos 0 = 1$

因此，三角万能公式在数学中是一个非常重要的工具。同时，我们也需要注意，在使用三角万能公式时，需要注意积分变量和积分上下限的变换，以免出现计算错误。