Bounds of some real (complex) solution of a finite system of polynomial equations with rational coefficients
Abstract
We discuss two conjectures.
(I) For each x_1,...,x_n \in R (C) there exist y_1,...,y_n \in R (C) such that
\forall i \in {1,...,n} |y_i| \leq 2^{2^{n-2}}
\forall i \in {1,...,n} (x_i=1 \Rightarrow y_i=1)
\forall i,j,k \in {1,...,n} (x_i+x_j=x_k \Rightarrow y_i+y_j=y_k)
\forall i,j,k \in {1,...,n} (x_i \cdot x_j=x_k \Rightarrow y_i \cdot y_j=y_k)
(II) Let G be an additive subgroup of C. Then for each x_1,...,x_n \in G there exist y_1,...,y_n \in G \cap Q such that
\forall i \in {1,...,n} |y_i| \leq 2^{n-1}
\forall i \in {1,...,n} (x_i=1 \Rightarrow y_i=1)
\forall i,j,k \in {1,...,n} (x_i+x_j=x_k \Rightarrow y_i+y_j=y_k)