A brief trigonometry