Bilqi Forum  

Geri git   Bilqi Forum > > >

ÖDEVLERİNİZİ BULMAKTA ZORLANIYOMUSUNUZ!

SORUN ANINDA CEVAPLIYALIM.

TÜM SORULARINIZA ANINDA CEVAP VERİLECEKTİR !

Sitemize Üye Olmadan Konulara Cevap Yazabilir Ayrıca Soru Cevap Bölümüne Konu Açabilirsiniz !

Yeni Konu aç Cevapla
 
Seçenekler Stil
Alt 04-07-2009, 11:02   #1
Korax
Android Destek
 
Korax - ait Kullanıcı Resmi (Avatar)
 
Üyelik tarihi: Jan 2008
Yaş: 34
Mesajlar: 21.062
Tecrübe Puanı: 1000
Korax has a reputation beyond reputeKorax has a reputation beyond reputeKorax has a reputation beyond reputeKorax has a reputation beyond reputeKorax has a reputation beyond reputeKorax has a reputation beyond reputeKorax has a reputation beyond reputeKorax has a reputation beyond reputeKorax has a reputation beyond reputeKorax has a reputation beyond reputeKorax has a reputation beyond repute
Korax - MSN üzeri Mesaj gönder
Standart Kuadratİk formlarin İncelenmesİ

