Most of what we know of Theaetetus's life comes from the writing of Plato. It is clear that Plato held Theaetetus in the highest regard and he wrote two dialogues which had Theaetetus as the principal character, one of the dialogues being Theaetetus while the other is the Sophist.
In Theaetetus a discussion between Socrates, Theaetetus and his teacher Theodorus of Cyrene is recorded. This conversation took place in 399 BC and Theaetetus is described as a youth at the time. This allows us to give a fairly accurate date for Theaetetus's birth (although some have claimed that the Greek word could describe a man of up to 21 years old). Again from Plato we learn that Theaetetus's father, Euphronius of Sunium, was a wealthy man and left a large fortune. However, the money was squandered by the trustees of the will but despite this Theaetetus was generous to all around him.
In appearance Theaetetus had a snub nose and protruding eyes but he is described by Plato as having a beautiful mind and he is also described as being the perfect gentleman. Theodorus said that of all his pupils :-
... he had never found one so marvellously gifted.
There are two references to a 'Theaetetus' in the Suda Lexicon (a work of a 10th century Greek lexicographer). The first states (see for example ):-
Theaetetus, of Athens, astronomer, philosopher, disciple of Socrates, taught at Heraclea. He was the first to construct the so-called five solids. He lived after the Peloponnesian war.
The Peloponnesian War was fought between Athens and Sparta from 431 BC to 404 BC so the dates here are consistent since Theaetetus would be 13 years old when the War ended so saying the he 'lived after the Peloponnesian war' is reasonable.
The second reference in the Suda Lexicon states (see for example ):-
Theaetetus, of Heraclea in Pontus, philosopher and pupil of Plato.
Of course it is unclear whether these refer to the same person or to two different people. There are many historians of mathematics who believe that these refer to the same person. Bulmer-Thomas in , however, thinks that Allman's explanation in  is the most likely. According to this theory the second Theaetetus was the son of the first. If this is so then he would have been born when Theaetetus of Athens was teaching in Heraclea and would have been sent by his father to Athens to be educated at the Academy there under Plato.
Theaetetus took part in the battle between Athens and Corinth in 369 BC. After acquitting himself with distinction in the battle, he was wounded and carried back to Athens. As a result of the wounds that he received in the battle, Theaetetus contracted dysentery and died in Athens.
Theaetetus made very important contributions to mathematics and despite none of his writing having survived we do know a great deal about his contribution. Book X and Book XIII of Euclid's Elements are almost certainly a description of Theaetetus's work. This means that it was Theaetetus's work on irrational lengths which is described in the Book X, thought by many to be the finest work of the Elements. Pappus wrote in the introduction to his commentary to Book X of Euclid's Elements (see for example ):-
The aim of Book X of Euclid's treatise on the "Elements" is to investigate the commensurable and the incommensurable, the rational and irrational continuous quantities. This science has its origin in the school of Pythagoras, but underwent an important development in the hands of the Athenian, Theaetetus, who is justly admired for his natural aptitude in this as in other branches of mathematics. One of the most gifted of men, he patiently pursued the investigation of truth contained in these branches of science ... and was in my opinion the chief means of establishing exact distinctions and irrefutable proofs with respect to the above mentioned quantities.
Pappus tells us, therefore, that Theaetetus was inspired by the work of Theodorus to work on incommensurables and that he made major contributions to the theory. In Heath's translation, see for example , (we repeat in a slightly different form part of the above quotation by Pappus) the theory of irrationals:-
... was considerably developed by Theaetetus the Athenian, who gave proof, in this part of mathematics as in others, of ability which has been justly admired. ... As for the exact distinctions of the above-named magnitudes and the rigorous demonstrations of the propositions to which this theory gives rise, I believe that they were chiefly established by this mathematician. For Theaetetus had distinguished square roots commensurable in length from those which are incommensurable, and who divided the more generally known irrational lines according to the different means, assigning the medial line to geometry, the binomial to arithmetic and the apotome to harmony, as stated by Eudemus...
B L van der Waerden argues in  that Book X of the Elements is entirely the work of Theaetetus. He writes:-
Has the same Theaetetus who studied the medial, the binomial, and the apotome, also defined and investigated the ten other irrationalities, or were they introduced later on? It seems to me that all this is the work of one mathematician. For the study of the 13 irrationalities is a unit. The same fundamental idea prevails throughout the book, the same methods of proof are applied in all cases. ... Hence the entire book is the work of Theaetetus.
However, as Bulmer-Thomas points out in , van der Waerden's argument only holds up if we assume that Euclid has not done a lots of work in unifying the methods and giving a consistent approach to the work of Book X. Bulmer-Thomas prefers the conjecture that although Book X is based on Theaetetus's work there is much due to Euclid presented there too.
Plato, writing in his work Theaetetus, has Theaetetus describe how he came to generalise Theodorus's proof that √3, √5, ..., √17 were irrational (see for example ):-
The idea occurred to the two of us [Theaetetus and the younger Socrates], seeing that these square roots appeared to be unlimited in multitude, to try to arrive at one collective term by which we could designate all these roots. ... We divided number in general into two classes. The number which can be expressed as equal multiplied by equal we likened to a square in form, and we called it square ... The intermediate number, such as three, five, and any number which cannot be expressed as equal multiplied by equal ... we likened to an oblong figure and called it an oblong number...
In , however, Paiow argues that Theodorus had a general method and only presented the particular cases for pedagogical reasons. If his arguments are valid then, of course, Theaetetus would not be the first to prove the general result.
Theaetetus is also thought to be the author of the theory of proportion which appears in Eudoxus's work.
Theaetetus was the first to study the octahedron and the icosahedron and it is believed that Book XIII of Euclid's Elements is based on his work. A comment (thought to be due to Geminus) states :-
... the five so-called Platonic figures which, however, do not belong to Plato, three of the five being due to the Pythagoreans, namely the cube, the pyramid, and the dodecahedron, while the octahedron and the icosahedron are due to Theaetetus.
We quoted from Pappus above where he described Theaetetus's work on the medial, the binomial, and the apotome. Given two magnitudes a, b the medial is ab, the binomial is a + b, and the apotome is a - b. It is easy to see that the medial and the binomial are closely related to the geometric mean and the arithmetic mean respectively. What is much less clear is how the apotome is a - b is related to the modern harmonic mean.
Article by: J J O'Connor and E F Robertson