Mille definitsioon on: Kolmnurga ühe külje ruut on võrdne ülejäänud külgede ruutude summaga, millest on lahutatud samade külgede ja nendevahelise nurga koosinuse kahekordne korrutis.