您好，剩余定理，也被称为中国剩余定理或孙子定理，它并不是直接关联到合同纠纷领域的法律知识，而是一个数学定理。不过，既然您询问了，我还是会尽力为您详细解释这个定理及其三个公式。

中国剩余定理的核心思想是：关于整除的问题，现将待解决的数换成未知数，列出几个关于未知数的同余式（除数不同），在求出这个未知数的解（最小正整数解或者全部解或者某个范围内的解）之后，再代入原题目中去解原题。这个定理在数论中占有非常重要的地位，是求解同余方程组的有力工具。

关于您提到的“剩余定理的三个公式”，我推测您可能是想了解中国剩余定理在解决具体问题时的应用方法或者公式表达。一般来说，中国剩余定理可以通过构造法给出同余方程组的通解，但具体的“三个公式”并不是一个固定的说法。不过，我可以给您一个中国剩余定理的一般性表述和求解方法：

中国剩余定理的一般性表述：

设\(m_1, m_2, \ldots, m_n\)是两两互质的正整数，\(a_1, a_2, \ldots, a_n\)是任意整数，则同余方程组

[ \begin{cases} x \equiv a_1 \pmod{m_1} \ x \equiv a_2 \pmod{m_2} \ \vdots \ x \equiv a_n \pmod{m_n} \end{cases} ]

有解，并且解是唯一的（模\(m_1m_2\ldots m_n\)）。

求解方法：

1. 计算模数的乘积：首先计算所有模数\(m_1, m_2, \ldots, m_n\)的乘积，记为\(M\)。

2. 计算每个模数的逆元：对于每个模数\(m_i\)，计算\(M/m_i\)在模\(m_i\)下的逆元，记为\(M_i'\)。逆元满足\(M_i' \cdot (M/m_i) \equiv 1 \pmod{m_i}\)。

3. 构造解：最后，构造同余方程组的解为\(x = \sum_{i=1}^{n} a_i \cdot M_i' \cdot (M/m_i)\)。这个解在模\(M\)下是唯一的。

如果您在合同纠纷或其他法律领域有具体问题需要咨询，我非常乐意为您提供帮助。您可以详细描述您的问题，我会尽力为您提供专业的法律意见和解决方案。