Pythonのsympy.solveでの不具合

Question

　学校でPythonを使ってグラフを描画するという課題が出され、その内容はとある関数の最大・最小となる部分に縦線を入れるというものでした。
以下のようにコードを書いたのですが、diff(x)＝０の解がなぜか一つだけしか求まらず、縦線も一本だけしか描画できなかったので、この疑問を解決していただきたく質問させていただきました。

from sympy import*
x=Symbol('x')
f=sin(x)+cos(x)
f1=diff(f)
p=plot(f,f1,(x,-5,5),legend=True, show=False)
print("x=", solve(f1))
for i in solve(f1):
  p2=plot_implicit(Eq(x,i),show=False)
  p.extend(p2)
p[0].line_color='b'
p[1].line_color='c'
p.show()

​​​​

　有識者の方、ぜひご回答していただけると幸いです。

Comments

[meg_]

コードは「コードの挿入」で記入してください。

[TakaiY]

質問は編集できるので、新しい投稿をするのでなくこの投稿を修正してください。
作ってしまったやつは、削除依頼しておくのがいいと思います。

Answer 1

公式の説明を見つけられなかったのですが、

SymPy/Julia

三角関数方程式は無数の解を持つが，SymPy の sin では -90度 〜 90度の範囲の解を求める。

とのことのようです。

そのため

diff(x)＝０の解がなぜか一つだけしか求まらず
となっているものと思われます。

Comments

[motsunabe]

そういうことだったんですね。
ご解答いただきありがとうございました。