>>10
>>15の一番下の方は
>dy/dx＝f(c)＜0だから、求める最小値は
>「f(c)」＝dy/dx＝-a/b＝-1/(2√2)。
と訂正。まあ、点(a、b)が点P(cos(c)、sin(c))であること位は分かるだろ。