Publisher version (open access) of A noncommutative half-angle formula