函数f(x)=a/cos^nx+b/sin^nx最小值猜想的一个初等证明

万新灿、郑晓玲老师在文[1]中提出猜想：f（x）=a/cos^nx＋b/sin^nx（0〈x〈π/2,a、b为大于0的常数，n∈N＋），当且仅当x=arctan n＋2√a/b时。