2.17 Perpendicolare con compasso di raggio fissato

L'angolo GAF è retto per III31. Dunque la retta AG è perpendicolare alla retta l.

Neue Materialien