Die Gleichungen für halbe Argumente sind aus dem Gleichungssystem für doppelte Argumente ableitbar, wenn man durch ersetzt und entsprechend umstellt [Tri48, III, § 3].