[909] Reductionszirkel, der Proportionalzirkel, in so fern er zur Reduction von Figuren gebraucht wird.