The other systems

What one oblique drawing shows

A parallel projection is a linear map from three dimensions to two, so it has a direction it throws away. Slide any point along that direction and its mark does not move — which makes every parallel drawing the drawing of a three-parameter family of solids, and the depth scale a convention chooses is one direction through the family rather than a boundary of it.

Worth reading first: Oblique is a shear, and the shear is the whole system · Parallel projection is not primitive perspective.

A cabinet drawing of a box shows the front face at true size and the depth axis at half length and forty-five degrees. Ask what solid it is a drawing of, and the answer people give is that box, with its depth halved for the look of the thing.

The answer is a three-parameter family, and the box is one member of it.

One cabinet drawing, two solidsThe drawing does not move: the sheared solid's marks are 0e+0 px from the original's, at every vertex. A parallel projection has a one-dimensional kernel — here the direction (0.316, 0.316, -0.894) — and adding any multiple of it to any point changes nothing on the page. The plan at the left shows what has actually happened: a vertex has moved 0.40 of an edge.plan: two different solidsthe picture, unmoved to 0e+0 pxcabinetkernel (0.32, 0.32, -0.89)
Fig. 1 One cabinet drawing and two solids that produce it. The picture is identical for both; the plan at the left shows what has changed.
One cabinet drawing, two solidsThe drawing does not move: the sheared solid's marks are 0e+0 px from the original's, at every vertex. A parallel projection has a one-dimensional kernel — here the direction (0.316, 0.316, -0.894) — and adding any multiple of it to any point changes nothing on the page. The plan at the left shows what has actually happened: a vertex has moved 0.50 of an edge.plan: two different solidsthe picture, unmoved to 0e+0 pxcabinetkernel (0.32, 0.32, -0.89)
Fig. 2 The family run the other way. The picture is the same picture; the plan shows a solid leaning the opposite direction.

The direction a drawing throws away

A parallel projection is a linear map from three dimensions to two. It takes a point (x, y, z) to two numbers, each of them a fixed linear combination of the three, and the whole of the system — isometric, cavalier, cabinet, military, front elevation — is which combinations.

A linear map from three dimensions to two has a kernel: a one-dimensional set of directions it sends to nothing. Add any multiple of a kernel vector to any point and both output numbers are unchanged. The mark does not move.

For an orthographic system the kernel is the viewing direction, which is the obvious answer and is why nobody thinks about it. For an oblique system it is not the viewing direction — there is no viewing direction, because nothing is being viewed — it is the direction of the slanted ray the construction draws along. That is the exact content of oblique is a shear: the construction picks a ray direction by decree rather than by turning the object, and the ray direction is the kernel.

The kernels are computable from the drawing alone, without knowing which system it is. The three drawn axes are the columns of a 2 × 3 matrix, and the kernel is that matrix’s null vector. For the five systems this site implements:

  • cabinet: (0.3162, 0.3162, −0.8944)
  • cavalier: (0.5000, 0.5000, −0.7071)
  • isometric: (0.5774, −0.5774, −0.5774)
  • dimetric: (0.3333, −0.3333, −0.8819)
  • military: (−0.3536, 0.7071, −0.6124)

Each of them is one direction in the room along which the drawing is blind.

A parallel projection is a perspective one with the eye taken awayThe four small boxes are photographs from 2.5 m, 6 m, 20 m, 200 m with the lens lengthened to match. The isometric drawing is the limit, and its bundles stay parallel to 0e+0 radians.isometric — the limit2.5 m6 m20 m200 msame box, same drawn sizethe eye recedes
Fig. 3 What a parallel drawing does not have: a point it is correct from. Fitting a centre to its rays gives an answer that runs away as the fit is refined.

A blind direction is a family

Blindness along one direction does not mean one free number per point. It means a whole family of maps, and the family is bigger than it looks.

Let k be the kernel direction and w any row of three numbers. The transformation

S=(I+kwT)SS' = \bigl(I + k\,w^{\mathsf{T}}\bigr)\,S

moves every point of a solid by a multiple of k, with the multiple depending linearly on where the point was. Applying the drawing’s map to S′ gives exactly the drawing’s map applied to S, because everything added was in the kernel. So every choice of w — three numbers — gives a different solid with the identical picture.

Checked, over four systems and several w: every vertex of every sheared solid redraws within a few parts in ten thousand million million of a unit of where the original’s went, while a vertex has moved by nearly half an edge length in the room. The picture is unchanged and the solid is not.

