Kosinüs teoremi $a^2 = b^2 + c^2 - 2bc\cos A$ formülü ile ifade edilir. Buna göre, eğer A açısı 90° ise bu formül hangi teoreme dönüşür?
