We've seen that satisfies the functional equation
(Well, it still needs to be proved, but let's just assume it's correct for now.) The goal of this post is an even more symmetrical form that will yield the function which we can develop into an incredibly useful product expression.
On our wish list for we find three items:
- It's an entire function, i.e., a function that's holomorphic everywhere in without any poles.
- It has zeros for all non-trivial zeros of the -function, and no others.
- It's perfectly symmetrical along the critical line, i.e., it satisfies .