Further trigonometry