Az $ABCD$ egyenközényben $\left(AB\parallel =DC\right)$ megrajzoljuk a tetszésszerinti $AX$ egyenest. Mutassuk meg, hogy a $C$ csúcsból az $AX$ egyenesre bocsátott merőleges egyenlő a $B$ és $D$ csúcsokból $AX$-re rajzolt merőlegesek összegével, vagy külömbségével, a szerint a mint $AX$ nem metszi, vagy metszi az egyenközényt.