>>6
OE↑=(OA↑+OC↑)/2
OF↑=(OB↑+OD↑)/2
EF↑=(OB↑+OD↑)/2-(OA↑+OC↑)/2
=((OB↑-OA↑)+(OD↑-OC↑))/2
=(AB↑+CD↑)/2