✨ ベストアンサー ✨
確かにその考え方で正しいです。しかし誘導から分かるのは、0 < θ < πのときS_1=S_2となるθはπ/3, 2π/3の2つであることです。要するにπ/2ずつθの範囲を広げていくと、S_1=S_2となるθが1つずつ増えていきそうだということです。
これを用いると0 < θ < 3πのときS_1=S_2となるθは6個であることが分かります。そして、6個目のθと7個目のθの間が求めてpの範囲であることも分かります。
よって、5π/2 < θ < 3πのときと3π < θ < 7π/2のときのS_1=S_2の解を考えればいいことが分かります。

なるほどありがとうございますわかりやすい!!