Medyant (matematik)

Matematikte, genellikle dört pozitif tam sayıdan oluşan iki bayağı kesirin medyantı,

 ve  için  olarak tanımlanır.

Yani, medyantın payı ve paydası, verilen kesirlerin sırasıyla paylarının ve paydalarının toplamıdır.
Kesirlerde toplama işlemini öğrenmenin ilk aşamalarında yaygın bir hata olduğu için buna bazen acemi toplamı (freshman sum) da denir.

Teknik olarak bu, rasyonel sayıların kesirlerin denklik sınıfları olduğu perspektifini önsel olarak (a priori) göz ardı ederek, uygun tam sayıların sıralı ikilileri olarak kabul edilen geçerli kesirler (sıfır olmayan payda) üzerinde bir ikili işlemdir.
Örneğin, 1/1 ve 1/2 kesirlerinin medyantı 2/3'tür.
Ancak, 1/1 kesri yerine aynı 1 rasyonel sayısını ifade eden denk kesir 2/2 kullanılırsa, 2/2 ve 1/2 kesirlerinin medyantı 3/4 olur.
Rasyonel sayılarla daha güçlü bir bağlantı kurmak için, kesirlerin en sade haline getirilmesi, böylece ilgili denklik sınıflarından benzersiz temsilcilerin seçilmesi gerekebilir.

Aslında medyantlar, sürekli kesirlerin ve özellikle Farey kesirlerinin incelenmesinde sıklıkla karşımıza çıkar.
n-inci Farey dizisi Fn, b ≤ n koşulunu sağlayan sadeleştirilmiş a/b (aralarında asal a, b ile) kesirlerinin (büyüklüklerine göre sıralanmış) dizisi olarak tanımlanır.
Eğer a/c < b/d kesirleri Fn'nin bir segmentinde bitişik (komşu) kesirlerse, yukarıda belirtilen  determinant bağıntısı genellikle geçerlidir ve bu nedenle medyant, (a/c, b/d) aralığındaki en basit kesirdir; bu, en küçük paydaya sahip kesir olması anlamındadır.
Böylece medyant, (ilk olarak) (c + d)-inci Farey dizisinde görünecek ve herhangi bir Farey dizisinde a/c ile b/d arasına eklenen "bir sonraki" kesir olacaktır.
Bu, Fn Farey dizilerinin artan n ile ardışık olarak nasıl oluşturulduğunun kuralını verir.

Stern–Brocot ağacı, basit bir algoritmaya göre sadece yinelemeli medyant hesaplamasıyla elde edilen, en sade halindeki tüm pozitif rasyonel sayıların medyantlar aracılığıyla bir numaralandırmasını sağlar.

Özellikler

 Medyant eşitsizliği: Medyantın önemli bir özelliği (adını da buradan alır), medyantı olduğu iki kesrin kesinlikle arasında yer almasıdır: Eğer  ve  ise, o zaman  olur. Bu özellik şu iki bağıntıdan elde edilir:  ve 
 Componendo ve Dividendo Teoremleri: Eğer  ve  ise, o zaman 
 Componendo:

 Dividendo:

 a/c ve b/d kesir çiftinin  determinant bağıntısını sağladığını varsayalım. O zaman medyant, (a/c, b/d) aralığındaki en basit kesir olma, yani en küçük paydaya sahip kesir olma özelliğini taşır. Daha kesin bir ifadeyle, pozitif paydalı  kesri (kesin olarak) a/c ve b/d arasında yer alıyorsa, payı ve paydası iki pozitif reel (aslında rasyonel) sayı  ile  ve  şeklinde yazılabilir. 'lerin neden pozitif olması gerektiğini görmek için  ve  ifadelerinin pozitif olması gerektiğine dikkat edin.  determinant bağıntısı,   doğrusal denklem sistemini  için çözerken hem  hem de 'nin tam sayı olması gerektiğini ima eder. Bu nedenle,  olur.
 Tersi de doğrudur: a/c < b/d sadeleştirilmiş kesir (en sade haldeki) çiftinin, (a/c, b/d) aralığında yer alan en küçük paydaya sahip sadeleştirilmiş kesrin bu iki kesrin medyantına eşit olması özelliğine sahip olduğunu varsayalım. O zaman  determinant bağıntısı geçerlidir. Bu gerçek, örneğin; köşeleri tam sayı koordinatlarına sahip düzlemdeki bir üçgenin alanını, üçgenin (kesinlikle) içindeki kafes noktalarının sayısı viç ve üçgenin sınırındaki kafes noktalarının sayısı vsınır cinsinden ifade eden Pick teoremi yardımıyla çıkarılabilir. Üç köşesi v1 = (0, 0), v2 = (a, c), v3 = (b, d) olan  üçgenini düşünün. Alanı şuna eşittir:  Üçgenin içindeki bir  noktası şu şekilde parametrize edilebilir:  burada  Pick formülü  şimdi şunu ima eder: Eğer  ise (ki o zaman üçgenin alanı  olur), üçgenin içinde üç köşeden farklı bir  kafes noktası bulunmalıdır. Karşılık gelen q1/q2 kesri, verilen (varsayım gereği sadeleştirilmiş) kesirlerin (kesinlikle) arasında yer alır ve  olduğu için  paydasına sahiptir.
 İlgili olarak, eğer p/q ve r/s, birim aralık üzerinde |ps − rq| = 1 olacak şekilde sadeleştirilmiş kesirlerse (böylece bunlar bir Farey dizisi satırının bitişik elemanlarıdır), o zaman
 olur; burada , Minkowski'nin soru işareti fonksiyonudur.

Medyantların grafiksel olarak belirlenmesi

küçükresim|İki rasyonel sayının medyantının grafiksel olarak belirlenmesi.
Mavi ve kırmızı parçaların eğimleri iki rasyonel sayıdır;
yeşil parçanın eğimi ise bunların medyantıdır.
Pozitif bir rasyonel sayı, 'nin pozitif doğal sayılar olduğu  biçimindeki sayıdır;
yani . Bu nedenle pozitif rasyonel sayılar kümesi , 'ın kendisiyle olan Kartezyen çarpımıdır; yani .
Koordinatları  olan bir nokta  rasyonel sayısını temsil eder ve koordinat başlangıç noktasını (orijini) bu noktaya bağlayan doğru parçasının eğimi 'dir.
'nin aralarında asal olması gerekmediğinden,  noktası tek bir rasyonel sayıyı temsil eder, ancak bir rasyonel sayı birden fazla nokta tarafından temsil edilir;
örneğin  noktalarının hepsi  rasyonel sayısının temsilleridir.
Bu, rasyonel sayıların biçimsel tanımında yapılan küçük bir değişikliktir; onları pozitif değerlerle sınırlar ve  sıralı ikilisindeki terimlerin sırasını değiştirerek parça eğiminin rasyonel sayıya eşit olmasını sağlar.

 olmak üzere iki nokta , (muhtemelen denk)  ve  rasyonel sayılarının iki temsilidir.
Koordinat başlangıç noktasını  ve  noktalarına bağlayan doğru parçaları, bir paralelkenarın iki komşu kenarını oluşturur.

Paralelkenarın koordinat başlangıç noktasına zıt olan köşesi,  ve 'nin medyantı olan  noktasıdır.
Paralelkenarın alanı 'dir; bu aynı zamanda  ve  vektörlerinin çapraz çarpımının büyüklüğüdür.
Rasyonel sayı denkliğinin biçimsel tanımından, eğer  ve  denk ise alanın sıfır olduğu sonucu çıkar.
Bu durumda, eğimleri eşit olduğu için bir doğru parçası diğeriyle çakışır.
Stern–Brocot ağacındaki iki ardışık rasyonel sayının oluşturduğu paralelkenarın alanı her zaman 1'dir.Austin, David.
Trees, Teeth, and Time: The mathematics of clock making, Feature Column from the AMS

Genelleştirme

Medyant kavramı n kesre genelleştirilebilir ve genelleştirilmiş bir medyant eşitsizliği geçerlidir; bu gerçeğin ilk kez Cauchy tarafından fark edildiği görülmektedir.
Daha kesin olarak,  şeklindeki n kesrin ağırlıklı medyantı ,  ile tanımlanır ( ile).
'nin,  arasındaki en küçük ve en büyük kesir arasında bir yerde olduğu gösterilebilir.

Kaynakça

Dış bağlantılar

 Mediant Fractions
  MATHPAGES, Kevin Brown: Generalized Mediant

Kategori:Kesirler
Kategori:Temel aritmetik