Теорема косінусів звучить так: квадрат сторони трикутника дорівнює сумі квадратів двох інших його сторін мінус подвоєний твір цих сторін на косинус кута між ними.
Катет прямокутного трикутника дорівнює його гіпотенузі, помноженій на синус протилежного або на косинус прилеглого до цього катета кута. Катет дорівнює іншому катету, помноженому на тангенс протилежного або котангенс кута, що прилягає до першого катету.
Щоб знайти катет a в трикутнику BA1C, потрібно помножити гіпотенузу BA1 на синус протилежного кута.