KöMaL 2016 B4819

Prove that if $0<x<\frac{\pi}{2}$ , then ${(\tg x)}^{\sin x}+ {(\ctg x)}^{\cos x}\ge 2.$ For what values of $x$ does the equality hold?

Official text KöMaL. Quoted with source.

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.