Ladder

Rectify — the ladder

2 distinct arguments against one idea, from the one that introduces it to the one that assumes the rest.
  1. the picturethe same plane, rectifieddoor — 0.5068 widths (true 0.5068)sill — 0.3026 widths (true 0.3026)diagonal — 1.1766 widths (true 1.1766)worst error 4e-16 relativethe probes were not used to build the map

    Flattening a façade out of the photograph

    Four corners of a rectangle whose proportions are known are enough to undo the projection of one plane. After that the plane can be measured with a ruler — lengths, angles, areas, all of it — in units of the rectangle's own width, and lengths the map was never given come back to fifteen digits.

    rung 1 · metrology
  2. the picturethe same plane, rectifiedacross — 0.6000 widths (true 0.6000)along — 0.7667 widths (true 0.7667)diagonal — 1.2023 widths (true 1.2023)worst error 1e-15 relativethe probes were not used to build the map

    The plan hidden in the photograph

    Rectifying the ground is the same operation as rectifying a wall, and it turns a photograph into a site plan. The horizon is not an input to it and comes out as a consequence — the plan's points at infinity land on it, at first order, which is the check that the plan is a plan and not a plausible warp.

    rung 2 · metrology

All ladders