x,y,zは角の大きさですよね?
個人的には「大丈夫だと思いますが、等号成立は注意したい」ですね。
一応導出としては下記みたいになりますね。
まず仮に点を決めちゃいますね。
共通の点をA,Bとして∠AXB=x,∠AYB=y,∠AZB=zとなる点をX,Y,Zとする。
A,Bともう1点X,Y,Zを通る円OX,OY,OZの半径rX,rY,rZは
rX<rY<rZ
→sinx>siny>sinz
0<x,y,z≤2πより
→x>y>z
といった感じでしょうか。
そんなに難しい導出じゃないので書かなくてもいいような気はします。
質問者からのお礼コメント
意外と簡単に証明できるんですね!初めて知りました。中学の先生が難しいと言っていたので大学数学かと思ってました。2人の意見が一緒で安心して使えます。ありがとうございました。