Pohlke's theorem


Pohlke's theorem is the fundamental theorem of axonometry. It was established 1853 by the German painter and teacher of descriptive geometry Karl Wilhelm Pohlke. The first proof of the theorem was published 1864 by the German mathematician Hermann Amandus Schwarz, who was a student of Pohlke. Therefore the theorem is sometimes called theorem of Pohlke and Schwarz, too.

The theorem

For a mapping of a unit cube, one has to apply an additional scaling either in the space or in the plane. Because a parallprojection and a scaling preserves ratios one can map an arbitrary point by the axonometric procedure below.
Pohlke's theorem can be stated in terms of linear algebra as:
Pohlke's theorem is the justification for the following easy procedure to construct a scaled parallel projection of a 3-dimensional object using coordinates,:
  1. Choose the images of the coordinate axes, not contained in a line.
  2. Choose for any coordinate axis forshortenings
  3. The image of a point is determined by the three steps, starting at point :
In order to get undistorted pictures, one has to choose the images of the axes and the forshortenings carefully. In order to get an orthographic projection only the images of the axes are free and the forshortenings are determined..

Remarks on Schwarz's proof

Schwarz formulated and proved the more general statement:
and used a theorem of L’Huilier: