三元一次方程是含有三个未知数，并且每个未知数的次数都是1的方程。其一般形式可以表示为 `ax + by + cz = d`，其中 `a`、`b`、`c` 不等于0。
三元一次方程组解法
求解三元一次方程组通常采用以下步骤：
消元法
选择两个方程，通过加减或乘除消去一个未知数，得到一个二元一次方程组。
解这个二元一次方程组，得到两个未知数的值。
将这两个未知数的值代入原方程组中的任一方程，求出第三个未知数的值。
代入法
从三元一次方程组中选择一个方程，解出一个未知数关于另外两个未知数的表达式。
将这个表达式代入其他两个方程中，得到一个二元一次方程组。
解这个二元一次方程组，得到两个未知数的值。
将这两个未知数的值代回到关于第三个未知数的表达式中，求出第三个未知数的值。
示例
考虑以下三元一次方程组：
```
x + y + z = 10
2x + y - z = 5
x - y = 1
```
通过消元法或代入法，我们可以求解这个方程组，得到 `x`、`y` 和 `z` 的值。
Python代码示例
```python
import sympy as sp
定义未知数
x, y, z = sp.symbols（'x y z'）
定义方程
eq1 = sp.Eq（x + y + z, 10）
eq2 = sp.Eq（2*x + y - z, 5）
eq3 = sp.Eq（x - y, 1）
解方程组
solution = sp.solve（（eq1, eq2, eq3）, （x, y, z））
print（solution）
```
运行上述代码，可以得到方程组的解。