Using a trigonometric ratio to find a side length in a right triangle