Merhaba.
Gene türev uygulamalarına devam ediyoruz yeni bir
yöntemle yeni bir problem türüyle.
Burada en iyiyi aramaya çabalıyoruz.
Ama belli bir kısıtlama altında.
Bakınız bu problem nasıl oluşuyor.
Genel teoriye girmeden önce bir örnekle başlayalım.
Örnek çok basit, geometriden de biliyorsunuzdur.
Çevresi aynı olan yani çeperi aynı olan dikdörtgenler arasında
en geniş alanı olanın boyutunu bulunuz.
Şimdi bu sözel problemi.
Matematiksel gösterime gelelim.
Bir diktörtgen var.
Bi kenarı x.
Öbür kenarı y.
Biz bunun en büyük alanını bulacağız.
Bu x, e, dikdörtgenler arasında.
Ama şöyle bir kısıtlama da var.
Eğer kısıtlama olmazsa en büyük alan sonsuzdur.
Kısıtlama olduğu için zaten bir en iyiyi arama problemi oluşuyor.
Çeperi de diyoruz bunun aynı olacak bütün dikdörtgende.
Mesela böyle bir dikdörtgen aldığınız gibi şöylesine bi dikdörtgen de alabilirdiniz.
Şöyle gayet yassı bi dikdörtgen de alabilirdik.
Bütün bu çeperi aynı kalmak şartıyla sonsuz tane dikdörtgen var.
Biz bunlar arasında alanı en büyük olanını buluyoruz.
Şimdi alan bi kenarı x'se bu dikdörtgenin, öbür kenarı y ise x y olur.
Yani x ve y'nin iki değişkenli fonksiyonun yapısı x y'dir.
Burada x artı y eşittir p yani p
yarı çeper oluyor bu tam çeper iki p olmak üzere.
Bu bir kısıtlama.
Çünkü x ve y'nin artık tamamen bağımsız olduğunu kabul edemiyoruz.
O zaman x ve y tamamen bağımsız olsa sonsuz olacak alan yani bir
optimizasyon problemi en iyiyi bulma problemi kalmayacak.
Buna da x artı eksi p eşit sıfır diyelim.
Bu da gene x ve y'nin fonksiyonu olan iki değişkenli bir fonksiyon.
Ona da g x y diyelim.
Dolayısıyla problemin genellemesinde bize verilen bir z eşittir f x y fonksiyonunun
g x y eşittir sıfır kısıtlaması altındaki en iyi çözümünü bulmak istiyoruz.
Şimdi biz bu problemi anlamaya çalışalım.
z eşittir x y bir eğer yüzeyi gösteriyor.
Bunu birinci kısmın özetleri arasında kolaylıkla bulursunuz.
Biraz daha ayrıntılı hatırlamak isterseniz birinci
kısmın notlarına da bakabilirsiniz.
Bunun eşit değer çizgilerini yaparsak,
yani z eşittir bir sabit dediğimiz zaman y eşittir o sabit bölü x.
Bunun bi hiperbol olduğunu biliyoruz.
Bu hiperboller de bunlar.
Diğer taraftan x artı y eşittir p diyoruz.
Buna da p'yi de somutlaştırmak için burada konuyu iki seçelim.
Bu da bi doğru.
y eşittir sıfırda ikiden geçen x eşittir sıfırda ikiden geçen,
eğimi de eksi bir olan bu doğru.
Bakınız bu doğruyu çizince de bu eşit değer çizgilerinden bi
tanesine teğet geliyor.
Şimdi biz bunu nasıl çözebiliriz?
Bu değişik yönlerden çözülebilir.
Üç değişik yoldan çözülebilir.
Madem ki elimizde x'le y arasında bi ilişki var
buradan y'yi çözüp bu fonksiyonda yerleştirdiğimiz zaman
bu iki değişkenli fonksiyonu tek değişkenli fonksiyona indirgeriz.
Yani işlem şu: z eşittir x y'ydi.
Ama x artı y de p'ydi.
Buradan y'yi çözdüğümüz zaman p eksi x olur.
Demek ki x çarpı p eksi x.
Gördüğünüz gibi bu sadece x'e bağlı tek değişkenli bir fonksiyon.
Bunun en büyük en küçük değerini bulmak çok kolay.
Bunun bu z'nin x' göre türevini aldığımız zaman bakınız buradan p
eksi x kareden de iki x gelip eşittir sıfır.
Buradan da x p bölü iki.
x p bölü iki olunca da y de p bölü iki yani bu dikdörtgenler arasında,
çeperi aynı olan dikdörtgenler arasında alanı en büyük dikdörtgenin bi
kare olduğunu buluyoruz.
Bunu zaten geometriden de biliyoduk.
Buna karşıt gelen en büyük alan da x ve y'yi p bölü iki
seçtiğimiz zaman gördüğünüz gibi buradan p kare bölü dört çıkar.
Bu işlemi görsel olarak da canlandırabiliriz.
z x düzleminde gördüğünüz gibi böyle bir parabol var.
Bu parabol aşağı bakan bir parabol.
x eşittir p'de sıfır.
x eşittir sıfırda gene sıfır.
p bölü ikide de en büyük değerine ulaşıyor.
Bunun ikinci bi yolu daha var.
Bu ikinci yolu zincirleme türev kuralıyla çözmek.
Çünkü biz bu kısıtlamadan y ile x arasındaki fonksiyonu biliyoruz.
Demek ki y x'in bir fonksiyonu.
Total tam türevi hesaplarsak f'nin x'e göre tam türevi,
f'nin x'e göre kısmi türevi artı f'nin y'ye göre
kısmi türeviyle y'nin x'e göre türevidir.
Bunu kullandığımız zaman bakınız x'e göre kısmi türev y buradan.
Artı y'ye göre kısmi türev x.
y'nin de x'r göre türevi eksi bir.
Buradan hemen gördüğünüz gibi iki denklem var y ve x için.
Ve buradan da zaten y eksi y'nin p eksi x olduğunu biliyoruz.
Veyahut da bunu düzenlersek y artı x eşittir p.
Buradan da, tam türevden de eksi x artı y bulduk.
İki bilinmeyenli iki denklem.
Bunu çözdüğümüz zaman da gene bi önceki örnekte olduğu gibi x'in ve
y'nin değerlerinin bunu en
büyük yapan değerlerinin p bölü iki olduğunu buluyoruz.
Olması gerektiği gibi aynı sonucu elde ediyoruz.
Dolayısıyla ilk problemde bilinmeyen sayısını azalttık.
Nasıl azalttık?
Bu kısıtlamayı kullanarak y'yi x cinsinden yerine koyduk tek değişkenli bir
fonksiyon haline getirdik.
Burada iki değişkenli tuttuk.
Ama bu iki değişkene zincirleme türev kuralını kullanarak bu zincirleme
türev kuramın, yönteminde de x'le y arasındaki kısıtlamayı kullanarak bulduk.
Yani burada denklem ve bilinmeyen sayısını değiştirmedik.
Denklem de iki bilinmeyene iki denklem oldu.
Bi önceki yapıda bi bilinmeyene bi denkleme indirdik.
Şimdi ne olabilir diye düşünebilirsiniz.
Önce bilinmeyen sayısını azalttık.
Burada bilinmeyen sayısını aynı tuttuk.
Bir de diyebilirsiniz ki belki bilinmeyen sayısını artırarak bir şey yapılabilir.
Gerçekten işte bu da üçüncü yöntem oluyor.
Burada şöyle: Bize z eşittir x y verilmişti.
Bi de bu kısıtlama var.
Şimdi bu kısıtlamayı buraya eklersek ama sıfır olarak,
x artı y eksi p diye düşünelim.
x y'den eksi olarak sıfırı çıkarırsak veyahut
eklersek nasıl baktığınıza bağlı bu sefer üç bilinmeyenli bir denklem elde ediyoruz.
Bi üç bilinmeyenli bir fonksiyon elde ediyoruz.
x'in y'nin ve bu sıfırı çarpan katsayının.
Çünkü bunu bi şeyle çarpmamız lazım çünkü sıfırı neyle çarparsanız gene
sıfır olacak.
Dolayısıyla burada bir serbestlik, esneklik var.
Demek ki problemi burada kısıtlaması olmayan, çünkü burada kısıtlamayı içeriyor
bu yeni fonksiyon ama değişken sayısı üç olan bir probleme genişlettik.
Şöyle düşünebiliriz: İlk yaklaşımda
iki boyutlu uzaydan çünkü x ve y serbest bağımsız değişkenleri vardı.
Bi tanesini kısıtlamayı kullanarak azalttık ve
tek boyutlu uzaya indirgedik yani daralttık uzayı.
İkinci yöntemde daraltmadık.
Aynı bıraktık.
Burada ise uzayı genişlettik.
İki boyuttan üç boyuta genişlettik.
Yapay da görseniz yeni bir bilinmeyen, yeni bir değişken ekleyerek.
Şimdi burada demek ki artık kısıtlama kalmadı.
Kısıtlamayı içeriyor bu yeni fonksiyon.
Bu fonksiyonun uç değerlerini bulmak demek,
bunun birinci türevlerinin sıfır olması demek.
g'nin bu büyük g fonksiyonu dedik buna, x'e göre türevi sıfır,
y'ye göre türevi sıfır, landa'ya göre de değeri sıfır.
Landa'ya göre e türev fevkalade basit çünkü landa
burada doğrusal olarak kendi başına görünüyor.
Dolayısıyla landa'ya göre türevi aldığımız zaman bu
kısıtlamadan başka bir şey çıkmıyor.
Dolayısıyla kısıtlamayı burda tekrardan elde ediyoruz.
Ama burada gördüğünüz gibi bilinmeyen sayısını artırdık ama
buna karşılık denklemlerimiz çok basitleşti.
Bu üç bilinmeyenli daha basit denklemlerden hemen görürüz.
Burdan y'nin landa x'in de landa olduğunu anlıyoruz.
Burdan x'e y'nin eşit olduğunu buluyoruz.
x'le y eşitse bunları bu üçüncü denklemde yerleştiriyoruz.
Burdan da x'in ve y'nin teker teker p bölü iki olduğunu görüyoruz.
Şimdi demek ki üç değişik yöntem yaptık.
Şimdi bun, bunlardan hangisini kullanalım?
Bu landa'ya lagrange çarpanı deniyor.
Dolayısıyla yöntemlerden bir tanesi burada incelediğimiz yöntem
kısıtlamalar altında uç değerler ve lagrange çarpanı.
Şimdi sizi bir yere oturtsalar dar böyle,
uzayınızı daraltsalar biraz sıkıntı olabilir.
Burda uzayı genişletiyorsunuz.
Daha bir ferah uzaya getiriyorsunuz gibi bakabilirsiniz.
İşte bu lagrange yöntemi hesapların en kolay yapılabildiği yöntemdir.
Bunun eşdeğerleri var, bu örnektede gördüğümüz gibi ama örnek çok
basit olduğu için kısıtlama çok basit, buradan y'yi hemen x cinsinden bulabildik.
Ama düşününüz ki burası karışık bir denklem olsaydı,
burdan y'yi x cinsinden çözemeyebilirdik.
Çözemeyince de ikinci yöntemi ve birinci yöntemi kullanamazdık.
Geriye sadece bu lagrange yöntemi kalırdı.
Onun için lagrange yöntemi önemli.
Bazı durumlarda, çok basit problemlerde her üç yöntem de kullanılabilir.
Hatta ilk ikisini daha kolay bile görebilirsiniz.
Ama gerçek problemlerde y,
verilen kısıtlamadan y'yi x cinsinden çözmek pek kolay olmaz.
Onun için bu lagrange yöntemi önemlidir.
Bir örnek daha yapalım.
Bunu ama ödev olarak yolunu gösterip sizin bulmanızı istiyorum.
Toplamları bir ve karelerinin toplamı da en
küçük olan iki sayıyı bulalım istiyoruz.
Bunu biraz önce yaptığımız gibi tek değişkenli fonksiyona indirgemeyle,
zincirleme türev kuralını kullanarak iki değişkenli ve
lagrange çarpanını kullanarak üç değişkenle bulmak istiyoruz.
Bu problemin bir eş anlamıda var.
x artı y eşittir bir bir doğru.
Düzlemde bir doğru.
Burdan koordinat denkleminin,
koordinat takımının başlangıcına en kısa yolu düşünürsek x kare artı y karedir.
Bu çizgi üzerinden merkeze uzaklık x kare artı y karedir.
Bu da kısıtlama.
İşte bunun da, gene burada da çok basit bir denklem var kısıtlama olarak.
Burdan y'yi çözebiliriz x cinsinden.
Dolayısıyla birinci ve ikinci yöntemleri uygulamak mümkün olur.
Ama bunu birde lagrange çarpanıyla yapmak istiyoruz.
Kolaylıkla da bulabileceğiniz gibi x ve y birbirine eşit çünkü problem simetrik.
x ve y aynı yapılarda görünüyor her iki denklemde de.
Bunların toplamı da e,
bir olduğu için her ikisi de bir bölü ikişer oluyor.
Bir bölü ikinin karesi bir bölü dört artı bir
bölü ikinin karesi gene bir bölü dört toplam bir bölü iki çıkıyor.
Bunu sizin de çok kolay yapabilmeniz mümkün.
Burada geometri gösteriliyor.
Bakınız z eşittir x kare artı y kare bir paraboloid, yukarıya bakan bir paraboloid.
Bunun düzlemdeki eş, eşit değer çizgilerine bakarsak, yani yataydaki
düzlemle kesitlerine bakarsak, öyle aynı merkezli çemberler çıkacaktır.
x artı y eşittir bir doğrusuna bakarsak da,
gene bu eğimi eksi bir olan x eşittir sıfırda y eşittir birden,
y eşittir sıfırda x eşittir birden geçen doğru bunu gördüğünüz gibi buda e,
z eşittir bir bölü iki eşit değer çizgisine teğet oluyor.
Gene benzer olarak burdan y'yi çözseniz x cinsinden
yerleştirince elde edeceğiniz fonksiyon böyle bir parabol.
Bunun diğer problemden şöyle bir farkı var.
Bir önceki probemde de gene böyle ikinci derece fonksiyonlar oluşmuştu.
Doğrusal bir kısıtama fonksiyonu vardı ama onda en büyük değeri arıyorduk.
Burada ise en küçük değeri arıyoruz.
Bu da tabi uç değer dediğimizde zaten en küçük ve en
büyük değerlere verilen ortak ad.
Şimdi lagrange çarpanı yönteminin
niye çalışıyor, niye anlamı nedir bunu belirlemeye çalışalım.
Geometrik yorumu şöyle: Bize veriliyor z eşittir x ve y'nin fonksiyonu.
Bir iki bilin, iki değişkenli bir fonksiyon.
Birde x'le y arasında da bir kısıtlama veriliyor sıfır olarak,
her zaman bu kısıtlamayı belirleyebiliriz.
Gene burada görüyorsunuz her zaman karmaşık bir fonksiyon olsa bu g,
y'yi x cinsinden çözemeyebiliriz onun için
lagrange yöntemi en işlerliği olan yöntemdir.
Biz buradan verilen bu fonksiyona, dan bir
sıfır çıkararak dolayısıyla sayısal değeri değişmeyen yeni bir fonksiyon üretiyoruz.
Bu fonksiyon ise üç değişkenli.
Bu üç değişkenli fonksiyonun landa'ya göre türevi bize bu
kısıtlamadan başka bir şey değil bu.
Onu tekrar üretiyor.
Bu da iyi bir şey çünkü tutarlı olduğunu gösteriyoruz.
Görüyoruz.
Bu üç değişkenli fonksiyonun x'e göre türevini alıyoruz, sıfırlıyoruz
Bakınız x'e göre türevini alınca, f'nin x'e göre türevi eksi landa değişmiyor.
Çünkü x'e göre türev alıyoruz.
g'nin x'e göre türevi ve bunları benzer işlemi de y'ye
göre türev yapınca gördüğünüz gibi üç bilinmeyen üç denklem oluşuyor.
x, y ve landa bilinmeyenleri için bir tanesi kısıtlama denklemi olan diğer ikisi
de bu üç değişkenli fonksiyonun x ve y'ye göre türevlerinden oluşan iki denklem.
Şimdi bu ikinci ve üçüncü denklemi birleştirirsek bakınız burada e,
landalı terimi sağa alalım.
f'nin x'e göre türevi, f'nin y'ye göre türevi.
Bunları bileşen olarak düzenlersek bu gradyan f oluşur.
Sağ tarafta da landa çarpanı dışında g'nin x'e göre türevi birinci bileşen.
g'nin y'ye göre ikinci türevi ikinci bileşen olmak üzere gradyan g olur.
Şimdi hemen şu bilgiyi veriyor bize: Gradyan f'nin dersin ilk kısmında gördük
anlamı şudur: Bu eşit değer çizgiden f x y eşittir
bir sabit koyduğunuz zaman her zaman o sabitlere dik doğrultuyu verir.
Gradyan g de zaten burada g x y eşittir sıfır bu
eğriye dik olan bir vektör.
Şimdi bunları çizersek şematik olarak,
f x y herhangi bir c değerine eşit olduğu zaman böyle bir eğri olsun.
g x y gene böyle bir eğri.
Tabii c keyfi olduğu için f x y eşittır c bir,
c iki sonsuz tane böyle eğri çizebilirsiniz.
Ama bunlardan bir tanesi veya birkaç tanesi,
sonlu sayıdaki olanı g x y'ye teğet olacak.
Çünkü bu birleşim noktasında, bu ikisinin değdiği noktada ancak bu gradyan g'yle
gradyan f'nin gösterdikeri vektörlerin paralel olduğunu görüyoruz.
Çünkü bir vektör bir başka vektörün bir katıyla bir
sayıyla çarpılmasına eşdeğer geliyorsa bu iki vektör birbirine paraleldir.
Dolayısıyla lagrange çarpanı yönteminin anlamı bu.
Verilen f fonksiyonunun gradyanıyla g fonksiyonunun gradyanının
birbirine paralel olduğu yerlerde çözüm oluşuyor.
Tabi birden fazla çözüm de oluşabilirdi mesela bu eğrinin düşününüz böyle
gidiyor tekrar geliyor bir daha teğet olabilirdi veya burada bir başka fxy
eşittir c'ye teğet olabilirdi ama sonlu sayıda çıkardı.
Çok istisnai bir durum olarak bu bu yüzeyin içinde bir eğriyse o zaman zaten
yapacak bir şey yok Sonsuz çözüm çıkardı o zaman ama bu çok istisnai bir şey.
Şimdi Lagrange yönteminin zincirleme türevle
eşdeğerliğini de düşünelim çünkü aynı problemi zincirleme türevle de
çözebiliyoruz Lagrange çarpanıyla da çözebiliyoruz.
Bakınız Lagrange çarpanıyla f'nin x'e göre tam türevini alırsak bunu en büyük veya
en küçüğünü, uç değerini bulmak istiyoruz, dolayısıyla bu sıfır olmak zorundadır.
Bunun zincirleme türevi f'nin x'e göre kısmi türevi,
f'nin y'ye göre kısmi türevi ve y'nin x'e göre türevi bu uç değer olması nedeniyle.
Diğer tarafta g zaten sıfır dolayısıyla g'nin herhangi bir türevi de sıfır,
bunun sıfır olma nedeninin farklı olduğunu görüyoruz ama sonuçta bu da sıfır.
Bunun zincirleme türevinden x'e göre
kısmi türev y'ye göre kısmi türevle y'nin x'e göre çarpılması.
Şimdi bu iki denklemi birleştirirsek kısa yazılımla fx bunu y,
dy dx'i sağa alalım eksi fy kere dy dx olur.
Burada da dy dx var bakınız gx x'e göre kısmi türev
eşittir sağ tarafa alınca eksi işareti dy dx kere gy.
Bu ikisi arasındaki Lagrange yöntemine benziyor çünkü gradyan f gradyan g'ydi.
Buradan dy dx'i çözersek, ve lambdayla
karşılaştırırsak lambdanın buradaki kısmi türevlerle ilişkisini buluyoruz.
Yani bu kavramsal olarak zincirleme türevin eşdeğeri, fakat
işlemsel olarak zincirleme türevi yapmak pek çok halde ve gerçek problemlerde
hemen hemen mümkün değildir çünkü y'yi x'in fonksiyonu olarak bilmemiz lazım.
Pek çok problemde bu bilinmez sadece x'le y arasında bir kapalı
fonksiyon ilişkisi bulunur, o bakımdan uygulanamaz ama yapılan işlem bu
bilinseydi kavramsal olarak lambdanın böyle bir anlamı olduğunu görüyoruz.
Bu bir tekrar oluyor
bu f eşittir
xy birinci örnekte bunun sabit değerleri için
mesela bir için bu hiperbol çifti, bu ve buradaki eksi
bir için bu hiperbol çifti, dört için bu hiperboller tabi iki
üç arada hepsi de var ama burada çizimi fazla karıştırmamak için böyle yapıyoruz.
x artı y eşittir birde bir doğru hakikaten çözümün
oluştuğu noktanın da bir bölü iki olduğunu biliyoruz ve işte burada
bu noktada f fonksiyonunun bir herhangi bir değeri
mesela buna teğet değil bizim kısıtlamamız z'nin ancak bir
değerinde bu çözüm oluşuyor bu çözümün oluştuğu nokta da bu her
iki çizginin dik vektörlerinin aynı doğrultuda olması.
Bu doğrunun dik vektörü tabi ki doğruya dik vektör bu
hiperbol eğrisinin dalının dik
vektörü de gene bakınız gördüğünüz gibi bu şekil makul bir ölçeklilikle
tutarlılıkla çizildiği için bunların ikisinin de aynı yönde olduğunu görüyoruz.
İkinci problemde de z eşittir x kare artı y kare vardı bunun eşit
değer çizgilerinin öyle değişik z eşittir bir bölü dört
bir bölü iki gibi çeşitli değerlerde çemberler olduğunu görüyoruz.
Kısıtlama çizgisi de kısıtlama koşulu da x artı y eşittir bir,
o da bu doğru gerçekten de görüyorsunuz ki çözümün oluştuğu noktada bu doğru
bir eşit değer çizgisine teğet oluyor.
Bu nitekim bu noktada iki dik vektör aynı yönde oluşur bu da anlamı oluyor.
Size bir ödev veriyorum,
alanı altı olan bir levhadan tabanı kare olan
en büyük hacimli dik prizma biçimindeki kapalı kutuyu yapmak istiyoruz.
Bu kutunun boyutları ne olmalıdır.
Bunu basit geometriden düşünebilirsiniz dik prizmalar içinde yan yüzeyi
aynı olanların arasında en büyük hacim küpünküdür.
Burada gene sözel problemden matematik diline geçişi yapalım.
Uç değeri bulunacak fonksiyon tabanı kare olduğu için kare
tabanına boyutlarına x diyelim tabanı xx olan kare
bu x kare yüksekliğini bilmiyoruz y olsun, bu da y.
Bu uç değeri bulunacak fonksiyon ama bu hiç kısıtlamasız değil,
hiç kısıtlamasız olsa sonsuz çıkar gene, dolayısıyla anlamlı bir problem olmaz.
Hayatta da yaşamda da zaten kısıtlamalar olmayınca iş dağılır gider.
Doğada da böyle insan yaşamında da böyle verdiğimiz kararlarda da
böyle ekonomide de böyle kısıtlamasız optimizasyon yok.
Bu kısıtlama fonksiyonunu düşünelim kısıtlama fonksiyonu nedir,
yan yüzeyleri bu karenin üzerine inşa edilmiş demek ki
dört tane bunlardan var bu yüzeylerin tabanı x,
yüksekliği y, dört tane bunlardan var.
İki tane de alt ve üst kapak var bunlar da kare her biri
x kare olduğu için iki tane alt üst kapağı koyunca da iki x kare, bunlar da altıya
eşit olsun diyoruz ve bunu kısıtlamayı gxy eşittir sıfıra getirebilmek
için altıyı sola aldığımız zaman bu da kısıtlama fonksiyonumuz oluyor.
Tabi bunu gene başka türlü ilk yöntemler gibi yapabiliriz
ama burada esas yapmak istediğimiz artık Lagrange çarpanına alışmamız.
Zaten biliyoruz geometriden bunun bir küp çıkacağını x eşittir y eşittir
bir olacaktır, bu durumda da hacim gene bir olacaktır
ve gerçekten de x eşittir y eşittir bir koysanız buradan da altı
olduğunu görüyorsunuz iki artı dört altı eksi altı eşit sıfır.
Şimdi biraz daha karışıkça bir fonksiyonlar alalım
ki Lagrange çarpanı yönteminin uygulanabilirliğini görelim.
Şimdi böyle bir fonksiyon olsa buradan y'yi kolay çözemezsiniz var
aslında kübik denklemin çözümü ama bunu uygulamak filan fevkalade zor
dördüncü kuvvet olsa hele hiç çözüm yapamazsınız.
Böyle bir fonksiyonun koordinat denkleminin başlangıcına olan
en yakın noktasını bulmak istiyoruz ve bunun uzaklığını belirlemek istiyoruz.
Şimdi bir kere bu eğri üzerindeki herhangi bir noktanın
koordinatları x ve y dersek bunların nerede olduğunu bilmiyoruz
çünkü x ve y serbest değişkenler x kare artı y karedir bunun koordinat denkleminin
başlangıcına uzaklığının karesi ama karesinin en büyüğünü bulmak
da kendisini bulmak aynı şey onun için karekökle uğraşmamak için uzunluk desek
karekökünü de almak lazım ama mesela bu luzumsuz karıştıracağı için uğraşmıyoruz.
Ama böyle de bir kısıtlamamız var diyoruz ki x ve y
düzlemde herhangi bir noktada değil bu eğrinin üzerinde.
Bu da kısıtlamamız demek ki x ve y bu
eğrinin üzerinde bulunmaları demek bu denklemi sağlamaları demek.
Dolayısıyla bu fonksiyonun gradyanını aldığımız zaman
iki x eşittir lambda kere bunun gradyanı ikinci bileşeni
de iki y bunun ikinci bileşenine eşit gradyanın ve buradaki
problemi çözersek x eşittir y eşittir üç buluyor gene buralarda bu hesapla
uğraşmayın diye çok basit hesabı olacak problemleri seçtik ki hesap karışıklığı
ana yöntemi içselleştirmenizi anlamanızı engel olmasın diye.
Burada yerleştirmeyle buradan y'yi çözeceksiniz götürüp
burada yerine koyacaksınız garip bir fonksiyon çıkacak bu mümkün aslında çünkü
kübik denklemin çözümü var ama dördüncü kuvvetler olsaydı onu hiç yapamazdınız.
Burada işte görüyoruz ki Lagrange yöntemi tek çözümdür bu durumlarda
