Nejprve si uvdomme, jak vypad afinn kombinace dvou vektor a, b.
Vektor a + b je afinn kombinac vektor a, b, pokud z definice spluje podmnku + = 1. Koeficient meme vyjdit jako = 1. Meme tedy pst, e a + (1 )b je afinn kombinace vektor a, b. Dle pepeme tuto afinn kombinaci do tvaru: a + (1 )b = a + b b = (a b) + b. Tento tvar pesn odpovd parametrickmu vyjden pmky se smrovm vektorem a b, posunem b a parametrem R. Tato pmka zejm prochz body a, b (tedy je jimi urena). Sta zvolit parametr := 1, := 0. Mme ukzat, e mnoina A je afinn podprostor Rd prv tehdy, kdy pro kad dva body a, b A plat, e pmka uren body a, b je cel obsaena v A. Tedy kad bod na tto pmce mus leet v A. To lze (s pouitm fakt ve) peformulovat tak, e A m bt uzaven na vechny afinn kombinace. Budeme tedy dokazovat nsledujc: Tvrzen: A je afinn podprostor Rd a, b A, R : a + (1 )b A. Dkaz: : Nech A je afinn podprostor Rd a a, b A. Plat: a = l + v, b = k + v, kde L je njak podprostor Rd , piem l, k L a v Rd . Nech dle R. Plat: (l + v) + (1 )(k + v) = l + v + k + v k v = l k + k + v = (l + (1 )k) + v =: m + v, kde m ozname vektor l + (1 )k. Vektor m je linern (dokonce afinn) kombinac vektor l, k L s koeficienty , 1 . Tedy i vektor m pat do L. Tm pdem m + v L + v = A. : Chceme ukzat, e A je tvaru L + v, tedy potebujeme najt volbu L, v, aby byla splnna rovnost A = L + v. Zvolme v A libovoln pevn a L := A A = {a b|a, b A}. Nyn ukeme, e tato volba spluje rovnost A = (A A) + v, tedy ob inkluze: : (x)(x A x (A A) + v). Nech a A. Plat: a = a v + v (A A) + v = L + v. : (x)(x (A A) + v x A). 1 Nech x := (a b) + v (A A) + v, pro njak vektory a, b A. Zde vyuijme pedpokladu: p, q A, R : p + (1 )q A, tj. e vechny afinn kombinace vektor z A le v A. Protoe a, b, v A, meme libovoln z tchto vektor dosadit do pedpisu afinn kom- binace. Nejprve dosadme p := v, q := a a := 12 . Dostaneme: 1 1 2 v + 2 a A. Pot dosadme znovu, piem za p zvolme afinn kom- binaci - vsledn vektor z pedchozho kroku, dle zvolme q := b a := 2. Konen dostvme: 2( 12 v + 12 a) + (1 2)b = v + a b = a b + v = x A.