حل معادلات من الدرجة الأولى

المعادلة المعطاة هي معادلة جداء عاملين يساوي الصفر. حسب المبرهنة، يكون جداء عدة عوامل معدوماً إذا كان أحد العوامل على الأقل معدوماً.
إذن، لدينا حالتان محتملتان:
الحالة الأولى: $3x-6 = 0$
نحل المعادلة الخطية $3x-6 = 0$:
نضيف 6 إلى الطرفين: $3x = 6$
نقسم الطرفين على 3:
```python
from sympy import symbols, Eq, solve
x = symbols('x')
equation1 = Eq(3*x, 6)
solution1 = solve(equation1, x)
print(solution1[0])
```
الحل الأول هو $x = 2$.
الحالة الثانية: $x+5 = 0$
نحل المعادلة الخطية $x+5 = 0$:
نطرح 5 من الطرفين:
```python
from sympy import symbols, Eq, solve
x = symbols('x')
equation2 = Eq(x + 5, 0)
solution2 = solve(equation2, x)
print(solution2[0])
```
الحل الثاني هو $x = -5$.

مجموعة حلول المعادلة هي $S = \\{2; -5\\}$.