Snellius–Pothenot problem

From Infogalactic: the planetary knowledge core
Jump to: navigation, search

Lua error in package.lua at line 80: module 'strict' not found.

Lua error in package.lua at line 80: module 'strict' not found.

The Snellius–Pothenot problem is a problem in planar surveying. Given three known points A, B and C, an observer at an unknown point P observes that the segment AC subtends an angle \alpha and the segment CB subtends an angle \beta; the problem is to determine the position of the point P. (See figure; the point denoted C is between A and B as seen from P).

Since it involves the observation of known points from an unknown point, the problem is an example of resection. Historically it was first studied by Snellius, who found a solution around 1615.

Formulating the equations

First equation

Denoting the (unknown) angles CAP as x and CBP as y we get:

x+y = 2 \pi - \alpha - \beta - C

by using the sum of the angles formula for the quadrilateral PACB. The variable C represents the (known) internal angle in this quadrilateral at point C. (Note that in the case where the points C and P are on the same side of the line AB, the angle C will be greater than \pi).

Second equation

Applying the law of sines in triangles PAC and PBC we can express PC in two different ways:

\frac{\rm{AC} \sin x }{\sin \alpha} = \rm{PC} = \frac{\rm{BC} \sin y}{\sin \beta}.

A useful trick at this point is to define an auxiliary angle \phi such that

\tan \phi = \frac{\rm{BC} \sin \alpha}{\rm{AC} \sin \beta}.

(A minor note: we should be concerned about division by zero, but consider that the problem is symmetric, so if one of the two given angles is zero we can, if needed, rename that angle alpha and call the other (non-zero) angle beta, reversing the roles of A and B as well. This will suffice to guarantee that the ratio above is well defined. An alternative approach to the zero angle problem is given in the algorithm below.)

With this substitution the equation becomes

\frac{\sin x}{\sin y}=\tan \phi.

We can use two known trigonometric identities, namely

\tan \left(\frac{\pi}{4}-\phi\right) = \frac{1- \tan \phi}{\tan \phi +1} and
\frac{\tan [(x-y)/2]}{\tan [(x+y)/2]}=\frac{\sin x- \sin y}{\sin x + \sin y}

to put this in the form of the second equation we need (explanation?):

\tan \frac{1}{2}(x-y) = \tan \frac{1}{2}(\alpha+\beta+C) \tan \left(\frac{\pi}{4}-\phi\right).

We now need to solve these two equations in two unknowns. Once x and y are known the various triangles can be solved straightforwardly to determine the position of P.[1] The detailed procedure is shown below.

Solution algorithm

Given are two lengths AC and BC, and three angles \alpha, \beta and C. The solution proceeds as follows, using a spreadsheet:

  • calculate \phi= \operatorname{atan2}( \rm{BC} \sin \alpha, \rm{AC} \sin\beta ). Where atan2 is a computer function, also called the arctangent of two arguments, that returns the arctangent of the ratio of the two values given. Note that in Microsoft Excel the two arguments are reversed, so the proper syntax would be '=atan2(AC*\sin(beta), BC*\sin(alpha))'. The atan2 function correctly handles the case where one of the two arguments is zero.
  • calculate K = 2 \pi -\alpha-\beta-C.
  • calculate W = 2\cdot\operatorname{atan}\left[ \tan(\pi/4 - \phi) \tan\left(\frac{1}{2}(\alpha+\beta+C)\right)\right].
  • find x = (K+W)/2 and y = (K-W)/2.
  • if |\beta|>|\alpha| calculate \rm{PC} = \frac{\rm{BC} \sin y}{\sin \beta} else use \rm{PC} = \frac{\rm{AC} \sin x}{\sin \alpha}.
  • find \rm{PA} = \sqrt{\rm{AC}^2+\rm{PC}^2 - 2\cdot\rm{AC}\cdot\rm{PC}\cdot\cos(\pi-\alpha-x)}. (This comes from the law of cosines.)
  • find \rm{PB} = \sqrt{\rm{BC}^2+\rm{PC}^2 - 2\cdot\rm{BC}\cdot\rm{PC}\cdot\cos(\pi-\beta-y)}.

If the coordinates of A: xA,yA and C: xC,yC are known in some appropriate Cartesian coordinate system then the coordinates of P can be found as well.

Geometric (graphical) solution

