高数题:9.已知△ABC的三个顶点坐标分别为A(0,1,-1),B(2,-1,-4),C(4,1,5),求△ABC的面积