Sakrij rješenje
Neka je konačan skup točaka u ravnini. Neka je skup pravaca pridruženih skupu takav da je za svaki suma kvadrata udaljenosti točaka iz od minimalna.
a) Ako je osnosimetričan s obzirom na pravac i nema točaka na , mora li neki biti osnosimetričan s obzirom na ?
b) Ako je centralnosimetričan s obzirom na točku i ne sadrži , mora li svaki biti centralnosimetričan s obzirom na ?
(Borna Šimić)
Kliknite ovdje kako biste prikazali rješenje.
a) Barem jedan od pravaca mora biti osnosimetričan odnosno biti ili okomit na os simetrije ili sama os simetrije.
Postavimo Kartezijev koordinatni sustav tako da neki od pravaca koji su rješenja prolaze kroz ishodište i tako da je -os os simetrije skupa .
Neka su i , elementi skupa .
Zbroj udaljenosti elemenata skupa od -osi je . Označimo tu sumu s .
Zbroj udaljenosti elemenata skupa od -osi je . Označino tu sumu s .
Ostale pravce kroz ishodište možemo prikazati u implicitnom obliku kao . Kvadrat udaljenosti točke od takvog pravca je dan formulom .
Sada primjenom te formule na točke iz dobivamo da je traženi zbroj kvadrata udaljenosti jednak
Dokažimo . Bez smanjenja općenitosti možemo pretpostaviti . Tada vrijedi kao što smo i htjeli pokazati. Dakle, je minimalna suma kvadrata udaljenosti. Time je dokaz završen.
b) Svaki pravac mora biti centralnosimetričan, to jest, prolaziti kroz centar simetrije.
Označimo sumu kvadrata udaljenosti točaka iz skupa od pravca sa . Podijelimo točke u parove na taj način da označava točku centralnosimetričnu sa i primijetimo da Fiksirajmo smjer pravca i promatramo neku klasu paralelnih pravaca. Za svaki par je očito minimalno kad pravac prolazi između (inače ga možemo približiti obje točke istodobno). Za pravce između i vrijedi , i a minimum zbroja kvadrata udaljenosti se postiže kad su udaljenosti jednake, to jest kad pravac prolazi kroz polovište dužine , što je ujedno i centar simetrije skupa . Budući da se za svaki par i za fiksan smjer minimum postiže za isti pravac, minimum za klasu pravaca tog (i svakog drugog, analogno) smjera se postiže kad pravac prolazi kroz centar simetrije pa mora prolaziti kroz centar simetrije.