Three parameters, then, not one. That is worth insisting on because the usual mental picture of the ambiguity is a slider — the depth could be anything — and a slider is one parameter. The other two are shears: a solid whose top has been slid sideways relative to its bottom, or whose right-hand end has been slid relative to its left, redraws identically too. A cabinet drawing of a rectangular box is equally a drawing of a leaning parallelepiped.

The midpoint of one segment, under both familiesThe parallel projection places it exactly halfway (0e+0 px out). The perspective projection places it 22 px away from halfway, 7% of the drawn length.halfway along the drawn linethe actual midpointcorrect from 26 cm, at 160 mm wide22 px apart
Fig. 4 The property that survives the whole family: a parallel projection takes the midpoint of a segment to the midpoint of its image, and a perspective one does not.

What the half is, and is not

Cabinet halves the depth axis and cavalier does not. Both are drawings of the same three-parameter family; the family does not know about the convention, because the convention is a choice of which member to draw as though it were the object.

So the half is not a claim about the solid. It cannot be: no drawing in the family is more correct than any other, and there is no measurement on the paper that separates them.

What the half is a claim about is the reader. Cavalier’s full-length depth axis makes a cube look too deep — the drawn depth is as long as the drawn width while the eye expects foreshortening — and cabinet’s half was chosen to fix that. That is a statement about how a picture is looked at, and this site has said since its foundation that it computes the geometry of pictures and has no standing on how they are perceived. The sentence stops there deliberately.

What the geometry can say is what the choice costs, and it costs the one thing an oblique drawing was built to buy. Oblique is a shear shows that frontal fidelity and depth length obey r² + s² = 1 under any orthographic projection, so a front face at true size forces the depth axis to vanish — and that the oblique systems escape the identity by paying an obliquity. Cavalier pays 45° and gets both. Cabinet pays the same obliquity, keeps the front face, and then throws half the depth away by hand, which buys nothing geometric at all. It is a drawing decision applied after the geometry has been settled, and the honest description of a cabinet drawing is a cavalier drawing with the depth axis rescaled for the reader.

One cube in 5 parallel drawing systemsEvery one preserves midpoints exactly. What separates them is the axis scales, printed beneath each — isometric's are all 0.8165, which is equal and is not 1. cabinet's are 1.000, 1.000 and 0.500.elevationx 1.000y 1.000z 0.000cabinetx 1.000y 1.000z 0.500cavalierx 1.000y 1.000z 1.000isometricx 0.816y 0.816z 0.816militaryx 1.000y 1.000z 1.000axis scales measured from the drawingall 5 preserve midpoints
Fig. 5 The same box in five systems with the axis scales measured under each. Cabinet and cavalier differ in one number and share an obliquity.
Moving the object, in both familiesThe same box, in place and translated 3.2 m across the world. In the parallel drawing the second image is the first translated by 153.8 px and nothing else — every edge the same length to 1e-14 px. In the perspective drawing the edge lengths change by up to 87.2%, because the direction from the eye has changed and a projection through a centre depends on it.horizoncabinet — the same drawing, movedperspective — a different drawingcorrect from 23 cm, at 160 mm wideparallel: 1e-14 px · perspective: 87.2%
Fig. 6 Translation invariance, which is the other half of the same linearity. Slide the object and the drawing is the same drawing, translated.
One dimetric drawing, two solidsThe drawing does not move: the sheared solid's marks are 0e+0 px from the original's, at every vertex. A parallel projection has a one-dimensional kernel — here the direction (0.333, -0.333, -0.882) — and adding any multiple of it to any point changes nothing on the page. The plan at the left shows what has actually happened: a vertex has moved 0.45 of an edge.plan: two different solidsthe picture, unmoved to 0e+0 pxdimetrickernel (0.33, -0.33, -0.88)
Fig. 7 Dimetric’s family. The kernel is different again and the picture is again unmoved, which is the point: the freedom belongs to every parallel system rather than to the oblique ones.

What one drawing does determine

The list of what survives is short and it is not empty.

Parallelism. A linear map takes parallel lines to parallel lines, so anything drawn parallel really is parallel in every member of the family. This is the property that makes a parallel drawing readable at all.

Ratios along a line. The midpoint of a segment images to the midpoint of its image, and the same for any ratio — that is what a parallel projection preserves and perspective does not. So a drawn segment divided in a stated ratio is divided in that ratio in the room, in every member of the family.

Ratios of parallel lengths. Two segments drawn parallel have their true length ratio on the paper, whatever the direction, because they are scaled by the same factor.

And nothing metric. Lengths in different directions, angles, areas, volumes: none of them. The family contains solids of different volumes and different shapes, and every one of them draws the same picture.

