Litt kronglete bevis, kanskje noen andre har et mer elegant bevis? Be my guest!
Ok. Vi starter med å uttrykke de to vektorene [tex]\vec {EF}[/tex] og [tex]\vec {HG}[/tex] ved hjelp av vektorer i firkant [tex]ABCD[/tex]
1)
[tex]\vec {EF} = \vec {EB} + \vec {BE} = \frac12 \vec {AB} + \frac12 \vec {BC}[/tex]
2)
[tex]\vec {HG} = \vec {HD} + \vec {DG}[/tex]
Regner videre på denne vektoren:
[tex]\vec {HG} = \frac12 \vec {AD} + \frac12 \vec {DC} [/tex]
[tex]\vec {HG}= \frac12 (\vec{AB} + \vec{BC} + \vec{CD}) + \frac12 (\vec{DA} + \vec{AB} + \vec{BC}) [/tex]
[tex]\vec {HG} = (\vec {AB} +\vec {BC}) + \frac12 \vec{DA} + \frac12 \vec{CD}[/tex]
[tex]\vec {HG}= 2 \cdot \vec {EF} - (\frac12 \vec {AD} + \frac12 \vec {DC})[/tex]
[tex]\vec {HG} = 2 \cdot \vec {EF} - \vec {HG}[/tex]
[tex]2 \cdot \vec {HG} = 2 \cdot \vec {EF}[/tex]
[tex]\vec {HG} = \vec {EF}[/tex]
Siden punktene[tex] EFGH[/tex] danner en firkant følger det at da må også:
[tex]\vec {FG} = \vec {EH}[/tex]
Dermed har vi bevist at firkant [tex]EFGH[/tex] er et parallellogram.