По введенным координатам 3 точек на плоскости вычислить определить соответствующий треугольник

const
  pi = 3.1415926;
type
  vertex = record //вершина
    x : real; 
    y : real
  end;
var
  triangle : array[1..3] of vertex; //треугольник
  a : array[1..3] of real;
  p : array[1..3] of real;
  i : byte;
  z, s, a12, a23, a13 : real;
begin
  p[1] := 0; p[2] := 0; p[3] := 0; s := 0;
  {ввод координат вершин треугольника}
  repeat
    write('введите координаты вершины A треугольника ABC: ');
    readln(triangle[1].x, triangle[1].y);
    write('введите координаты вершины B треугольника ABC: ');
    readln(triangle[2].x, triangle[2].y);
    write('введите координаты вершины C треугольника ABC: ');
    readln(triangle[3].x, triangle[3].y)
  // проверка чтобы 2 или 3 вершины не совпали
  until
    (triangle[1] <> triangle[2]) and (triangle[2] <> triangle[3])
    and (triangle[1] <> triangle[3]); 
  {расчет периметра и вывод его на экран}  
  p[1] := sqrt(sqr(triangle[1].x-triangle[2].x) + sqr(triangle[1].y-sqr(triangle[2].y)));  
  writeln('сторона AB имеет длину: ', p[1]:6:3); 
  p[2] := sqrt(sqr(triangle[1].x-triangle[3].x) + sqr(triangle[1].y-sqr(triangle[3].y)));  
  writeln('сторона AC имеет длину: ', p[2]:6:3);  
  p[3] := sqrt(sqr(triangle[3].x-triangle[2].x) + sqr(triangle[3].y-sqr(triangle[2].y)));  
  writeln('сторона BC имеет длину: ', p[3]:6:3);
  z := p[1] + p[2] + p[3];
  {углы}
  // по теореме косинусов
  a[1] := arccos((sqr(p[2]) + sqr(p[1]) - sqr(p[3])) / (2 * p[2] * p[3])) * 180 / pi;
  a[2] := arccos((sqr(p[1]) + sqr(p[3]) - sqr(p[2])) / (2 * p[1] * p[3])) * 180 / pi;
  a[3] := 180 - a[2] - a[1];
  {вывод таблицы}
  writeln('вывод координат треугольника и углов треугольника: ');
  for i := 1 to 3 do
    writeln('x = ', triangle[i].x:6:3, ' y = ', triangle[i].x:6:3, ' угол = ', round(a[i]));  
  writeln('периметр треугольника ABC равен: ', z:6:3);
  {нахождение площади}
  s := sqrt((z / 2) * ((z / 2) - p[1]) * ((z / 2) - p[2]) * ((z / 2) - p[3]));
  writeln('площадь треугольника ABC равен: ', s:6:3);
  readln  
end.