musicgold said:
I read the story of Hippasus's proof which showed ## \sqrt {2} ## is neither a natural number nor a ratio of natural numbers and how he was drowned by the Pythagoreans for his impiety.
My question is as the Greeks did not know about decimals (until a few centuries later), how did they deal with irrational numbers when they presented themselves in their calculations and measurements.
How do you deal with a quantity that can't be represented using existing methods? Did they just drop those calculations or approximate the number?
Thanks
Note that the OP's question is about 'dealing' with irrational numbers. There is no question that the ancient Greeks
knew about irrational/incommensurable numbers.
So, if by 'deal' we mean 'approximate them for practical application' (for no one would need an
exact irrational number for practical constructions or calculations) then there was no challenge for them in doing this. One method they were probably aware of for doing so was the
Babylonian Method. Another method that could be used is the
Euclidean Algorithm (Propositions VII.1 and VII.2 of the
Elements). This algorithm finds the greatest common divisor between two numbers. When applied to incommensurable magnitudes one finds that the method does not terminate and this would provide a way to approximate the value of an irrational number. However, my understanding is that the ancient Greeks were not concerned much with calculation. They were more interested in determining rational, universal truth.
So, if by 'deal' we mean 'conceptualize the existence of' then that is what Book X of the
Elements is probably a good reference for this. But, even in the earlier books of the
Elements Euclid has to 'deal' with irrationals, and this is all done geometrically. For example, take the
construction of the Mean Proportional between any two straight lines. Such a construction will often result in incommensurable lengths. Euclid gives a proof of this construction at least two times in the
Elements (end of book II is the first appearance, with a more elegant one given later that the link above summarizes).