### The connection between two geometrical axioms of H. N. Gupta

Wolfram Schwabh{äuser
<span title="1969-01-01">1969</span> <i title="American Mathematical Society (AMS)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/a64sw4kcsveajhudnssdwrwvze" style="color: black;">Proceedings of the American Mathematical Society</a> </i> &nbsp;
The answer is given here to a problem raised by H. N. Gupta at the end of [l ], namely, if two axioms (E) and (B) are equivalent when added to Euclidean geometry of arbitrary dimension over arbitrary ordered fields. (B) states that, for any points x, y, z such that y is between x and z, there is a right triangle having x and z as endpoints of the hypotenuse and y as foot of the perpendicular drawn from the right angle vertex. (B) holds in the w-dimensional Cartesian space SniS) over an ordered
more &raquo; ... ield % (n ^ 2) if and only if (b) for all au • • • ,an,lE^ with 1^0, the system of the two equations (1) aixi + • • • + anx" = 0, (2) x\+ ■ ■ ■+xl = l-(a\+ ■ ■ -+ al) has a solution with xi, • • • , xnin %. (E) is, essentially, a combination of the axiom of segment construction and the circle axiom. It is analytically expressed (as above) by (e) % is Euclidean (i.e., in \$. each positive element is a square). As stated in [l], (E) implies (B) (also for infinite dimension), and the converse holds in Euclidean geometry over Pythagorean ordered fields. It will be shown here that (B) does not imply (E) in general, in fact, that we get a counterexample, satisfying (b), by taking the field O of rationals for % together with any «^5, while, clearly, (e) does not hold for fÇ = O. Thus, the answer to the above problem is negative. First, let the ordered field % and n^2 still be arbitrary.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1090/s0002-9939-1969-0246189-1">doi:10.1090/s0002-9939-1969-0246189-1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/62cla3j4jzajrlstnzkbqcrsfq">fatcat:62cla3j4jzajrlstnzkbqcrsfq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190502103941/https://www.ams.org/journals/proc/1969-022-01/S0002-9939-1969-0246189-1/S0002-9939-1969-0246189-1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/88/79/88799649149d6da1c71852ac333375e3b071fc4a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1090/s0002-9939-1969-0246189-1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>