Ordensmeister

这个问题没看懂。到底是求证什么？Theta1和Theta2是题设中给出的，Theta是什么？

Ordensmeister

或者这么做。Theta1-Theta2=Theta1-arcsin(sinTheta1-K)=f(Theta1)。
对这个函数求导就好。结果是导函数衡大于零。即Theta1取最大值即可。