Medyant (matematik)

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

: \frac{a}{c} \quad ve \quad \frac{b}{d} \quad için \quad \frac{a+b}{c+d}
 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 *F**n*, *b*&nbsp;&le;&nbsp;*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*&nbsp;n'nin bir segmentinde bitişik (komşu) kesirlerse, yukarıda belirtilen  bc-ad=1 determinant bağıntısı genellikle geçerlidir ve bu nedenle medyant, (*a*/*c*,&nbsp;*b*/*d*) aralığındaki *en basit* kesirdir; bu, en küçük paydaya sahip kesir olması anlamındadır.
Böylece medyant, (ilk olarak) (*c*&nbsp;+&nbsp;*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, *F**n* 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 a/c  ve c\cdot d> 0 ise, o zaman \frac a c  olur. Bu özellik şu iki bağıntıdan elde edilir: \frac{a+b}{c+d}-\frac a c= ={d\over{c+d}}\left( \frac{b}{d}-\frac a c \right) ve \frac b d-\frac{a+b}{c+d}= ={c\over{c+d}}\left( \frac{b}{d}-\frac a c \right).

* **Componendo ve Dividendo Teoremleri:** Eğer a/c = b/d ve c \ne 0,\ d \ne 0 ise, o zaman \frac a c = \frac b d = \frac{a+b}{c+d}
:* **Componendo:**
:\frac{a+c}{c} = \frac{b+d}{d}
:* **Dividendo:**
:\frac{a-c}{c} = \frac{b-d}{d}
* *a*/*c* ve *b*/*d* kesir çiftinin bc-ad=1 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ı  a'/c'  kesri (kesin olarak) *a*/*c* ve *b*/*d* arasında yer alıyorsa, payı ve paydası iki *pozitif* reel (aslında rasyonel) sayı  \lambda_1,\,\lambda_2  ile  a'=\lambda_1 a + \lambda_2 b  ve  c' = \lambda_1 c + \lambda_2 d  şeklinde yazılabilir.  \lambda_i 'lerin neden pozitif olması gerektiğini görmek için \frac{\lambda_1 a+\lambda_2 b}{\lambda_1 c+\lambda_2 d }-\frac a c=\lambda_2 
 ve \frac b d - \frac{\lambda_1 a+\lambda_2 b}{\lambda_1 c+\lambda_2 d }=\lambda_1   ifadelerinin pozitif olması gerektiğine dikkat edin. bc-ad=1 \,  determinant bağıntısı,  a'=\lambda_1 a+ \lambda_2 b   c' = \lambda_1 c+ \lambda_2 d  doğrusal denklem sistemini  \lambda_1,\lambda_2  için çözerken hem  \lambda_1  hem de  \lambda_2 'nin tam sayı olması gerektiğini ima eder. Bu nedenle,  c'\ge c+d  olur.
* Tersi de doğrudur: *a*/*c*&nbsp;iç 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 *v*1 = (0,&nbsp;0), *v*2 = (*a*,&nbsp;*c*), *v*3 = (*b*,&nbsp;*d*) olan  \Delta(v_1,v_2,v_3) üçgenini düşünün. Alanı şuna eşittir:  \text{alan}(\Delta) = {{bc-ad}\over 2} \, . Üçgenin içindeki bir  p=(p_1,p_2)  noktası şu şekilde parametrize edilebilir:  p_1=\lambda_1 a+\lambda_2 b,\; p_2=\lambda_1 c+\lambda_2 d,  burada  \lambda_1\ge 0,\,\lambda_2 \ge 0, \,\lambda_1+\lambda_2 \le 1.  Pick formülü  \text{alan}(\Delta)=v_\mathrm{ic} + {v_\mathrm{sinir}\over 2} - 1  şimdi şunu ima eder: Eğer  ise (ki o zaman üçgenin alanı  \ge 1  olur), üçgenin içinde üç köşeden farklı bir  kafes noktası bulunmalıdır. Karşılık gelen *q*1/*q*2 kesri, verilen (varsayım gereği sadeleştirilmiş) kesirlerin (kesinlikle) arasında yer alır ve  \lambda_1+\lambda_2 \le 1  olduğu için  q_2 = \lambda_1 c+ \lambda_2 d \le \max(c,d) paydasına sahiptir.
* İlgili olarak, eğer *p*/*q* ve *r*/*s*, birim aralık üzerinde |*ps*&nbsp;−&nbsp;*rq*| = 1 olacak şekilde sadeleştirilmiş kesirlerse (böylece bunlar bir Farey dizisi satırının bitişik elemanlarıdır), o zaman
?\left(\frac{p+r}{q+s}\right) = \frac1 2 \left(?\left(\frac p q\right) + {}?\left(\frac r s\right)\right) olur; burada , Minkowski'nin soru işareti fonksiyonudur.

## Medyantların grafiksel olarak belirlenmesi

Pozitif bir rasyonel sayı, a,b'nin pozitif doğal sayılar olduğu a/b biçimindeki sayıdır;
yani a,b\in\mathbb{N}^{+}. Bu nedenle pozitif rasyonel sayılar kümesi \mathbb{Q}^{+}, \mathbb{N}^{+}'ın kendisiyle olan Kartezyen çarpımıdır; yani \mathbb{Q}^{+}=(\mathbb{N}^{+})^2.
Koordinatları (b,a) olan bir nokta a/b 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 a/b'dir.
a,b'nin aralarında asal olması gerekmediğinden, (b,a) noktası tek bir rasyonel sayıyı temsil eder, ancak bir rasyonel sayı birden fazla nokta tarafından temsil edilir;
örneğin (4,2),(60,30),(48,24) noktalarının hepsi 1/2 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 (b,a) sıralı ikilisindeki terimlerin sırasını değiştirerek parça eğiminin rasyonel sayıya eşit olmasını sağlar.

a,b,c,d\in\mathbb{N}^{+} olmak üzere iki nokta (b,a)\neq(d,c), (muhtemelen denk) a/b ve c/d rasyonel sayılarının iki temsilidir.
Koordinat başlangıç noktasını (b,a) ve (d,c) 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, a/b ve c/d'nin medyantı olan (b+d,a+c) noktasıdır.
Paralelkenarın alanı bc-ad'dir; bu aynı zamanda \langle b,a\rangle ve \langle d,c\rangle vektörlerinin çapraz çarpımının büyüklüğüdür.
Rasyonel sayı denkliğinin biçimsel tanımından, eğer a/b ve c/d 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.

## 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, a_1/b_1,\ldots,a_n/b_n şeklindeki *n* kesrin ağırlıklı medyantı m_w, \frac{\sum_i w_i a_i}{\sum_i w_i b_i} ile tanımlanır (w_i>0 ile).
m_w'nin, a_i/b_i 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
* https://youtube.com/watch?v=JnRnvehbcQs
* Mediant Fractions
*  MATHPAGES, Kevin Brown: Generalized Mediant