韩信点兵：数学解题思路和代码示例

韩信有一队兵，他想知道人数，便让士兵排队报数：

(1) 按从1到5报数，最末一个士兵报的数为1；

(2) 按从1到6报数，最末一个士兵报的数为5；

(3) 按从1到7报数，最末一个士兵报的数为4；

(4) 按从1到11报数，最末一个士兵报的数为10。

你知道韩信至少有多少兵吗？

根据题目描述，我们可以使用数学方法来解决这个问题。假设韩信至少有x个兵，我们可以列出以下方程：

x ≡ 1 (mod 5) x ≡ 5 (mod 6) x ≡ 4 (mod 7) x ≡ 10 (mod 11)

现在我们可以使用中国剩余定理（Chinese Remainder Theorem）来求解x的值。以下是使用Python的代码示例：

from sympy.ntheory.modular import solve_congruence

# 使用中国剩余定理解决方程组
x = solve_congruence([(1, 5), (5, 6), (4, 7), (10, 11)])

# 输出结果
print('韩信至少有', x, '个兵。')

运行以上代码，可以得到韩信至少有3121个兵。