Concise Proof of Tienstra's Formula

被引:6
|
作者
Porta, Josep M. [1 ]
Thomas, Federico [1 ]
机构
[1] CSIC UPC, Inst Robot & Informat Ind IRI, Barcelona 08028, Spain
关键词
Global positioning; Localization; Topographic surveys;
D O I
10.1061/(ASCE)0733-9453(2009)135:4(170)
中图分类号
TU [建筑科学];
学科分类号
0813 ;
摘要
The resection problem consists in finding the location of an observer by measuring the angles subtended by lines of sight from this observer to three known stations. Many researchers and practitioners recognize that Tienstra's formula provides the most compact and elegant solution to this problem. Unfortunately, all available proofs for this remarkable formula are intricate. This paper shows how, by using barycentric coordinates for the observer in terms of the locations of the stations, a neat and short proof is straightforwardly derived.
引用
收藏
页码:170 / 172
页数:3
相关论文
共 50 条
  • [31] Short proof of Rademacher's formula for partitions
    Pribitkin, Wladimir de Azevedo
    Williams, Brandon
    RESEARCH IN NUMBER THEORY, 2019, 5 (02)
  • [32] An elementary proof of Laplace's formula on determinants
    Aversa, Vincenzo
    De Simone, Anna
    INTERNATIONAL JOURNAL OF MATHEMATICAL EDUCATION IN SCIENCE AND TECHNOLOGY, 2012, 43 (03) : 418 - 420
  • [33] Short proof of Rademacher’s formula for partitions
    Wladimir de Azevedo Pribitkin
    Brandon Williams
    Research in Number Theory, 2019, 5
  • [34] The Proof of Ito's Formula: The Diagram Formula and Some of Its Consequences
    Major, Peter
    MULTIPLE WIENER-ITO INTEGRALS: WITH APPLICATIONS TO LIMIT THEOREMS, 2ND EDITION, 2014, 849 : 43 - 64
  • [35] A Concise, Elementary Proof of Arzela's Bounded Convergence Theorem
    de Silva, Nadish
    AMERICAN MATHEMATICAL MONTHLY, 2010, 117 (10): : 918 - 920
  • [36] A CONCISE PROOF OF SYLVESTERS THEOREM
    CSAKI, F
    PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING, 1970, 14 (02): : 105 - &
  • [37] A simple proof of Stirling's formula for the gamma function
    Jameson, G. J. O.
    MATHEMATICAL GAZETTE, 2015, 99 (544): : 68 - 74
  • [38] A proof for French's empirical formula on option pricing
    Ren, FY
    Wang, XT
    Liang, JR
    CHAOS SOLITONS & FRACTALS, 2001, 12 (13) : 2441 - 2453
  • [39] The flaw in Euler's proof of his polyhedral formula
    Francese, Christopher
    Richeson, David
    AMERICAN MATHEMATICAL MONTHLY, 2007, 114 (04): : 286 - 296
  • [40] An elementary proof of Binet's formula for the gamma function
    Sasvári, Z
    AMERICAN MATHEMATICAL MONTHLY, 1999, 106 (02): : 156 - 158