Ok, ide ovako:
Mozemo se ograniciti na konacne skupove tacaka. :)
Prvo neka je
, neki skup razlicitih tacaka (
) i
skup svih pravih koje su odredjenje elementima skupa
(jel ovako ok? :)). Skup
ima svojstvo
, ako nisu sve tacke iz tog skupa kolinearne.
Dokazac1emo obicnom indukcijom po
da je
, za svaki skup
koji poseduje svojstvo
(izostavicemo slucajeve
, jer su trivijalni).
baza indukcije: Za
. Prostom analizom slucajeva vidimo da vazi data nejednakost. :)
ind. pretpostavka: Neka za svaki skup tacaka
koji ima
elemenata i poseduje svojstvo
vazhi data nejednakost.
ind. korak: Dokazimo da sada za svaki skup tacaka
koji ima
element i poseduje svojstvo
vazi data nejednakost.
U tom slucaju mozemo iz skupa
mozemo izdvojiti podskup koji ima
elemenata i poseduje svojstvo
(u suprotnom bi svakih
tacaka iz toga skupa lezale na jednoj pravoj, pa bi i sve tacke skupa
lezale na jednoj pravoj zbog
, sto bi bila kontradikcija). Neka je ostala tacka
posle izdvajanja skupa od
tacaka sa svojstvom
iz skupa
. Po induktivnoj pretpostavci je
. Sada je dovoljno dokazati da tacka
sa nekom od preostalih tacaka obrazuje pravu koja nije element
. Pretpostavimo suportno tj. da svaki element skupa
sadrzhi tacku
. Kako je
to je
, pa postoje tri nekolinearne tacke iz skupa
. Neka su to
. Po pretpostavci vazhi da prave
sadrze tacku
, pa se one seku u jednoj tacki. Ovo je kontradikcija jer te prave sadrze stranice trougla
(svojstvo
).
Znaci bar jedan od elemenata skupa
ne sadrzi
, pa vazhi
.
Ovim je dato tvrdjenje dokazano.