That list is precisely the affine invariants, which is what a linear map preserves and is exactly what should be expected. The interesting part is that it is available without choosing a member of the family — a reader can take a ratio off a parallel drawing and be right about the solid without knowing which solid it is.

One cavalier drawing, two solidsThe drawing does not move: the sheared solid's marks are 0e+0 px from the original's, at every vertex. A parallel projection has a one-dimensional kernel — here the direction (0.500, 0.500, -0.707) — and adding any multiple of it to any point changes nothing on the page. The plan at the left shows what has actually happened: a vertex has moved 0.55 of an edge.plan: two different solidsthe picture, unmoved to 0e+0 pxcavalierkernel (0.50, 0.50, -0.71)
Fig. 8 Cavalier’s family. Its kernel is at forty-five degrees to the picture plane’s normal and the shear it permits is correspondingly different from cabinet’s.

The kernel is not the viewing direction, and the difference is measurable

It is worth separating the two, because they coincide for half the systems here and the coincidence hides what is going on.

For an orthographic system the projection rays are perpendicular to the picture plane, so the kernel is the direction the rays run and also the direction from which the object is being seen. Isometric’s kernel above, (0.5774, −0.5774, −0.5774), is the body diagonal, and that is the direction an isometric view is taken from.

For an oblique system the rays are not perpendicular to the picture plane. The kernel is still the ray direction — it is still what the drawing throws away — but it is not the direction from which anything is being viewed, because the picture plane is fixed and the rays run across it at an angle. Cabinet’s kernel, (0.3162, 0.3162, −0.8944), is not the normal of anything in the drawing.

The measurable consequence is the identity the axonometric ladder is built on. An orthographic system’s three axis scales have squares summing to two; an oblique system’s do not, and the departure is the tangent of the angle between the ray direction and the picture plane’s normal. So the two families are separated by a number computed from the drawn axes alone, and the number is exactly a statement about where the kernel sits relative to the paper.

Two drawings with the same kernel and different obliquities are impossible; two with different kernels and the same three axis scales are not. The kernel is the more fundamental object and it is the one nobody names.

The family two parallel views leave, and the one member that is the sceneEvery point of this curve is a solid that redraws both pictures to 7e-16 m. The curve is how far each is from being the scene, as a stretch ratio: 1 means the same shape in another frame, and the family runs from 1.00 to 8.59. It touches 1 exactly once, and nothing in the two pictures says where.2468-1-0.50000.5001position along the family the two pictures leave freehow far the solid is from the scene's own shape (stretch ratio)the sceneevery member redraws both pictures to 7e-16 mthe ambiguity is a family of solids, not a tolerance
Fig. 9 What two parallel views leave: a one-parameter relief family whose members redraw both pictures, with the reflection surviving any number of them.
Three views, and two solids that draw themA stepped block with a hole on a 6-cell grid. The three views along the top are drawn by the 192-cell solid on the left and by the 64-cell solid on the right — every filled square in every one of the three views is filled by both. The views bound the solid and do not determine it.front view · 32 filledtop view · 36 filledside view · 36 filledthe largest solid with these views — 192 cellsand a solid with the same views — 64 cells6 × 6 × 6 cellsthe three views are identical; the solids differ by 128 cells
Fig. 10 What three orthographic views leave, which is a visual hull rather than a solid. Adding views closes the metric and never removes the reflection.

Two drawings do not close it either

The obvious repair is a second view, and it does less than it should.

What two parallel views leave free works this out: the metric upgrade has six unknowns, two parallel views supply six equations, and the system comes out rank five. One parameter survives — a relief family whose members redraw both pictures — and a mirror image survives any number of views at all.

So the progression is: one parallel view leaves three parameters, two leave one, three close the metric and never remove the reflection. Every step of that is a statement about a linear map’s kernel and about how many kernels can be intersected, and none of it is available to a single perspective view, which has no kernel and a different set of problems.

cabinet: the drawn axes, and the cube they are a picture ofThe three vectors on the left are the whole input. The cube on the right, its edge of 1.0000 and the projection direction 26.5651° off the picture plane's normal all come out of them in closed form, and projecting that cube along that direction reproduces the drawn axes to 2e-16.what was drawnthe solid it depicts — reading 1 of 2xyzlooked at 26.57° off the normalcube edge 1.0000 of the drawn unitresidual 2e-16
Fig. 11 Pohlke’s theorem carried out: told that three drawn axes are a cube’s, the recovery returns the cube and the obliquity in closed form.

What does close it, which is not a picture

The thing that turns one parallel drawing into a solid is not another drawing. It is a statement about the object.