Projenin Adı: Kuadratik formların incelenmesi
Projenin Amacı: Projemizin amacı ax2+bxy+cy2 formunda gösterilebilen tamsayıları incelemek ve bu tamsayıların hangi şartları sağlaması gerektiğini araştırmaktır.
Giriş:
Kuadratik formlar üzerinde çalışmalarda bulunan matematikçilerden biri
ünlü Fransız matematikçi Pierre de Fermat'tır (1601-1665). Fermat, çalışmaları sonucu kuadratik formlarla ilgili çeşitli teoremler bulur ve bunları yayımlar.
Teoremlerinden bazıları:
Teorem F.1 (iki kare teoremi) 4k+1 formundaki her asal sayı iki kare toplamı şeklinde gösterilebilir.
Teorem F.2 (25 Eylül 1654'te Pascal'a yazılan mektuptan) 3k+1 formundaki her asal sayı x2+3y2 şeklinde yazılabilir. Ayrıca 8k+1 veya 8k+3 formundaki her asal sayı x2+2y2 şeklinde gösterilebilir.
Teorem F.3 N tamkare olmayan bir tamsayı olsun. Nx2+1=y2 denkleminin sonsuz çoklukta çözümü vardır.
Teorem F.4 a=b2c formunda bir tamsayı (c'nin tamkare böleni yok), a sayısı iki kare toplamı şeklinde gösterilebilir ancak ve ancak c'nin tüm asal bölenleri 4n+1 formunda veya 2 ise.
Ünlü matematikçi Jacobi, Fermat'ın x2+y2, x2+2y2, x2+3y2, x2-dy2,... şeklindeki kuadratik formlar üzerindeki çalışmaları hakkında şunları yazmıştır:
"Matematikçilerin bu teoremleri ispatlamak için yaptıkları çalışmalar, büyük aritmetik teorisinin doğmasına neden oldu."
Fermat'ın iki kare teoremini ünlü matematikçiler Legendre(1808), Gauss(1825), Serret(1848) ve Jacobsthal(1906) kendilerine özgü yöntemleriyle ispatlarlar.
Kuadratik formlar üzerinde önemli çalışmaları bulunan ünlü matematikçilerden biri de Joseph Louis Lagrange'dır(1736-1813). Lagrange q(x,y)=ax2+bxy+cy2 şeklindeki kuadratik formlar üzerinde çalışmalarda bulunur. x2+y2, x2+2y2, x2+3y2, x2-dy2,... şeklindeki kuadratik formlar Fermat tarafından zaten incelenmiştir. Lagrange bu çalışmalarını 1773 yılında "Recherches d'aritmètique" adıyla yayımlar. (Recherches d'aritmètique 'den bir bölüm)
"Araştırmam Bt2+Ctu+Du2 şeklinde gösterilebilen sayılarla ilgilidir.
İfadedeki B,C,D belli tamsayılar ve t,u değişken tamsayılardır. İlk olarak çarpımları aynı formda gösterilebilen kuadratik formları araştıracağım, sonra böyle bir formda gösterilebilen en küçük sayıyı bulmak için bir yöntem göstereceğim. Bulduğumuz yöntem bize bir tablo oluşturmada yardımcı olacak. Bu tabloyu sayıların bölenlerini araştırmak için nasıl kullanılacağını anlatacağım.
Son olarak da Bt2+Ctu+Du2 formunda gösterilebilen asallar ile ilgili bazı teoremleri ispatlayacağım. Bu teoremlerin bazıları bilinen fakat ispatlanmamış teoremler ve diğerleri ise yeni teoremlerdir."
Joseph Louis Lagrange, 1773
Lagrange'ın bu çalışmaları ve teoremleri kuadratik formlar teorisinin gelişmesinde önemli rol oynar.
Kuadratik formlar üzerinde çalışmaları bulunan ünlü matematikçilerden bir başkası da Leonhard Euler'dir(1707-1783). Euler'in çalışmalarının çoğu Fermat'ın teoremler üzerine olmuştur. Dolayısıyla Fermat'ın kuadratik formlarla ilgili teoremleri Euler tarafından da ispatlanmaya çalışılır. Başka bir ünlü isim ise Alman matematikçi Carl Freidrich Gauss'tur(1777-1783). Gauss da diğer matematikçiler gibi Fermat'ın teoremleri üzerinde çalışır ve bu teoremlerin birçoğunu kendine özgü metotlarıyla ispatlar.

Yöntem:
Görüldüğü gibi kuadratik formlar, ünlü matematikçiler tarafından incelenmiş ve birçok teorem ortaya konulmuştur.(bkz. From Fermat to Minkowski, ODTÜ kütüphanesi)
Projemizin amacı ax2+bxy+cy2 formunda gösterilebilen tamsayıları incelemek ve bu tamsayıların hangi şartları sağlaması gerektiğini araştırmaktır.
Tanım: f(x,y)= ax2+bxy+cy2 a,b,c belli tamsayılar ve x,y değişken tamsayılar iken f fonksiyonu bir kuadratik formdur. b2-4ac ifadesi f'in diskriminantıdır. Proje süresince "kuadratik form" ifadesi kısaca KF ile, f'in diskriminantı olan b2-4ac ifadesi d(f) ile gösterilecektir.
Teorem 1:
f(x,y)=n denkleminin (x,y)=1 olacak şekilde çözümü bulunmasını olanaklı kılan d(f)=d<0 koşulunu sağlayan bir f vardır x2 d(mod4n) çözümlüdür.
İspat:
p,q,r,s vardır, ps-qr=1 ve f(px'+qy',rx'+sy') = g(x',y') şartları sağlanır f g olsun. (g(x,y)=a'x2+b'xy+c'y2 olan bir KF)
x = px'+qy', y= rx' + sy', ps - qr = 1 şeklindeki dönüşümlere uygun dönüşüm diyelim.
O zaman
f g f ile g arasında uygun bir dönüşüm vardır.( f,g KF)
f g x=px'+qy' ==> sx=spx'+sqy'
y=rx'+sy' ==> qy=qrx'+qsy' ==> sx-qy=(sp-qr)x'=x'
Aynı şekilde
x=px'+qy' ==> py=prx'+psy'
y=rx'+sy' ==> rx=prx'+qry' ==> py-rx=(ps-qr)y'=y'
==> g(sx-qy,-rx+py)=g(x',y')=f(x,y) ayrıca s,-q,-r,p var ki ==>sp-(-q)(-r)=1 g f Öyleyse bağıntı simetriktir.
f(x,y)=f(px'+qy',rx'+sy')=g(x',y') ps-qr=1 f g
g(x',y')=g(p1x''+q1y'', r1x''+s1y'')=h(x'',y'') p1s1-q1r1=1 g h
==> x=px'+qy'=p(p1x''+q1y'')+q(r1x''+s1y'')=(pp1+qr1)x ''+(pq1+qs1)y''
y=rx'+sy'=r(p1x''+q1y'')+s(r1x''+s1y'')=(rp1+sr1)x ''+(rq1+ss1)y''
==> f((pp1+qr1)x''+(pq1+qs1)y'', (rp1+sr1)x''+(rq1+ss1)y'')=f(x,y)=g(x',y')=h(x'',y '') ve (pp1+qr1) (rq1+ss1)-(pq1+qs1) (rp1+sr1)=p1(prq1+pss1-rpq1-rqs1)+r1(qrq1+qss1-pqs1-ss1q) =p1s1ps+q1r1qr-p1s1rq-psq1r1=(p1s1-q1r1)(ps-qr)=1
==> pp1+qr1=p2 , pq1+qs1=q2 , rp1+sr1=r2 , rq1+ss1=s2 dersek f(x,y)=f(p2x''+q2y'',r2x''+s2y'')=h(x'',y'') ve p2s2-q2r2=1 olur. O zaman f h . Yani bağıntı geçişkendir.
x=1.x+0.y
y=0.x+1.y ==> f(x,y)=f(1.x+0.y,0.x+1.y) ve 1.1-0.0=1
==> f f yani bağıntı yansıyandır.
Bağıntı hem yansıyan, hem simetrik hem de geçişken olduğu için bu bir denklik bağıntısıdır.


f(x,y) = f(px'+qy',rx'+sy') = g(x',y') = a'(x')2+b'x'y'+c'(y')2
ax2+bxy+cy2= a'(x')2+b'x'y'+c'(y')2 x = px'+qy' , y= rx' + sy'
ax2+bx'y'+cy2=a(px'+qy')2+b(px'+qy')(rx' + sy')+c(rx' + sy')2 = a[p2(x')2+2pqx'y'+q(y')2] + b[pr(x')2+(ps+qr)x'y'+qs(y') 2] + c[r(x') 2+2rsx'y'+s(y') 2] = (x') 2[ap2+bpr+cr2]+x'y'[2apq+b(ps+qr)+2crs]+(y') 2[aq2+bqs+cs2]
(Not: ap2+bpr+cr2=f(p,r) , aq2+bqs+cs2=f(q,s) olduğu açıktır. O zaman g(x',y')= a'(x')2+b'(x'y')+c'(y')2 iken a'=f(p,r) ve c'=f(q,s) dir................( ))
==>a'= ap2+bpr+cr2, b'= 2apq+b(ps+qr)+2crs, c'= aq2+bqs+cs2
(b')2-4a'c'=[2apq+b(ps+qr)+2crs]2-4(ap2+bpr+cr2)( aq2+bqs+cs2)
1.............. [2apq+b(ps+qr)+2crs]2=4a2p2q2+b2p2s2+b2q2r2+4c2r2s2 + 2(2abp2qs+2abpq2r+4acpqrs+b2pqrs+2bcprs2+2bcqr2s)
2............. 4(ap2+bpr+cr2)( aq2+bqs+cs2) = 4a2p2q2+4abp2qs+4acp2s2+4abpq2r+ 4b2pqrs+4bcprs2+4acq2r2+4bcqr2s+4c2r2s2
1. den 2.'yi çıkaralım:
4a2p2q2, 4abp2qs, 4abpq2r, 4abpq2r, 4bcprs2, 4bcqr2s ifadeleri hem 1. de hem de 2.de olduğundan birbirini sadeleştirecek.
(b')2-4a'c'=[b2(p2s2+q2r2)+8acpqrs+2b2pqrs]-[4ac(p2s2+q2r2)+4b2pqrs] = b2(p2s2+q2r2-2pqrs)-4ac(p2s2+q2r2-2pqrs)=(ps-qr)2(b2-4ac)= b2-4ac
(ps-qr=1 olduğundan)
==> (b')2-4a'c'= b2-4ac
Sonuç: f g ==> d(f)=d(g)

f(p,r)=n, (p,r)=1 d(f)=d
(p,r)=1 olduğundan ps-qr=1 olan q,s vardır. (Dirichlet İlkesi kaynak: H.İ. Karakaş,
İ. Aliyev, Analiz Cebirde İlginç Olimpiyat Problemleri ve Çözümleri)
x px'+qy'
y rx'+sy' alalım
f(px'+qy',rx'+sy')=g(x',y')=a'(x')2+b'x'y'+c'(y')2 ==>f g
( ) dan dolayı f(p,r)=a' olur.Yani n=f(p,r)=a'
==>g(x',y')=n(x')2+b'x'y'+c'(y')2==>d(g)=(b')2-4nc'
f g==>d(f)=d(g)=(b')2-4nc'==>d(f) d (b')2 (mod 4n)
Yani f(x,y)=n denkleminin (x,y)=1 olacak şekilde çözümü
bulunmasını sağlayan bir f vardır ==> x2 d (mod 4n)
b , b2 d (mod 4n) ==> c , b2-d=4nc ==> b2-4nc=d olur.
f(x,y)=nx2+bxy+cy2 seçelim. d(f)=b2-4nc=d olur.
Ayrıca (1,0)=1 ve f(1,0)=n olur.
Yani x2 d (mod 4n) çözülebilirdir ==> f(x,y)=n denkleminin (x,y)=1
olacak şekilde çözümü bulunmasını olanaklı kılacak d(f)=d
koşulunu sağlayan bir f vardır.
Böylece teorem-1 ispatlandı.

Şimdi bu teoremi biraz daha inceleyelim:
f g ==> uygun bir dönüşüm için f(x,y)=g(x',y') olduğundan
f in aldığı değerlerin kümesi ile g nin aldığı değerlerin kümesi
aynıdır. Yani Mf={f(x,y)| x,y }={g(x,y)| x,y }=Mg
Ayrıca uygun bir dönüşüm için (x,y)=1 (x',y')=1
Olduğundan Nf={f(x,y)| (x,y)=1}={g(x,y)| (x,y)=1}=Ng olur.
f(x,y)= ax2+bxy+cy2 , x=0.x'+1.y' ve y=(-1)x'+0.y' için
f(x,y)=g(x',y') şartını sağlayan g KF'u ile f arasında uygun bir dönüşüm vardır, çünkü
0.0-(-1)1=1'dir (==> f g )
f(x,y)= ax2+bxy+cy2= a(y')2+by'(-x')+c(-x')2=a(y')2-bx'y'+c(x')2=g(x',y') ==> g f ve g(x,y)=cx2-bxy+ay2......(1. dönüşüm)
Sonuç: f(x,y)= ax2+bxy+cy2 ==> 1. dönüşümü kullanarak f g ve
g(x,y)=cx2-bxy+ay2 olan bir KF elde edebiliriz.
f(x,y)= ax2+bxy+cy2 , x=1.x' 1.y' ve y=0.x'+1.y' için
f(x,y)=g(x',y') şartını sağlayan g KF'u ile f arasında uygun bir dönüşüm vardır, çünkü
1.1-0. 1=1'dir (==> f g )
f(x,y)= ax2+bxy+cy2=a(x' y')2+b(x' y')y'+c(y')2=a(x')2 2ax'y'+a(y')2+bx'y' b(y')2 +c(y')2=a(x')2+(b 2a)x'y'+(c b+a)(y')2......(2. Dönüşüm)
Sonuç: f(x,y)= ax2+bxy+cy2 ==> 2. dönüşümü kullanarak f g ve
g(x,y)= ax2+(b 2a)xy+(c b+a)y2 şartını sağlayan bir KF elde edebiliriz.
f(x,y)'ye denk olan tüm KF'ların oluşturduğu kümeyi inceleyelim:
Bu kümdeki 2. terimin (xy teriminin) katsayısı mutlak değerce en küçük olan KF'lardan biri g olsun
g(x,y)= a'x2+b'xy+c'y2 , g f ve (b')2 minimumdur.
d(f)=d(g) ==> (b')2-4a'c' < 0 . Öyleyse a' ve c' ifadelerinin işaretleri aynıdır. Bu iki ifadeyi pozitif kabul edebiliriz.(aksi taktirde g(x,y)=n ifadesinin çözümleri yerine
g(x,y)=-n ifadesinin çözümlerini inceleriz.)
g(x,y)= a'x2+b'xy+c'y2 (a' ve c' pozitif)
a' c' kabul edebiliriz.(aksi taktirde 1. dönüşümü kullanarak elde edeceğimiz
h(x,y)= c'x2-b'xy+a'y2 KF'unu inceleriz.)
g(x,y)= a'x2+b'xy+c'y2 (a' ve c' pozitif, ayrıca a' c')
2. dönüşümü kullanarak f'e denk h1(x,y)=a'x2+(b'-2a')xy+(c'+a'-b')y2 ve h2(x,y)=a'x2+(b'+2a')xy+(c'+a'+b')y2 şartlarını sağlayan h1 ve h2 KF'larını elde edebiliriz. h1 ve h2 KF'larının 2. terimlerinin (xy terimlerinin) katsayılarının kareleri, (b')2 ifadesinden büyük veya eşit olmalıdır.
i)(b'-2a')2 (b')2 , ii) (b'+2a')2 (b')2
i) (b'-2a')2 (b')2, (b')2-4a'b'+4(a')2 (b')2 ==> 4(a')2 4a'b' ((b')2-4a'c'< 0 ==>a' 0) ==>
a' b'
ii) (b'-2a')2 (b')2, (b')2-4a'b'+4(a')2 (b')2 ==> 4(a')2 4a'b' ==> b' -a'
==> a' b' -a'
a' b'>-a' kabul edebiliriz.(aksi taktirde 2. dönüşümü uygun kullanarak elde edeceğimiz KF bu şartı sağlar.)
c'>a' ==> c'>a' b'>-a'
a'=c' ==> a=c b 0 kabul edebiliriz.(aksi taktirde 1. dönüşümü kullanarak istediğimiz ifadeyi sağlayan KF bulabiliriz.)
Tanım: f(x,y)= ax2+bxy+cy2, a,b,c tamsayıları (a,c +) a=c b 0 veya c'>a' b'>-a' eşitsizliklerini sağlıyorsa f KF'una indirgenmiş KF diyelim.(indirgenmiş KF ifadesini kısaca İKF olarak göstereceğiz.)
Teorem: Diskriminantı negatif olan her KF'a denk bir İKF vardır.
Teoremin ispatı yukarıda gösterilmiştir.

f ile g indirgenmiş, f g ve f g olsun.
f(x,y)=ax2+bxy+cy2, g(x,y)=a'x2+b'xy+c'y2
(x,y)=1
i)|x|,|y| 0 (c a |b|........(1))
|x| |y|==> f(x,y)=a|x|2+bxy+c|y|2 a|x|2-|b||xy|+c|y|2
a|x|2-|b||x|2+|y|2 |x|2(a-|b|)+c|y|2 |y|2(a-|b|+c)
a-|b|+c c a
|y| |x|==> f(x,y)= a|x|2+bxy+c|y|2 a|x|2-|b||xy|+c|y|2
a|x|2-|b||y|2+c|y|2 a|x|2+(c-|b|)|y|2 |x|2(a-|b|+c)
a-|b|+c c a
ii)|x|=0==>|y|=1==>f(x,y)=c
|y|=0==>|x|=1==>f(x,y)=a
Yani (x,y) ==> f(x,y) nin alabileceği minimum 3 değer
a c a-|b|+c dir. (Ayrıca bu değerler kesinlikle
alınmaktadır. f(1,0)=a, f(0,1)=c, ve f(1,1) ile f(1,-1) den birisi a-|b|+c olur)
Aynı şekilde (x,y)=1==> g(x,y) nin alabileceği minimum 3 değer
a' c' a'-|b'|+c' dür.(Ayni şekilde bu değerler de
alınmaktadır.)
f g ==> Nf={f(x,y)| (x,y)=1}={g(x,y)| (x,y)=1}=Ng olduğundan
Nf in minimum elemanı ile Ng nin minimum elemanı ile aynıdır. Yani a=a'
f g ==> d(f)=d(g) ==> b2-4ac = (b')2-4a'c' = (b')2-4ac' ==> 4a(c-c')=(b')2-b2........(")
Şimdi birkaç durum inceleyelim.
æ c=c-|b|+a (i)
æ c'>c
c=a å c<c-|b|+a (ii)
å c'=c (iii)
å c'<c (iv)
c'=a' (v)
c a, c' a' (vi)
(i) c=a, c'>c, c<c-|b|+a ==> a=|b| ==> |b'| a'=a=|b| ==> |b| |b'|
(") ==> 4a(c'-c)=(b')2-b2 ==> 0 (b')2-b2=4a(c'-c) ==> c' c, c'>c
(ii)c=a, c'>c, c<c-|b|+a ==> c'=c-|b|+a (kümelerdeki en küçük
ikinci elemanlar eşit olacak)
(") ==> 4a(c'-c)=(b')2-b2 ==> 4a(c-|b|+a-c)=(b')2-b2 ==> 4a(a-|b|)=(b')2-b2==>
==>4a2-4a|b|+b2=(b')2 ==> (2a-|b|)2(b')2 ==> 2a-|b|=|b'| (2a-|b|>0)
a |b| olduğundan |b'|=2a-|b| a=a' |b'| ==> a'=|b'| eşitlik durumu
2a-|b|=a ==> a=|b| ==> a=|b|=a'=|b'| ==> |b|=|b'|
(")==> 4a(c'-c)=(b')2-b2=0 ==> c'=c ve a'=a
iii)c=a, c'=c ==> a'=a=c=c' ==> c'=c ve a'=a
iv)a'=a=c>c' a'
v)a=c durumları ile simetrik yani a'=c' ==> c'=c ve a'=a
vi)c a, c' a' ==> c a, c' a' ve Nf ile Ng nin en küçük ikinci
elemanları da eşit olacağından a=a' ve c=c' olur
Dolayısıyla
f(x,y)=ax2+bxy+cy2, g(x,y)=a'x2+b'xy+c'y2,
f g , f g, f,g indirgenmiş ise a=a', c=c' dür............................................... ....... ( )
x,y 0 ==> f(x,y) a-|b|+c c a (Eşitlik durumunda
|x|=|y|=1 olmalı.)
(i)x,y 0, f(x,y)=a ==> x,y {-1,1} ==> f(x,y)=a b+c=a
(fonksiyonda x,y yerine 1 yazılınca kolayca görülür)
a+|b|+c>a olduğundan a-|b|+c=f(x,y)=a olmalı.
O zaman c=|b| ve c a |b| olduğundan a=|b| olur.
(ii) x,y 0, f(x,y)=c ==> x,y {-1,1} ==> f(x,y)=a b+c=c
(fonksiyonda x,y yerine 1 yazılınca kolayca görülür)
a+|b|+c>c olduğundan a-|b|+c=c olur .O zaman a=|b| olur.
Yani x,y,z,t 0 iken f(x,y)=a veya f(z,t)=c
olan (x,y) veya (z,t) varsa a=|b| olur.
Ayrıca -a<b a olduğundan a=b olur. Aynı şekilde a'=b' olur.
O zaman b=a=a'=b' dolayısıyla b=b' olur.( ) dan dolayı a=a', c=c' olduğunu biliyorduk .O zaman f ile g nin tüm katsayıları eşit olduğundan f ile g
eşittir.
Sonuç:f(x,y)=a ==> xy=0 ve f(z,t)=c ==> zt=0.
f g==> p,q,r,s, ps-qr=1, f(px'+qy',rx'+sy')=g(x',y')
( ) dan dolayı f(p,r)=a'=a, f(q,s)=c'=c, ( ) dan dolayı
f(p,r)=a, f(q,s)=c ==> pr=0, qs=0.Ayrıca ps-qr=1.O zaman
(i) p=0, s=0, q= 1, r= 1 (ii) p= 1, s= 1, q=0, r=0
(i) a' = f(p,r) = a = f(0, 1) = c
c' = f(q,s) = f( 1,0) = a
==> c = a' = a = c' ==> b2-4ac=b12-4a1c1 olduğundan |b|=|b1| olur. O zaman f(x,y)=ax2+bxy+ay2, g(x,y)=ax2-bxy+ay2 olur.( g(x,y)=ax2+bxy+ay2 olursa f=g olur.)
a=c ==> indirgenmişliğin tanımından dolayı 0 b a=c olur. Yani b 0 ve b'=-b 0 olmalı. O zaman b=0.
b=0 ==> f(x,y)=ax2+ay2, g(x,y)=ax2+ay2 ==> f=g
(ii)c' = f(q,s) = f(0, 1) = c
a' = f(p,r) = f( 1,0) = a
x=px1+qy1 ve y=qx1+ry1 ==> x=px1=sx1 ( p = s = 1 ), ve y=sy1
f(x,y)= g(x1,y1) = ax2+bxy+cy2 = a1x12+b1x1y1+c1y12 = a(x1s)2+b(x1s)(y1s)+c(y1s)2= ax12+bx1y1+cy12 ==> a=a1, b=b1, c=c1 ==> f=g
Sonuç: f ile g indirgenmiş KF ve f g ==> f=g
Bu bir denklik bağıntısı olduğu için bütün KF'ları denklik kümelerine ayırabiliriz. Yukarıdaki sonuçtan dolayı her denklik kümesinde tam olarak bir İKF vardır. O zaman diskriminantı d olan tam olarak bir İKF varsa, diskriminantı d olan bütün KF'lar bu İKF ile aynı denklik kümesindedir.

Teorem 2: Diskriminantı d olan tam olarak bir tane İKF varsa o zaman diskriminantı d olan bütün KF'lar bu İKF'a, dolayısıyla birbirine denktir.
Teorem 1 Teorem 2 ==>
Teorem 3: Diskriminantı d (d<0) olan tam bir tane İKF bulunuyorsa seçtiğimiz f(x,y)=ax2+bxy+cy2 KF' u için f(x,y)=n çözülebilirdir x2 d (mod 4n) çözülebilirdir.(d<0)

Sonuç ve Tartışma:
Çalışmalarımızın sonucu olarak 3 tane birbirinden güzel teoreme ulaştık:
Teorem 1:
f(x,y)=n denkleminin (x,y)=1 olacak şekilde çözümü bulunmasını olanaklı kılan d(f)=d koşulunu sağlayan bir f vardır x2 d(mod4n) çözümlüdür.
Teorem 2: Diskriminantı d olan tam olarak bir tane İKF varsa o zaman diskriminantı d olan bütün KF'lar bu İKF'a, dolayısıyla birbirine denktir.
Teorem 3: Diskriminantı d olan tam bir tane İKF bulunuyorsa seçtiğimiz f(x,y)=ax2+bxy+cy2 KF' u için f(x,y)=n çözülebilirdir x2 d (mod 4n) çözülebilirdir.
Bu teoremler bize amacımıza ulaşmada yardımcı oldu ve diskriminantı negatif olan herhangi bir f KF'munda f(x,y)=n ifadesinin çözümlü olması için n sayısının sağlaması gereken gerek ve yeter koşulların neler olduğunu bulduk.
Bu teoremleri kullanarak Fermat ve Lagrange'ın birkaç teorimini ispatladık ve bir tane de ulusal yarışma sorusunu çözdük.
Teorem F.1 (iki kare teoremi) 4k+1 formundaki her asal sayı iki kare toplamı şeklinde gösterilebilir.
İspat:f(x,y)=x2+y2 olsun. 0<1 1 olduğundan f bir İKF dur. d(f)=02-4.1.1=-4
g(x,y)=ax2+bxy+cy2 ve d(g)=-4 olan f den farklı bir İKF olsun.
O zaman b2-4ac=-4 ==> b2+4=4ac 4a2 4b2 (c>a b>-a veya c=a b 0 olduğu için)
b2+4 4b2 ==> 4 3b2 ==> b {-1,0,1}. b2-4ac=-4 ==> b çift ==> b=0 ==> ac=1 ==> a=c=1, b=0 olur. O zaman g(x,y)=x2+y2=f(x,y) ,Yani diskriminantı -4 olan tam olarak bir tane İKF vardır o da f dir.
Teorem-3 den dolayı x2+y2=p çözülebilirdir -4 m2 (mod 4p) çözülebilirdir.
Ayrıca -4 m2 (mod 4p) çözülebilirdir -1 (m1)2 (mod p) çözülebilirdir
-1(p-1/2) (m1)p-1 1 (mod p) çözülebilirdir. (Fermat'ın Küçük Teoremi'nden dolayı kaynak: Sayılar Teorisinde İlginç Olimpiyat Problemleri ve Çözümleri, H.İ. Karakaş - İ. Aliyev)
(m1)p-1 1 (mod p) ) p-1/2 çifttir.
Dolayısıyla x,y , x2+y2=p çözülebilirdir p 1 (mod 4).
Teorem F.4 a=b2c formunda bir tamsayı (c'nin tamkare böleni yok), a sayısı iki kare toplamı şeklinde gösterilebilir ancak ve ancak c'nin tüm asal bölenleri 4n+1 formunda veya 2 ise.
Çözüm: p|n ve p 3(mod 4) olan asal p alalım. x2+y2 0(mod p)
x2 -y2(mod p) p, x ve y' yi bölmüyorsa x/y a (mod p) (x/y)2 a2 -1(mod p)
1 ap-1 (a2)(p-1)/2 (-1)(p-1)/2 -1(mod p) ((p-1)/2 tek olduğu için)
==> x y 0(mod p) p|x ve p|y ==> p2|x2+y2 , x2+y2=n çözümlüdür x12+y12=n/p2 çözümlüdür. Bu şekilde p 3(mod 4) ve p|n ==> p2a||n olan a vardır.
n,t ve p1,p2,...,pk farklı tek asallar, n= t2p1p2...pk diyelim. pi 1(mod 4) olmalı. (i=1,2,...,k) x2+y2=n çözümlüdür x12+y12= p1p2...pk çözümlüdür.
Diskriminantı -4 olan bir KF n 'i uygun bir şekilde gösteriyordur
m2 -4 (mod 4n) çözümlüdür n 'in tüm asal bölenleri 1(mod 4) (Diskriminantı
-4 olan bir İKF olduğunu 1. soruda gösterdik) p1p2...pk, d(f)=-4 olan bir KF tarafından gösterilebilir p1p2...pk' nın tüm asal bölenleri 1 (mod 4)

pi 1(mod 4) (i=1,2,...,k) olduğundan p1p2...pk=f'(x',y') ve d(f')=-4 olan f' KF var. f' f (d(f')=-4 ==> f f' 1. soruda gösterildi.) (f(x,y)=x2+y2)
==> x,y vardır ki f(x,y)= p1p2...pk x2+y2= p1p2...pk

x2+y2=n ==> (x-y)2+(x+y)2=(x2-2xy+y2)+(x2+2xy+y2)=2(x2+y2)=2n n çözümlü ==> 2n de çözümlüdür. n çözümlüdür ==> 2rn de çözümlüdür.
Sonuç: x2+y2=n çözümlü n= t2p1p2...pk2r (pi 1(mod 4) i=1,2,...,k t,r {0} )
Teorem F.2 (25 Eylül 1654'te Pascal'a yazılan mektuptan) 3k+1 formundaki her asal sayı x2+3y2 şeklinde yazılabilir. Ayrıca 8k+1 veya 8k+3 formundaki her asal sayı x2+2y2 şeklinde gösterilebilir.
İspat: f(x,y)=x2+3y2 olsun. f; d(f)=-12 olan bir İKF'dur.
g; g(x,y)=ax2+bxy+cy2 ve d(g)=-12 şartını sağlayan bir İKF olsun. b2-4ac=-12 ==> b çift b=2b1 4b12-4ac=-12 ==> b1+3=ac, b1+3=ac a2 b2=4b12 (indirgenmişliğin tanımından dolayı) b1+3 4b12 ==> 1 b12 ==> b1= 1 veya b1=0
b1= 1 ==> g(x,y)=2x2 2xy+2y2 , p tek asal sayısı için g(x,y)=p çözümsüzdür.
b1=0 ==> f(x,y)=x2+3y2 ==> f=g
Sonuç: Tek değerler alabilen ve diskriminantı -12 olan bir tane İKF vardır ve bu İKF f'dir.
Teorem(3) ==> p tek asal sayı iken f(x,y)=p çözümlüdür -12 m2(mod 4p) çözümlüdür
-12 m2(mod 4p) çözümlüdür -3 n2(mod p) çözümlüdür
i) p 1(mod 4) ==> -3 n2(mod p) çözümlüdür 3 k2(mod p) çözümlüdür ( )=1 (Legendre sembolü) ( )( )=(-1)2(p-1)/4=1 (Legendre teoremi bkz. Form Fermat to Minkowski) ( )=1 ( )=1 p=3 veya p 1(mod 3)
Sonuç: p 1(mod 4) ==> f(x,y)=p çözümlüdür p=3 veya p 1(mod 3)
ii) p 3(mod 4) ==> -3 n2(mod p) çözümlüdür 3 k2(mod p) çözümsüzdür ( )=-1 ( )( )=(-1)2(p-1)/4=-1, ( )=-1 ( )=1 p=3 veya p 1(mod 3)
(p=3 ==> p=02+3.12)
Sonuç: p 3(mod 4) ==> f(x,y)=p çözümlüdür p=3 veya p 1(mod 3)
==>Sonuç: p tek asal f(x,y)=p çözümlüdür p=3 veya p 1(mod 3)

