Napiers formler, (efter J. Napier), fire relationer mellem vinklerne og siderne i en sfærisk trekant. Se også sfærisk trigonometri.