Pohlke’s theorem is the extreme case. Any three segments drawn from a point are the parallel projection of three equal perpendicular segments — so a drawing consisting of three axes, told that the three axes are a cube’s, determines the cube up to a similarity, and the recovery returns it in closed form. Not because the drawing said more, but because “they are equal and perpendicular” is three equations the drawing did not have.

The general form of that is the correspondence: knowing which drawn edge runs along which world axis. Supply it and a whole solid comes back out of one drawing exactly, which is what the drawing that gives the solid back is about. Withhold it and the family is as wide as it was.

This is the honest statement of what a working drawing is. It is not a picture that determines a solid; it is a picture plus a convention plus dimensions, and the convention and the dimensions are doing arithmetic that the picture cannot.

One military drawing, two solidsThe drawing does not move: the sheared solid's marks are 1e-14 px from the original's, at every vertex. A parallel projection has a one-dimensional kernel — here the direction (-0.354, 0.707, -0.612) — and adding any multiple of it to any point changes nothing on the page. The plan at the left shows what has actually happened: a vertex has moved 0.45 of an edge.plan: two different solidsthe picture, unmoved to 1e-14 pxmilitarykernel (-0.35, 0.71, -0.61)
Fig. 12 The military projection’s family. The plan is drawn true, so no member of the family can move a horizontal distance and the freedom is entirely vertical.

The one system whose family a ruler can navigate

There is an exception worth stating, because it is the reason the military projection keeps turning up in this field.

A planometric drawing draws the ground plan at true scale and true angles, with the verticals standing up from it at true length. Its kernel is a slanted direction like any oblique system’s, so the three-parameter family is there — but the family acts on the height coordinate and leaves the plan alone, because the plan’s two coordinates are drawn without distortion and no member of the family can move them.

So a military drawing determines every horizontal distance and every horizontal angle in the object, exactly, with a ruler and a protractor and no further information. What it leaves free is what happens vertically, and a single stated height closes that.

That is a genuinely different situation from cabinet or isometric, where a ruler on the drawing gives a length only along the axes and gives it wrongly everywhere else by up to a quarter. The military projection’s family is smaller in the way that matters, and it is why fortification drawings used it for three centuries.

What the second reading costs, against how close the eye isA parallel drawing sits at the origin: the reversed reading is a cube, exactly, and nothing in the picture rules it out. A perspective drawing rules it out at a rate exactly inverse in the eye's distance — 0.33° at 128 m and 22.07° at 2.2 m — and never at all.010200.1000.2000.3000.4001 / distance from the eye to the box (per metre)worst angle between edges the box has parallel (°)parallel projection: 0.000°55° at the near endthe line through the origin is the inverse law
Fig. 13 The near–far reversal, priced. In a parallel drawing the two readings are exactly equally supported; in a perspective one they are not, by an amount that grows as the eye comes in.

Where the family shows up on the paper

There is one place a reader can see the family without being told about it, and it is a familiar irritation.

An oblique drawing of a box has a corner that can be read two ways — near-top-left or far-bottom-right — and the reading flips as one looks at it. The drawing does not say which corner is nearer computes the ambiguity: in a parallel drawing the two readings are exactly equally supported, and in a perspective drawing they are not, by an amount that grows as the eye comes in.

The reversal is a member of the family. Reflecting a solid in a plane perpendicular to the kernel and translating along the kernel gives a solid whose drawing is identical, and it is the near–far swap. So the visual bistability is not a psychological curiosity sitting on top of a determinate geometry; it is a reader oscillating between two members of a family that the drawing genuinely does not distinguish. What the reader is doing wrong is expecting the picture to decide.

One isometric drawing, two solidsThe drawing does not move: the sheared solid's marks are 0e+0 px from the original's, at every vertex. A parallel projection has a one-dimensional kernel — here the direction (0.577, -0.577, -0.577) — and adding any multiple of it to any point changes nothing on the page. The plan at the left shows what has actually happened: a vertex has moved 0.55 of an edge.plan: two different solidsthe picture, unmoved to 0e+0 pxisometrickernel (0.58, -0.58, -0.58)
Fig. 14 An isometric drawing sheared along its own kernel. The picture is unmoved; the plan shows a solid that is no longer a box.
One cube in 5 parallel drawing systemsEvery one preserves midpoints exactly. What separates them is the axis scales, printed beneath each — isometric's are all 0.8165, which is equal and is not 1. cavalier's are 1.000, 1.000 and 1.000.elevationx 1.000y 1.000z 0.000cabinetx 1.000y 1.000z 0.500cavalierx 1.000y 1.000z 1.000isometricx 0.816y 0.816z 0.816militaryx 1.000y 1.000z 1.000axis scales measured from the drawingall 5 preserve midpoints
Fig. 15 The five systems with their axis scales, so that the kernels quoted above can be read against the drawings they belong to.

