Greek geometry, as also Greek astronomy, begins with Thales (about 624-547 B. C.), who travelled in Egypt and is said to have brought geometry from thence. Such geometry as there was in Egypt arose out of practical needs. Revenue was raised by the taxation of landed property, and its assessment depended on the accurate fixing of the boundaries of the various holdings. When these were removed by the periodical flooding due to the rising of the Nile, it was necessary to replace them, or to determine the taxable area independently of them, by an art of land-surveying. We conclude from the Papyrus Rhind (say 1700 B. C.) and other documents that Egyptian geometry consisted mainly of practical rules for measuring, with more or less accuracy, (1) such areas as squares, triangles, trapezia, and circles, (2) the solid content of measures of corn, &c., of different shapes. The Egyptians also constructed pyramids of a certain slope by means of arithmetical calculations based on a certain ratio, _se-qeṭ_, namely the ratio of half the side of the base to the height, which is in fact equivalent to the co-tangent of the angle of slope. The use of this ratio implies the notion of similarity of figures, especially triangles. The Egyptians knew, too, that a triangle with its sides in the ratio of the numbers 3, 4, 5 is right-angled, and used the fact as a means of drawing right angles. But there is no sign that they knew the general property of a right-angled triangle (= Eucl. I. 47), of which this is a particular case, or that they proved any general theorem in geometry. No doubt Thales, when he was in Egypt, would see diagrams drawn to illustrate the rules for the measurement of circles and other plane figures, and these diagrams would suggest to him certain similarities and congruences which would set him thinking whether there were not some elementary general principles underlying the construction and relations of different figures and parts of figures. This would be in accord with the Greek instinct for generalization and their wish to be able to account for everything on rational principles. The following theorems are attributed to Thales: (1) that a circle is bisected by any diameter (Eucl. I, Def. 17), (2) that the angles at the base of an isosceles triangle are equal (Eucl. I. 5), (3) that, if two straight lines cut one another, the vertically opposite angles are equal (Eucl. I. 15), (4) that, if two triangles have two angles and one side respectively equal, the triangles are equal in all respects (Eucl. I. 26). He is said (5) to have been the first to inscribe a right-angled triangle in a circle, which must mean that he was the first to discover that the angle in a semicircle is a right angle (cf. Eucl. III. 31).