Hilbert’s Nullstellensatz for analytic trigonometric polynomials

Abstract

This paper proves such a new Hilbert’s Nullstellensatz for analytic trigonometric polynomials that if ${\left\{f_j\right\}}_{j=1}^{n\ge 2}$ are analytic trigonometric polynomials without common zero in the finite complex plane $ℂ$ then there are analytic trigonometric polynomials ${\left\{g_j\right\}}_{j=1}^{n\ge 2}$ obeying ${\sum }_{j=1}^{n\ge 2}{f}_j{g}_j=1$ in $ℂ$, thereby not only strengthening Helmer’s Principal Ideal Theorem for entire functions, but also finding an intrinsic path from Hilbert’s Nullstellensatz for analytic polynomials to Pythagoras’ Identity on $ℂ$.