Jacobi theta duplication identity (${\vartheta }_{00}(z){\vartheta }_{01}(z){\vartheta }_{10}(z){\vartheta }_{11}(z)=\frac{1}{2}{\vartheta }_{00}(0){\vartheta }_{01}(0){\vartheta }_{10}(0){\vartheta }_{11}(2z)$)

For the binary characteristic convention, each theta function with characteristics has one simple zero per lattice cell. The four zeros of the numerator, at the four half-periods, cancel those of ${\vartheta }_{11}(2z)$. Their quotient is an entire elliptic function, hence constant. Taking the limit at zero determines the factor one half. The product identity remains valid at the zeros, where the initial quotient requires removable extension.