>>111
>>112
こう見えても、私は某分野の強烈に難しいことを証明した者ですけど…。
私はその某分野の専門家でも何でもない。ただの素人。

>>103
>開区間において最小値が存在する(しかも接するときである)理由を連続な全単射があるためと
>しているので何かの定理を使ってるんでしょうけど，知らないし考えてもわからないです。
>存在の保証だけでなく最小になるときまでわかるそうなので，結構高度だと思います。
>知っている方がいらしたら別の方でもいいです。
ちょっと、これ或る程度期間をおいて研究しないと説明はムリだと思うことなので、
答えてほしいことを定式化するが、次の通りでよろしい？
|a|＞1なる実数aに対し、関数　f(x)＝sinx/(a+cosx)　が最小になるための必要十分条件は
点(a、0)を通る直線が単位円C:x^2*y^2＝1に接することである。
証明すべきことはこれでよいな？
本来するべき別のことがあるしこのスレの住人に迷惑なんで、
上の定式化がお望みのことなら、暇があるときこれ研究して証明する
(直観的にはどう見ても明らかなことだが…)。
あと、知らせる手段を教えてくれれば、もし証明出来たら知らせる。
ただ、必ずしも証明出来ることの保証はない。