>>455
tを三角関数で置き換えてみよう。1/(1+t^2)が何か別のものに化けないかな？
>>456
とりあえずOS=xとする。このとき、あとSPが分かれば△OSPで余弦定理が使えるのだが…
図を描いてみるとSPをxの式で表す手がかりが見つかるでしょう。