f(x,y)=x2+2y2 olsun. f; d(f)=-8 olan bir İKF'dur.
g; g(x,y)=ax2+bxy+cy2 ve d(g)=-8 şartını sağlayan bir İKF olsun. b2-4ac=-8 ==> b çift b=2b1 4b12-4ac=-8 ==> b1+2=ac, b1+2=ac a2 b2=4b12 (indirgenmişliğin tanımından dolayı) b1+2 4b12 ==> 2/3 b12 ==> b1=0
b1=0 ==> f(x,y)=x2+2y2 ==> f=g
Sonuç: Diskriminantı -8 olan bir tane İKF vardır ve bu İKF f'dir.
Teorem(3) ==> p asal sayısı için f(x,y)=p çözümlüdür -8 m2(mod 4p) çözümlüdür
-8 m2(mod 4p) çözümlüdür -2 n2(mod p) çözümlüdür
i) p 1(mod 4) ==> -2 n2(mod p) çözümlüdür 2 k2(mod p) çözümlüdür p 1,7(mod 8) (Legendre teoremi), p 1,7(mod 8) ve p 1(mod 4) ==> p 1(mod 8)
Sonuç: p 1(mod 8) şartını sağlayan p asal sayısı için f(x,y)=p çözümlüdür.
ii) p 3(mod 4) ==> -2 n2(mod p) çözümlüdür 2 k2(mod p) çözümsüzdür p 3,5(mod 8) (Legendre teoremi), p 3,5(mod 8) ve p 3(mod 4) ==> p 3(mod 8)
Sonuç: p 3(mod 8) şartını sağlayan p asal sayısı için f(x,y)=p çözümlüdür.
==>Sonuç: 8n+1 veya 8n+3 formundaki her asal sayı x2+2y2 şeklinde yazılabilir.
Teorem L.1 (Lagrange) (1) 8n+3 formundaki her p asal sayısı x2+2y2 şeklinde gösterilebilir. (2) 12n+7 formundaki her p asal sayısı x2+3y2 şeklinde gösterilebilir. (3) 24n+7 formundaki her p asal sayısı x2+6y2 şeklinde gösterilebilir.

