Ruler-Compass "Construction" of Verify the end result of the following details of...

Ruler-Compass "Construction" of Verify the end result of the following details of a compass/straight-edge construction for a very close approximation to π. Let be a line segment having unit length, and let line be perpendicular to , with AC = AB(= 1). The remaining steps are as follows:

EUCLIDEAN “CONSTRUCTION” FOR π

NOTE: This construction was discovered in 1849 by a German mathematician, Jakob de Gelder. It makes use of the Chinese approximation of 480 C.E. mentioned above.