Szczegółowe wyjaśnienie:
W dowolnym trójkącie kwadrat jednego boku równa się sumie kwadratów dwóch pozostałych boków pomniejszonej o podwójny iloczyn tych boków i cosinusa kąta zawartego między nimi.