what was Hilbert's geometric construction in his 17th problem? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T15:02:17Z http://mathoverflow.net/feeds/question/9089 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/9089/what-was-hilberts-geometric-construction-in-his-17th-problem what was Hilbert's geometric construction in his 17th problem? Colin Tan 2009-12-16T08:06:48Z 2009-12-19T19:38:40Z <p>Hilbert's 17th problem asked if a nonnegative real polynomial is the sum of squares of rational functions. It was answered affirmative by Artin in around 1920. However, in his speech, he also asked if the rational functions could have coefficients over Q rather than over R. Here is the relavant part of his speech</p> <p>"At the same time it is desirable, for certain questions as to the possibility of <b>certain geometrical constructions</b>, to know whether the coefficients of the forms to be used in the expression may always be taken from the realm of rationality given by the coefficients of the form represented."</p> <p>Does anyone know what these "certain geometrical constructions" are?</p> <p>It seems maybe to me that Hilbert was attempting to embed rational projective space into higher dimensional rational projective space via these polynomials. Briefly, given a nonnegative homogeneous function $f(x_0,\ldots, x_n)$ with rational coefficients induces a metric on $QP^n$. Suppose Hilbert's dream holds that $f=p_0^2+\cdots + p_N^2$ where $p_i$'s are polynomials with rational coefficients. Then the map $p: QP^n\to QP^N$ where $p(x)=(p_0(x),\ldots, p_N(x))$ is an isometric embedding (almost!) where the metric induced by $f$ is the pullback back of the Euclidean metric on $QP^N$.</p> <p>The above is just my hazard. But I would be delighted if anyone is aware of what exactly Hilbert's intended "geometrical constructions" are.</p> http://mathoverflow.net/questions/9089/what-was-hilberts-geometric-construction-in-his-17th-problem/9124#9124 Answer by Michel Coste for what was Hilbert's geometric construction in his 17th problem? Michel Coste 2009-12-16T19:34:11Z 2009-12-16T19:34:11Z <p>Actually the answer is in the sections 36 to 39 of Hilbert's "Foundations of geometry", which can be found on the web. The constructions are construction with "straightedge" (ruler) and "transferrer of segments". I quote a result from Hilbert's book :</p> <p>Theorem 41. A problem in geometrical construction is, then, possible of solution by the drawing of straight lines and the laying off of segments, that is to say, by the use of the straight-edge and a transferrer of segments, when and only when, by the analytical solution of the problem, the co-ordinates of the desired points are such functions of the co-ordinates of the given points as may be determined by the rational operations and, in addition, the extraction of the square root of the sum of two squares.</p> <p>This result explains relatively clearly why this kind of geometrical constructions leads to the question of the determination of those functions of $x_1,\ldots,x_n$ which can be written as sums of squares of rational functions with rational coefficients.</p>