Проще сделать чертёж и отметить ещё точку D(7; 1).
Теперь из площади ABD вычесть площадь ADC 12,5 - 5 = 7,5
Еще можно площадь треугольника, заданного координатами вершин найти по формуле
S=|(x1-x2)(y1+y2)+(x2-x3)(y2+y3)+(x3-x1)(y3+y1)|/2
S=|0*9+5*7+(-5)*4|/2=7,5