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.