A note on which drawings this covers

Everything above is about a single parallel drawing of a solid, with no dimensions, no section, no second view and no statement about what the object is. That is a smaller thing than a working drawing and a larger thing than a sketch, and it is the object this rung is about.

Add anything and the family shrinks. A dimension along one axis kills one parameter. A second view kills two. A note saying “all faces rectangular” kills three and leaves a scale. The point of measuring the family is not that drawings are useless — it is that everything which makes a drawing usable is doing measurable work, and it is possible to say exactly how much.

One isometric drawing, two solidsThe drawing does not move: the sheared solid's marks are 0e+0 px from the original's, at every vertex. A parallel projection has a one-dimensional kernel — here the direction (0.577, -0.577, -0.577) — and adding any multiple of it to any point changes nothing on the page. The plan at the left shows what has actually happened: a vertex has moved 0.30 of an edge.plan: two different solidsthe picture, unmoved to 0e+0 pxisometrickernel (0.58, -0.58, -0.58)
Fig. 16 An isometric drawing sheared the other way. Every mark unmoved, every vertex of the plan somewhere else.

Exhibiting the family rather than describing it

This site’s rule about ambiguity is that a claim of the form this input does not determine that output is worth nothing unless the family can be produced and walked along. Describing a free parameter is cheap; showing two members and demonstrating that their pictures agree is the claim.

So the figures above are not illustrations of the argument, they are the argument. Each one takes a solid, applies a stated shear along the computed kernel, redraws through the same projector, and reports the largest disagreement between the two sets of marks. It is a few parts in ten thousand million million of a unit — the two pictures are the same picture to the last bit a double can hold — while a vertex has moved almost half an edge length in the plan beside it.

Both halves are required and the second is the one that is easy to leave out. A family whose members all redraw identically and are all the same solid is not a family, and a check that only measured the redrawing would pass for the trivial shear. The generators assert both, and the convergence gate re-asserts them at four systems rather than one, because a kernel computed correctly for isometric and wrongly for cabinet would be caught by nothing else.

A dimensioned drawing is the solidEvery edge of the block runs along a world axis, and the drawn axes are scaled copies of those axes — so walking the edge graph from one corner gives every vertex back, to 1e-16 of a unit. The apex is joined by nothing axis-parallel: it slides 0.50 along the projection's kernel and its mark does not move by 3e-14 px. What closes a single parallel view is not a second view, it is the correspondence.plan: the apex has movedfree along the kernelisometricrecovered to 1e-16
Fig. 17 The other side of the same kernel, which the last essay of this row is about: a vertex with no axis-parallel edge slides along it freely, and its mark does not move.
One cabinet drawing, two solidsThe drawing does not move: the sheared solid's marks are 0e+0 px from the original's, at every vertex. A parallel projection has a one-dimensional kernel — here the direction (0.316, 0.316, -0.894) — and adding any multiple of it to any point changes nothing on the page. The plan at the left shows what has actually happened: a vertex has moved 0.70 of an edge.plan: two different solidsthe picture, unmoved to 0e+0 pxcabinetkernel (0.32, 0.32, -0.89)
Fig. 18 A larger shear, to make the point that the family is unbounded: nothing in the drawing limits how far a solid can be pushed along the kernel.

The form that transfers

A projection’s kernel is a family, and the family has as many parameters as the projection has ways of being blind — which is more than one.

The number that catches people out is three rather than one, and the reason is that the blindness is along a direction, and how far along can depend on where the point started. A slider corresponds to the case where it does not — a uniform slide, one parameter — and that is the case everybody pictures. The other two parameters are the cases where the slide varies linearly across the object, and they produce solids that are not merely deeper or shallower but sheared, and a sheared box is a perfectly good solid that nobody thinks to consider.

That miscount is the same one what two parallel views leave free records from the other end, where an earlier draft of that essay claimed two parallel views determine the metric upgrade and the rank came out five. Both times the error was in assuming that a constraint removes as many parameters as it looks like it should, and both times the fix was to count the kernel rather than to reason about it.

What links here

Computed from the collection, not written here: the essays that point at this one.

Shares its objects with

Essays that name at least two of the same things, and that neither author linked.

Named objects

A flat tag is an object no other essay names yet.

Affine mapdegrees of freedomDepth cueDrawing systemFree parameterMidpointOblique projectionParallel projectionProjective invariancereconstruction ambiguity