Trigonometry in a right-angled triangle