Question

サラサ

どうしてsinθなのですか？

Answer 1

@Ganymede＋

スネルの法則(屈折の法則)を導出する過程で、sinθが登場します。
関係式として導いた結果、sinθを含む式に整理されます。

※
テキストに書いてある通り、
ホイヘンスの原理からスネルの法則を導出できますが、

フェルマーの原理を出発点として導出することができる例を
画像として添付しておきます。