Mathematics Undergraduate about 10 yearsago

①を満たすtがただ一つであることを示すやつです。 やってることはわかるんですけどなんで微分したりしてるのか、教えて欲しいです。 0<sint<π/2