Zwróć uwagę na „symetrię” dowodzonej równości. Możesz więc oczekiwać, że należy wykonywać też takie „symetryczne” kroki w dowodzie. Jeśli np. zastosujesz twierdzenie cosinusów dla kąta α w trójkątach ADC i ABC, uzyskując zależności między wielkościami m, a, b, c i cosα , to zastosuj też to samo twierdzenie dla kąta β w trójkątach EBC i ABC. W ten sposób otrzymasz dwie pary równości. Z jednej równości wyznacz cosα i wstaw to do drugiej równości — otrzymasz zależność między wielkościami m, a, b i c, w której nie wystąpi już cosα . Analogicznie postąp z drugą parą równości — otrzymasz zależność między wielkościami n, a, b i c, w której nie wystąpi cosβ . Teraz z otrzymanych równości „pozbądź” się wielkości c.