İspat: (1) ve (2)'yi daha önce Teorem F.2' nin ispatında gösterdik.
(3): f(x,y)=x2+6y2 olsun, f ; d(f)=-24 olan bir İKF'dur.
g(x,y)=ax2+bxy+cy2 , d(g)=-24 ve g bir İKF olsun.
==> b2-4ac=-24 , b çift olmalı. b=2b1 b12-ac=-6, b12+6=ac a2 b2=4b12 ==> 6 3b12 ==> b1= 1 veya b1=0
b1= 1 ==> g(x,y)=x2 2xy+7y2 fakat g İKF değildir.
b1= 0 ==> g(x,y)=x2+6y2 ==> g=f
Sonuç: Diskriminantı -24 olan bir tane İKF vardır ve bu İKF f'dir.
Teorem(3)'den dolayı p asal sayı f(x,y)=p çözümlüdür -24 m2(mod 4p) çözümlüdür.
-24 m2(mod 4p) çözümlüdür -6 n2(mod p) çözümlüdür
p 1(mod 3) ==> ( )=1 (Teorem F.2'nin ispatında gösterilmiştir.)
-6 n2(mod p) çözümlüdür ( )=1 ( )( )=1 ,
p 1(mod 3) durumunu incelelim:
( )=1 ==> ( )=1 p 1,7 (mod 8) (Teorem F.2'nin ispatında gösterilmiştir.)
p 1(mod 3) ve p 1,7 (mod 8) ==> p 1,7(mod 24)
Sonuç: p 1,7(mod 24) şartını sağlayan p asal sayısı x2+6y2 şeklinde gösterilebilir.
Teorem L.2 (Lagrange) 8n+1 formundaki asal sayılar x2+2y2 şeklinde, 12n+1 formundaki asal sayılar x2+3y2 şeklinde ve 20n+1 formundaki asal sayılar x2+5y2 şeklinde gösterilebilir.
İspat: İlk iki önermeyi Teorem F.2'nin ispatında gösterdik. 20n+1 formundaki asal sayıların x2+5y2 şeklinde gösterilebileceğini ispatlayalım:
f(x,y)=x2+5y2, d(f)=-20 ve f İKF'dur.
g(x,y)=ax2+bxy+cy2 , d(g)=-20 ve g bir İKF olsun.
==> b2-4ac=-20 , b çift olmalı. b=2b1 b12-ac=-5, b12+5=ac a2 b2=4b12 ==> 5 3b12 ==>
b1= 1 veya b1=0
i) b1= 1 ==> g(x,y)=2x2 2xy+3y2 ( g İKF'dur)
x , y çift ==> g(x,y) 0(mod 4)
x , y tek ==> g(x,y) 3(mod 4)
x tek y çift ==> g(x,y) 2(mod 4)
x çift y tek ==> g(x,y) 3(mod 4) ==> g(x,y) 1(mod 4) çözümsüzdür.
ii) b1=0 ==> g(x,y)=x2+5y2 ==> g=f
Sonuç: Diskriminantı -20 olan ve 4 modunda 1'e denk değerler alabilen tek İKF f'dir.
Teorem(3)'den dolayı p 1(mod 4) olan p asalı için f(x,y)=p çözümlüdür
-20 m2(mod 4p) çözümlüdür.
-20 m2(mod 4p) çözümlüdür -5 n2(mod p) çözümlüdür 5 k2(mod p) çözümlüdür. (p 1(mod 4) olması sebebiyle) ( )=1
( )( )=(-1)(p-1)4/4 (Legendre Teoremi kaynak: From Fermat to Minkowski, ODTÜ kütüphanesi)
( )=1 ( )=1 p=5 veya p 1,4(mod 5), p 1(mod4) ==> p 1,9(mod20)
Sonuç: p=5 veya p 1,9(mod 20) ise p asal sayısı x2+5y2 şeklinde yazılabilir. (p=5==>p=02+5.12)

Soru: Hangi tek asallar m2+16n2 veya 4m2+4mn+5n2 formunda gösterilebilir.
( 35. Putnam , 1974)
Çözüm: Diskriminantı -64 olan İKF'lardan tek asal olabilenlere bakalım.
f(x,y)=ax2+bxy+cy2, b2-4ac=-64, -a<b a c
b2-4ac=-64 ==> 64=4ac-b2 4b2-b2=3b2 ==> 64/3 > b2 ==> 4 |b| ==> |b| {4,2,0} (b çift)
|b|=0 ==> ac=16 ;
2|a, 2|c ==> x,y , 2|f(x,y) olur. f(x,y) tek asal olamaz. O zaman a=1, c=16 ==>
f(x,y)=x2+16y2
|b|=2 ==> ac=17 ==> a=1, c=17 ==> a<|b|
|b|=4 ==> ac=20 a ve c'nin ikisi de çift olursa f(x,y) tek asal olamaz. O zaman c=5,
a=4 ==> -a<b a olduğundan b=4 ==>
f(x,y)=4x2+4xy+5y2
Yani diskriminantı -64 olan bir KF tek asal bir değer alabiliyorsa o KF 4x2+4xy+5y2 ya da x2+16y2 İKF'larından birine denk olmak zorundadır. O zaman

f, d(f)=-64, p tek asal, f(x,y)=p çözülebilir. 4x2+4xy+5y2=p veya x2+16y2=p
çözülebilirdir..........(1)
Teorem1'den dolayı
f, d(f)=-64, p asal, f(x,y)=p çözülebilir -64 t2(mod 4p) olan t vardır........(2)
Ayrıca
-64 t2 (mod 4p) çözülebilirdir -16 v2 (mod p) çözülebilirdir -1 u2 (mod 4p)
çözülebilirdir p 1 (mod 4) ..........(3)
(1) (2) (3) ==> p tek asal, m2+16n2 veya 4m2+4mn+5n2 p'ye eşit olabilir
p 1 (mod 4)

Kaynaklar:
Karakaş, H.İ., Aliyev, İ., (1998), Sayılar Teorisinde İlginç Olimpiyat Problemleri ve Çözümleri, TÜBİTAK Yayınları, Ankara

Karakaş, H.İ., Aliyev, İ., (1998), Analiz ve Cebirde İlginç Olimpiyat Problemleri ve Çözümleri, TÜBİTAK Yayınları, Ankara
Scharlau, W., Opolka, H., (1985), From Fermat to Minkowski, Springer, New York,
http:\\www.kalva.demon.co.uk
Korax isimli Üye şimdilik offline konumundadır   Alıntı ile Cevapla
Cevapla

Bookmarks


Konuyu Toplam 1 Üye okuyor. (0 Kayıtlı üye ve 1 Misafir)
 
Seçenekler
Stil

Yetkileriniz
Sizin Yeni Konu Acma Yetkiniz var yok
Sizin Konu Yanıtlama Yetkiniz var
You may not post attachments
You may not edit your posts

BB code is Açık
Smileler Açık
[IMG] Kodları Açık
HTML-KodlarıKapalı

Gitmek istediğiniz klasörü seçiniz

Benzer Konular
Konu Konuyu Başlatan Forum Cevaplar Son Mesaj
Dİnamolarin Tanitilmasi Ve ÇaliŞma Prensİbİnİn İncelenmesİ Yaso FiZik 0 02-15-2008 13:30


Şu Anki Saat: 02:20


İçerik sağlayıcı paylaşım sitelerinden biri olan Bilqi.com Forum Adresimizde T.C.K 20.ci Madde ve 5651 Sayılı Kanun'un 4.cü maddesinin (2).ci fıkrasına göre TÜM ÜYELERİMİZ yaptıkları paylaşımlardan sorumludur. bilqi.com hakkında yapılacak tüm hukuksal Şikayetler doganinternet@hotmail.com ve streetken27@gmail.com dan iletişime geçilmesi halinde ilgili kanunlar ve yönetmelikler çerçevesinde en geç 1 (Bir) Hafta içerisinde bilqi.com yönetimi olarak tarafımızdan gereken işlemler yapılacak ve size dönüş yapacaktır.
Powered by vBulletin® Version 3.8.4
Copyright ©2000 - 2017, Jelsoft Enterprises Ltd.
Search Engine Optimisation provided by DragonByte SEO v2.0.36 (Lite) - vBulletin Mods & Addons Copyright © 2017 DragonByte Technologies Ltd.

Android Rom

Android Oyunlar

Android samsung htc

Samsung Htc

Nokia Windows