已知四点A(-1,3),B(1,1),C(4,4),D(3,5),求证:四阿变形ABCD是直角梯形