Google ClassroomGoogle Classroom
GeoGebraClasse GeoGebra

Euclid's Third Proposition in the Poincaré Disk

Euclid's Third Proposition in the Poincaré Disk To cut off from the greater of two given unequal straight lines a straight line equal to the less. (Feel free to adjust the length of C and move points A, B, and D) Let AB and C be the two given unequal straight lines, and let AB be the greater of them. It is required to cut off from AB the greater a straight line equal to C the less. Place AD at the point A equal to the straight line C, and describe the circle DEF with center A and radius AD. Now, since the point A is the center of the circle DEF, therefore AE equals AD. But C also equals AD, therefore each of the straight lines AE and C equals AD, so that AE also equals C. Therefore, given the two straight lines AB and C, AE has been cut off from AB the greater equal to C the less.