By the inscribed angle theorem the locus of points from which AC subtends an angle \alpha is a circle having its center on the midline of AC; from the center O of this circle AC subtends an angle 2 \alpha. Similarly the locus of points from which CB subtends an angle \beta is another circle. The desired point P is at the intersection of these two loci.

Therefore on a map or nautical chart showing the points A, B, C, the following graphical construction can be used:

  • Draw the segment AC, the midpoint M and the midline, which crosses AC perpendicularly at M. On this line find the point O such that MO=\frac{AC}{2 \tan \alpha}. Draw the circle with center at O passing through A and C.
  • Repeat the same construction with points B, C and the angle \beta.
  • Mark P at the intersection of the two circles (the two circles intersect at two points; one intersection point is C and the other is the desired point P.)

This method of solution is sometimes called Cassini's method.

Rational trigonometry approach

The following solution is based upon a paper by N. J. Wildberger.[2] It has the advantage that it is almost purely algebraic. The only place trigonometry is used is in converting the angles to spreads. There is only one square root required.

  • define the following:
s(x) = \sin^2(x)
A(x,y,z) = (x + y + z)^2 - 2(x^2 + y^2 + z^2)
r_1 = s(\beta)
r_2 = s(\alpha)
r_3 = s(\alpha + \beta)
Q_1 = BC^2
Q_2 = AC^2
Q_3 = AB^2
  • now let:
R_1 = r_2 Q_3 / r_3
R_2 = r_1 Q_3 / r_3
C_0 = ((Q_1 + Q_2 + Q_3) (r_1 + r_2 + r_3) - 2 (Q_1 r_1 + Q_2 r_2 + Q_3 r_3))/(2 r_3)
D_0 = r_1 r_2 A(Q_1,Q_2,Q_3)/r_3
  • the following equation gives two possible values for R_3:
(R_3 - C_0)^2 = D_0
  • choosing the larger of these values, let:
v_1 = 1 - (R_1 + R_3 - Q_2)^2 / (4 R_1 R_3)
v_2 = 1 - (R_2 + R_3 - Q_1)^2 / (4 R_2 R_3)
  • finally we get:
AP^2 = v_1 R_1 / r_2 = v_1 Q_3 / r_3
BP^2 = v2 R_2 / r_1 = v_2 Q_3 / r_3

The indeterminate case

When the point P happens to be located on the same circle as A, B and C, the problem has an infinite number of solutions; the reason is that from any other point P' located on the arc APB of this circle the observer sees the same angles alpha and beta as from P (inscribed angle theorem). Thus the solution in this case is not uniquely determined.

The circle through ABC is known as the "danger circle", and observations made on (or very close to) this circle should be avoided. It is helpful to plot this circle on a map before making the observations.

A theorem on cyclic quadrilaterals is helpful in detecting the indeterminate situation. The quadrilateral APBC is cyclic iff a pair of opposite angles (such as the angle at P and the angle at C) are supplementary i.e. iff \alpha+\beta+C = k \pi, (k=1,2,\cdots). If this condition is observed the computer/spreadsheet calculations should be stopped and an error message ("indeterminate case") returned.

Solved examples

(Adapted form Bowser,[3] exercise 140, page 203). A, B and C are three objects such that AC = 435 (yards), CB = 320, and C = 255.8 degrees. From a station P it is observed that APC = 30 degrees and CPB = 15 degrees. Find the distances of P from A, B and C. (Note that in this case the points C and P are on the same side of the line AB, a different configuration from the one shown in the figure).

Answer: PA = 790, PB = 777, PC = 502.

A slightly more challenging test case for a computer program uses the same data but this time with CPB = 0. The program should return the answers 843, 1157 and 837.

Naming controversy

File:Plaquete huis Willebrord Snellius.jpg
Plaque on Snellius' house in Leiden

The British authority on geodesy, George Tyrrell McCaw (1870–1942) wrote that the proper term in English was Snellius problem, while Snellius-Pothenot was the continental European usage.[4]

McCaw thought the name of Laurent Pothenot (1650–1732) did not deserve to be included as he had made no original contribution, but merely restated Snellius 75 years later.

See also

Notes

  1. Bowser: A treatise
  2. Lua error in package.lua at line 80: module 'strict' not found.
  3. Bowser: A treatise
  4. Lua error in package.lua at line 80: module 'strict' not found.

References

  • Edward A. Bowser: A treatise on plane and spherical trigonometry, Washington D.C., Heath & Co., 1892, page 188 Google books