Prime Representing Polynomial with 10 Unknowns – Introduction

Abstract

The main purpose of the article is to construct a sophisticated polynomial proposed by Matiyasevich and Robinson [5] that is often used toreduce the number of unknowns in diophantine representations, using the Mizar[1], [2] formalism. The polynomial Jk(a1,...ak, x) =∏ ( X+ϵ₁ √(a₁) = ϵ₂ √(a₂)W +…+ ϵk √ak W^(k-1)) ϵ₁…. ϵk ϵ {±1} with W=∑_(i=1)^k x(2¦1)has integer coefficients and Jk(a1,...ak, x) = 0 for some a1,...,ak, x ∈ Z if and only if a1,...,ak are all squares. However although it is nontrivial to observe that this expression is a polynomial, i.e., eliminating similarelements in the product of all combinations of signs we obtain an expression where every square root will occur with an even power. This work has been partially presented in [7].