Use sine rule (#487)

Use sine rule (#487)

Use asin⁡A=bsin⁡B=csin⁡C\dfrac{a}{\sin A} = \dfrac{b}{\sin B} = \dfrac{c}{\sin C} to find unknown sides or angles.