Istenilen kosulu yanlis anladigini dusunuyorum.
Istedigimiz sey "dogrunun uzerinde yer alan her noktanin verilen uc noktaya esit uzaklikta olmasi" degil, istedigimiz sey "dogrunun verilen uc noktaya esit uzaklikta olmasi". Bunu da "verilen uc noktanin dogruya esit uzaklikta olmasi" seklinde okuyabiliriz.
Bu durumda bir dogrunun bir noktaya uzakliginin ne oldugu konusunda karar vermemiz lazim. Ama bir dogrunun bir noktaya uzakliginin ne olmasi gerektigini biliyoruz.
$M$ bir metrik uzay (uzerinde guzel bir uzaklik fonksiyonu tanimladigimiz bir kume), $K \subseteq M$ bir altkume, ve $a \in M$ bir nokta olsun. $a$'nin $K$'ye uzakligini (ya da $K$'nin $a$'ya uzakligini) soyle tanimliyabiliriz: $u(a, K): = \inf_{x \in K} u(a,x)$. Bu guzel bir tanim, cunku su sonucu veriyor: Eger $a$ noktasi $K$'nin icindeyse ya da $K$'nin sinirindaysa (ya da ikisini birlestirip $K$'nin kapanisindaysa diyebiliriz) o zaman bu uzaklik sifir oluyor. Degilse, pozitif oluyor.
Simdi yukaridaki paragrafi unutabiliriz. Soruyu soyut bir metrik uzayda degil, duzlemde dusunuyoruz. Ve $K$'yi herhangi bir kume degil, bir dogru aliyoruz. Bir $a$ noktasinin $K$ dogrusuna uzakliginin da nasil tanimlandigini biliyoruz. $a$ noktasindan gecen ve $K$'ye dik olan dogrunun $K$'yi kestigi noktaya bakiyoruz (bu noktaya $b$ diyelim.). Bu durumda, $u(a,K) = u(a,b)$ oluyor. Bunun analitik geometride ezberlenen formulleri var, ama su an hatirlamiyorum. Cikarmasi zor degil. Simdi, elimizde uc tane nokta oldugunu dusunelim: $a, b $ ve $c$.
Soru sunu soruyor: $u(a, K) = u(b, K) = u(c, K)$ esitligini saglayacak kac tane $K$ bulabiliriz?