Here,

y

y

By taking log on both sides,

log y = log

log y = y(log tan x)

Differentiating both sides with respect to x using the product rule and chain rule,

Since 1}

Hence proved.