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

#畫出圖

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

#使用plot畫圖(改成 f = sqrt(4-x**2))
#若使用Plot,圓形只畫出上半部園（y=f(x)一對一值）
#plot('sqrt(12-x**2)','2*x-6',(x,-3,3))

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