Comment by marginalia_nu

How do you derive the identities mentioned at the bottom of the post?