Z jedynki trygonometrycznej obliczamy, że cos²72° = 1 – a², a następnie przekształcamy podane wyrażenie: