Infinite Products and a Tangent Fan 

Based on the infinite geometric sum 1 = 1/2 + 1/4 + 1/8 +... we have the trivial infinite product 



for any number a. Of course, dividing each term in the geometric sum by 2 gives the equivalent identity 1/2 = 1/4 + 1/8 + 1/16 + ..., so without altering the product we can introduce an arbitrary number b to give 



Likewise we can introduce a sequence of arbitrary quantities c,d,e,... and we have the identity 



Now, suppose we set 



and so on. Then the above identity becomes 



Naturally there are infinitely many variations on this approach. For example, if we set 



we'll end up with an expression for (1−x) that looks like this 



On the other hand, if we set 



we can define another infinite family of identities, based on 



All of these are based somewhat loosely on "binary" exponents. Of course, the infinite product 



is a standard example of an infinite product. It's even given as the example under the definition of "infinite product" in "The Harper Collins Dictionary of Mathematics" by Borowski and Borwein (although they have a typo, giving the exponent on x as 2n instead of 2^{n}.) This is based directly on the geometric series (proven by Euclid) 



so there are many different infinite products, corresponding to the possible complete numeration systems. In other words, we want a set of sets of numbers such that every positive integer has a unique representation as a sum of precisely one element of each set, and each such representation corresponds uniquely to a positive integer. The "standard" example noted above corresponds to the binary number system, which has the sets 



whereas the base 3 number system has the basis sets 



which suggests the infinite product 



and similarly for any other base. Likewise, the factorial number system suggests the product 




Since the nth partial sum of the geometric series is (1−x^{n})/(1−x), these products all just correspond to cyclotomic factorizations, although not necessarily primitive factorizations. 

Incidentally, one simple way of "seeing" why these products work is to notice how the terms "telescope". For example, beginning with the identity 



which we can instantly see is true, because the factors "telescope" into each other, i.e., if we combine the first two terms on the right side we get the equivalent relation 



Then we combine the first two terms on the right side of this expression to give the equivalent relation 



and so on. Thus it's clear that if x is less than 1 the right hand infinite product equals 1. 

Such products are related to power series expansions of the natural log. If we write the original relation as 



and take the natural log of both sides, we have the infinite sum 



Now, making use of the wellknown power series expansion 



the logs on the right side of the preceding equation give the overall sum 



which of course equals −ln(1 − x^{2}), confirming the wellknown expansion 



We could also express the above relations between logs in terms of the respective continued fractions, noting that 



In any case, it's clear that all the infinite products above are based on a sequence of functions that is multiplicatively cumulative in a nice way. For example, the cumulative products of 



are all of the form 1 − x^{n}. Another sequence of functions with a similar property is 



Thus we can construct infinite products based on these functions, which of course are essentially just hyperbolic trig functions. The archtypical identity of this family is 



More interestingly, we can apply the same approach to the ordinary trigonometric functions, noting the multiplicatively cumulative sequence of functions 



From this we immediately arrive at the interesting result 



This relates the magnitudes (norms) of the two sides, but in terms of the real and imaginary components, the identity can be explicitly written as 



The left hand side is as shown below: 



The "identity" of this simple circular locus with the infinite product on the right is nontrivial, because the righthand side is evidently discontinuous at every real value of z. Notice that the right side vanishes when any of the arguments z, 2z, 4z,... is an integer multiple of π, so it vanishes for z = nπ/2^{k} for any integers n and k. Also, the right side is infinite if any of the arguments 2^{k} z is of the form nπ + π/2, which implies it is infinite for z = (nπ + π/2)/2^{k} for any integers n and k. Thus every z is arbitrarily close to a value for which the function is zero, and also to a value for which the function is infinite. To see how this evolves into the circular locus, consider the partial product 



If we plot the real and imaginary parts of f(z) as z ranges from 0 to π, with N=0, we see that f(z) = tan(z)^{1/2}, so the result is purely real, approaching positive infinity as z approaches π/2. Then when z exceeds π/2 the value of tan(z) branches to negative infinity, so the function f(z) becomes purely imaginary, coming in from ¥i to 0. This is illustrated in the lefthand figure below. In the righthand figure below we have set N=1, so we get more branches of the tangent function, and each branch gives a straight line locus in the complex plane, with the density of points determined by the slope of the tangent and the effect of the respective root extractions. 



Increasing the number of factors to N=2, and then to N=3, increases the number of branches and focuses the density even more, as shown in the figures below. It should be noted that the lines for the branches has nonzero density at all distances from the origin, but since the plot only has finite resolution, we see only the points at discrete intervals, which truncates below some threshold density. 



With N=4 and N=5 the points are clearly arrayed in a "fan" that begins to outline the circular locus. 



Going on for just a couple of more steps, to N=6 and N=7, we see that nearly all the density in on the simple circular locus described previously. 



Nevertheless, the range of f(z) for any integer N includes the entire upper half of the complex plane, even though the density away from the circular locus can be made arbitrarily small by increasing N. Thus we argue that the limit of f(z) as N goes to infinity is the circular locus, but this must be understood in the sense of densities. 
