#範例3-5：兩個二元一次方程式聯立求解（圓，與線的交叉點）
from sympy import *
x, y = symbols('x y')
#二元一次聯立方程式
f1 = Eq(x**2 + y**2-12, 0)
f2 = Eq(2*x - y - 6, 0)

#畫出圖
#使用plot_implicit(Eq()畫出兩個圖的方法：使用extend(p2),最後再p1.show())
p1 = None
p1 = plot_implicit(f1,(x,-5,5),(y,-5,5),show=False)
p2 = plot_implicit(f2,(x,-5,5),(y,-5,5),show=False)
p1.extend(p2)
p1.show()

#求解兩條線的交叉點(solve(f1,f2))
print('解二元一次聯立方程式=', solve((f1,f2),(x,y)))

from sympy.interactive import printing
printing.init_printing(use_latex=True)
display(solve((f1,f2),(x,y)))