# Tissot's indicatrix

In cartography, a Tissot's indicatrix (Tissot indicatrix, Tissot's ellipse, Tissot ellipse, ellipse of distortion) (plural: "Tissot's indicatrices") is a mathematical contrivance presented by French mathematician Nicolas Auguste Tissot in 1859 and 1871 in order to characterize local distortions due to map projection. It is the geometry that results from projecting a circle of infinitesimal radius from a curved geometric model, such as a globe, onto a map. Tissot proved that the resulting diagram is an ellipse whose axes indicate the two principal directions along which scale is maximal and minimal at that point on the map.

A single indicatrix describes the distortion at a single point. Because distortion varies across a map, generally Tissot's indicatrices are placed across a map to illustrate the spatial change in distortion. A common scheme places them at each intersection of displayed meridians and parallels. These schematics are important in the study of map projections, both to illustrate distortion and to provide the basis for the calculations that represent the magnitude of distortion precisely at each point.

There is a one-to-one correspondence between the Tissot indicatrix and the metric tensor of the map projection coordinate conversion.[1]

## Description

Tissot's theory was developed in the context of cartographic analysis. Generally the geometric model represents the Earth, and comes in the form of a sphere or ellipsoid.

Tissot's indicatrices illustrate linear, angular, and areal distortions of maps:

• A map distorts distances (linear distortion) wherever the quotient between the lengths of an infinitesimally short line as projected onto the projection surface, and as it originally is on the Earth model, deviates from 1. The quotient is called the scale factor. Unless the projection is conformal at the point being considered, the scale factor varies by direction around the point.
• A map distorts angles wherever the angles measured on the model of the Earth are not conserved in the projection. This is expressed by an ellipse of distortion which is not a circle.
• A map distorts areas wherever areas measured in the model of the Earth are not conserved in the projection. This is expressed by ellipses of distortion whose areas vary across the map.

In conformal maps, where each point preserves angles projected from the geometric model, the Tissot's indicatrices are all circles of size varying by location, possibly also with varying orientation (given the four circle quadrants split by meridians and parallels). In equal-area projections, where area proportions between objects are conserved, the Tissot's indicatrices all have the same area, though their shapes and orientations vary with location. In arbitrary projections, both area and shape vary across the map.

## Mathematics

In the adjacent image, ABCD is a circle with unit area defined in a spherical or ellipsoidal model of the Earth, and A′B′C′D′ is the Tissot's indicatrix that results from its projection on the plane. Segment OA is transformed in OA′, and segment OB is transformed in OB′. Linear scale is not conserved along these two directions, since OA′ is not equal to OA and OB′ is not equal to OB. Angle MOA, in the unit area circle, is transformed in angle M′OA′ in the distortion ellipse. Because M′OA′  MOA, we know that there is an angular distortion. The area of circle ABCD is, by definition, equal to 1. Because the area of ellipse A′B′ is less than 1, a distortion of area has occurred.

In dealing with a Tissot indicatrix, different notions of radius come into play. The first is the infinitesimal radius of the original circle. The resulting ellipse of distortion will also have infinitesimal radius, but by the mathematics of differentials, the ratios of these infinitesimal values are finite. So, for example, if the resulting ellipse of distortion is the same size of infinitesimal as on the sphere, then its radius is considered to be 1. Lastly, the size that the indicatrix gets drawn for human inspection on the map is arbitrary. When a network of indicatrices is drawn on a map, they are all scaled by the same arbitrary amount so that their sizes are proportionally correct.

Like M in the diagram, the axes from O along the parallel and along the meridian may undergo a change of length and a rotation when projecting. It is common in the literature to represent scale along the meridian as h and scale along the parallel as k, for a given point. Likewise, the angle between meridian and parallel might have changed from 90° to some other value. Indeed, unless the map is conformal, all angles except the one subtended by the semi-major axis and semi-minor axis of the ellipse might have changed. A particular angle will have changed the most, and value of that maximum change is known as the angular deformation, denoted as θ′. Generally which angle that is and how it is oriented do not figure prominently in distortion analysis. It is the value of the change that is significant. The values of h, k, and θ′ can be computed as follows.[2]:24

