Primijenimo na desnoj strani dane jednakosti formulu za polovični kut
(b+c)2⋅sin22α+(b−c)2⋅cos22α=(b+c)2⋅21−cosα+(b−c)2⋅21+cosα=21[(b+c)2−(b+c)2cosα+(b−c)2+(b−c)2cosα]=21[2b2+2c2−cosα(b2+2bc+c2−b2+2bc−c2)]=21[2b2+2c2−4bccosα]=b2+c2−2bc⋅cosα.
Kako je u danom trokutu prema kosinusovom poučku b2+c2−2bccosα=a2, tvrdnja je dokazana.