Küresel üçgen üzerinde Legendre teoremi

Geometride, Fransız matematikçi Adrien-Marie Legendre adını taşıyan küresel üçgenler üzerinde Legendre teoremi şu şekilde ifade edilir:

△ A B C

, küçük kenarları

a, b, c

olan birim küre üzerindeki küresel bir üçgen olsun.

△ A^{'} B^{'} C^{'}

ise aynı kenarlı düzlemsel üçgen olsun. Buna göre, küresel üçgenin açıları, düzlemsel üçgenin karşılık gelen açılarını küresel fazlalığın yaklaşık üçte biri kadar aşar (küresel fazlalık, küresel üçgendeki üç açının toplamının, düzlemsel üçgenin iç açıları toplamı olan Şablon:Pi değerini aştığı miktardır).

Teorem, yaklaşık 1800'den yirminci yüzyılın ortalarına kadar geleneksel (GPS ve bilgisayar öncesi) jeodezik araştırmaların sonuçlarının hesaplanmasında ağır sayısal hesaplamaları basitleştirmekte çok önemliydi.

Teorem, metre (Şablon:Harvard alıntı) tanımında Fransız meridyen yayının ölçüm raporunun tamamlanmasına bir kanıt [[#Şablon:Harvid|(1798)]] sağlayan Şablon:Harvard kaynak metni tarafından ifade edilmiştir. Legendre, kendisine atfedilmesine rağmen teoremin yaratıcısı olduğunu iddia etmemektedir. Şablon:Harvard kaynak metni, yöntemin o sırada araştırmacılar tarafından ortak kullanımda olduğunu ve 1740 gibi erken bir tarihte La Condamine tarafından Peru meridyen yayının hesaplanması için kullanılmış olabileceğini savunuyor.

Girard teoremi bir E üçgeninin küresel fazlalığının, alanı $Δ$ 'ya eşit olduğunu ve dolayısıyla Legendre teoreminin aşağıdaki şekilde yazılabileceğini ifade eder:

\begin{matrix} A - A^{'} \approx B - B^{'} \approx C - C^{'} \approx \frac{1}{3} E = \frac{1}{3} Δ, a, b, c ≪ 1 . \end{matrix}

Küçük üçgenlerin fazlalığı veya alanı çok küçüktür. Örneğin, 6371 km yarıçaplı küresel bir Dünya üzerinde kenarları 60 km olan bir eşkenar küresel üçgen düşünün; kenar, $\frac{60}{6371} =, 0094$ veya yaklaşık 10⁻² radyan (merkezde 0,57°'lik bir açıya karşılık gelen) bir açısal mesafeye karşılık gelir. Böyle küçük bir üçgenin alanı da aynı kenar ile düz bir eşkenar üçgen olduğu yaklaşılır: $\frac{1}{2} a^{2} s i n (\frac{π}{3}) = 0, 0000433$ radyan yani 8,9″ 'ye karşılık gelir.

Üçgenlerin kenarları 180 km'yi aştığında fazlalık yaklaşık 80″ olup, alanlar arasındaki ilişkiler ve açı farklılıkları, 0,01″ 'den fazla olmamak kaydıyla, kenarlarda dördüncü terim ile düzeltilmelidir:

\begin{matrix} Δ & = Δ^{'} (1 + \frac{a^{2} + b^{2} + c^{2}}{24}), \\ A & = A^{'} + \frac{Δ}{3} + \frac{Δ}{180} (- 2 a^{2} + b^{2} + c^{2}), \\ B & = B^{'} + \frac{Δ}{3} + \frac{Δ}{180} (a^{2} - 2 b^{2} + c^{2}), \\ C & = C^{'} + \frac{Δ}{3} + \frac{Δ}{180} (a^{2} + b^{2} - 2 c^{2}) . \end{matrix}

( $Δ^{'}$ düzlemsel üçgenin alanıdır.) Bu sonuç Şablon:Harvard kaynak metni tarafından kanıtlanmıştır — genişletilmiş bir kanıt Şablon:Harvard kaynak metni (Ek D13)'de bulunabilir. Diğer sonuçlar Şablon:Harvard kaynak metni tarafından araştırılmıştır.

Eğer $a, b, c$ gerçek uzunlukları, (küresel bir yarıçap yerine) köşelerin medyan enleminde eğriliğin ana yarıçapının çarpımının kareköküne bölerek hesaplanırsa (bkz. Şablon:Harvard kaynak metni Bölüm 5) teorem elipsoite genişletilbilir. Şablon:Harvard kaynak metni daha kesin formüller sağlamıştır.

Kaynakça

Küresel üçgen üzerinde Legendre teoremi

Kaynakça

Gezinti menüsü

Ara