Първо приемаме че диагоналите не се пресичат в средите си (ако е така нямаме четери точки а само 3. (т.е. дадения четериъгълник не е успоредник).
чертеж: http://vha.hit.bg/chet.jpg
доказателство:
разглеждаме триъгълник ABD:
от т.G и т.E среди съответно на DB и AB =>
GE средна отсечка и е успоредна и равна на половината на AD.
от триъгълник ACD:
F и H среди на DC и AC =>
FH средна отсечка => FH успоредна и равна на половината на AD.
от горните две средни отсечки =>
FH ||= GE (успоредна и равна)