>>580
P=(rcost,rsint)とでもおいて(PA+PB)/PCをtで微分してみたら?
計算はたいへんそうだけど