Pohlke's theorem

From HandWiki

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

Pohlke's theorem
  • Three arbitrary line sections [math]\displaystyle{ \overline O\overline U,\overline O\overline V,\overline O\overline W }[/math] in a plane originating at point [math]\displaystyle{ \overline O }[/math], which are not contained in a line, can be considered as the parallel projection of three edges [math]\displaystyle{ OU,OV,OW }[/math] of a cube.

For a mapping of a unit cube, one has to apply an additional scaling either in the space or in the plane. Because a parallel projection and a scaling preserves ratios one can map an arbitrary point [math]\displaystyle{ P=(x,y,z) }[/math] by the axonometric procedure below.

Pohlke's theorem can be stated in terms of linear algebra as:

  • Any affine mapping of the 3-dimensional space onto a plane can be considered as the composition of a similarity and a parallel projection.[1]

Application to axonometry

the principle of axonometric projection

Pohlke's theorem is the justification for the following easy procedure to construct a scaled parallel projection of a 3-dimensional object using coordinates,:[2][3]

  1. Choose the images of the coordinate axes, not contained in a line.
  2. Choose for any coordinate axis forshortenings [math]\displaystyle{ v_x,v_y,v_z \gt 0 . }[/math]
  3. The image [math]\displaystyle{ \overline P }[/math] of a point [math]\displaystyle{ P=(x,y,z) }[/math] is determined by the three steps, starting at point [math]\displaystyle{ \overline O }[/math]:
go [math]\displaystyle{ v_x\cdot x }[/math] in [math]\displaystyle{ \overline x }[/math]-direction, then
go [math]\displaystyle{ v_y\cdot y }[/math] in [math]\displaystyle{ \overline y }[/math]-direction, then
go [math]\displaystyle{ v_z\cdot z }[/math] in [math]\displaystyle{ \overline z }[/math]-direction and
4. mark the point as [math]\displaystyle{ \overline P }[/math].

In order to get undistorted pictures, one has to choose the images of the axes and the forshortenings carefully (see Axonometry). In order to get an orthographic projection only the images of the axes are free and the forshortenings are determined. (see :de:orthogonale Axonometrie).

Remarks on Schwarz's proof

Schwarz formulated and proved the more general statement:

and used a theorem of L’Huilier:

  • Every triangle can be considered as the orthographic projection of a triangle of a given shape.

Notes

  1. G. Pickert: Vom Satz von Pohlke zur linearen Algebra, Didaktik der Mathematik 11 (1983), 4, pp. 297–306.
  2. Ulrich Graf, Martin Barner: Darstellende Geometrie. Quelle & Meyer, Heidelberg 1961, ISBN:3-494-00488-9, p.144.
  3. Roland Stärk: Darstellende Geometrie, Schöningh, 1978, ISBN:3-506-37443-5, p.156.
  4. Sklenáriková, Zita; Pémová, Marta (2007). "The Pohlke–Schwarz Theorem and its Relevancy in the Didactics of Mathematics". Quaderni di Ricerca in Didattica (G.R.I.M. (Department of Mathematics, University of Palermo, Italy)) (17): 155. http://math.unipa.it/~grim/quad17_sklenarikova-pemova_07.pdf. 

References

  • K. Pohlke: Zehn Tafeln zur darstellenden Geometrie. Gaertner-Verlag, Berlin 1876 (Google Books.)
  • Schwarz, H. A.:Elementarer Beweis des Pohlkeschen Fundamentalsatzes der Axonometrie,J. reine angew. Math. 63, 309–314, 1864.
  • Arnold Emch: Proof of Pohlke's Theorem and Its Generalizations by Affinity, American Journal of Mathematics, Vol. 40, No. 4 (Oct., 1918), pp. 366–374

External links