Verify the identity: 2tan(a/2) = sin² a + 1-cos² a/sin a(1+cos a)