Langkah kedua, kita gunakan aturan kosinus pada segitiga P O Q. Karena jari-jari lingkaran satuan adalah satu, maka sisi O P dan O Q bernilai satu dengan sudut apit A kurang B. Rumusnya menjadi d kuadrat sama dengan satu kuadrat tambah satu kuadrat kurang dua kali satu kali satu kosinus A kurang B, atau d kuadrat sama dengan dua kurang dua kosinus A kurang B.