■No41365に返信(七氏さんの記事)
> 直角三角形ABC(Cは90°)について、
> 角Aの対辺をa　角Bの対辺をb　角Cの対辺をc　とする。
> 
> 　　　　　　　　　　　A
>                    
>                 B     C 
> 
> このとき、
> 角B＝θ⇒sinθ＝b/c が真なのは分かりますが、
> 逆の　sinθ＝b/c⇒角B＝θ　が真なのが証明出来ません。

sinB＝b/c は定義なので、証明するものではありません。