O definicji 7 z Ksiegi V Elementow Euklidesa


Abstrakt:

Euclid's Elements Book V develops theory of proportion of “geometric magnitudes”. Definition V,5 is the definition of proportion, A:B::C:D, definition V,7 is the definition of the order of ratios, A:B C:D. In commentaries on Book V it is usually supposed, and sometimes even proved, that the order of ratios is a total order, while it is also supposed that “magnitudes of the same kind” obey the Archimedean axiom only, i.e. Euclid's definition V,4. The purpose of this paper is to show that the linearity of the order of ratios cannot be deduced from the Archimedean axiom; to this end we define a structure of magnitudes (M,+,<) that obeys the Archimedean axiom and show that the conjunction of negations (A:B C:D), (A:B::C:D), (A:B C:D) is satisfied.