Trigonometrija, nurodantis, kad bet koks trikampis vienos pusės aikštės įstatymas yra lygus kitų darbdavių minus du kartus šių kitų darbdavių padauginus iš įtraukti kampo kosinusą produkto kvadratų sumą.