{\displaystyle {\begin{aligned}h&={\frac {1}{R}}{\sqrt {{{\left({\frac {\partial x}{\partial \varphi }}\right)}^{2}}+{{\left({\frac {\partial y}{\partial \varphi }}\right)}^{2}}}}\\k&={\frac {1}{R\cos \varphi }}{\sqrt {{{\left({\frac {\partial x}{\partial \lambda }}\right)}^{2}}+{{\left({\frac {\partial y}{\partial \lambda }}\right)}^{2}}}}\\\sin \theta '&={\frac {1}{R^{2}hk\cos \varphi }}\left({{\frac {\partial y}{\partial \varphi }}{\frac {\partial x}{\partial \lambda }}-{\frac {\partial x}{\partial \varphi }}{\frac {\partial y}{\partial \lambda }}}\right)\\a'&={\sqrt {{h^{2}}+{k^{2}}+2hk\sin \theta '}}\\b'&={\sqrt {{h^{2}}+{k^{2}}-2hk\sin \theta '}}\\a&={\frac {a'+b'}{2}}\\b&={\frac {a'-b'}{2}}\\s&=hk\sin \theta '\\\omega &=2\arcsin \left({\frac {b'}{a'}}\right)\end{aligned}}}

where φ and λ are latitude and longitude, x and y are projected coordinates, and R is the radius of the globe.

As results, a and b represent the maximum and minimum scale factors at the point, which is the same thing as the semimajor and semiminor axes of the Tissot ellipse; s represents the amount of inflation or deflation in area (also given by ab); and ω represents the maximum angular distortion at the point.

For the Mercator projection, and any other conformal projection, h = k and θ′ = 90° so that each ellipse degenerates into a circle with the radius h = k being equal to the scale factor in any direction at that point.

For the sinusoidal projection, and any other equal-area projection, the semi-major axis of the ellipse is the reciprocal of the semi-minor axis so that every ellipse has the same area even though their eccentricities vary.

For arbitrary projections, neither the shape nor the area of the ellipses are related to each other in general.[3]

## Other distortion metrics

The averaged ratio between complementary profiles (AveRaComp), denoted ${\displaystyle {\tilde {\rho }}_{\mathrm {CP} }(i)}$, gives a good estimation to Tissot's ω.[4]

Firstly, planar grids (or cells) are constructed on projection plane(s), then the corners and center point of a given cell are transformed to a sphere (or Reference ellipsoid). The corners on the sphere are denoted P1, P2, P3 and P4, and the center on the sphere is denoted P.

${\displaystyle \omega \approx {\tilde {\rho }}_{\mathrm {CP} }(i)={\frac {{\tilde {\rho }}_{\mathrm {D3} }(i)+{\tilde {\rho }}_{\alpha }(i)}{2}}}$

where ${\displaystyle {\tilde {\rho }}_{\mathrm {D3} }(i)}$ represents the ratio between the diagonals and ${\displaystyle {\tilde {\rho }}_{\alpha }(i)}$ represents the angle between the diagonals.

{\displaystyle {\begin{aligned}{\tilde {\rho }}_{\mathrm {D3} }(i)&={\frac {\max \left(\left|{\overrightarrow {P_{1}P_{*}}}\right|+\left|{\overrightarrow {P_{*}P_{3}}}\right|,\left|{\overrightarrow {P_{2}P_{*}}}\right|+\left|{\overrightarrow {P_{*}P_{4}}}\right|\right)}{\min \left(\left|{\overrightarrow {P_{1}P_{*}}}\right|+\left|{\overrightarrow {P_{*}P_{3}}}\right|,\left|{\overrightarrow {P_{2}P_{*}}}\right|+\left|{\overrightarrow {P_{*}P_{4}}}\right|\right)}}\\{\tilde {\rho }}_{\alpha }(i)&=\cot \left({\frac {1}{2}}\arccos \left|{\frac {\overrightarrow {P_{1}P_{3}}}{\left|{\overrightarrow {P_{1}P_{3}}}\right|}}\cdot {\frac {\overrightarrow {P_{2}P_{4}}}{\left|{\overrightarrow {P_{2}P_{4}}}\right|}}\right|\right)\end{aligned}}}

where i is the index of a given cell on the sphere (or reference ellipsoid) from 1 to N, N is the number of cells, and ${\displaystyle {\overrightarrow {P_{s}P_{t}}}}$ is a vector connecting points Ps and Pt.

AveRaComp gives a simple form (via five-point cells, without differential calculus) to represent map distortions. It can also be used to evaluate non-map-projection-based direct spherical subdivision (by using great circle arcs to subdivide a sphere).