Почему Индекс находится вне границ массива ?

Судя по строке вида „for var i:=1 to n do“ — это PascalABC.Net
Но, тогда что за ересь в остальном коде?
Типа:
« if (p1*p2*p3>0) then ostr:=true; »

А за такое в условии
«if (t=1) and (ostr(a[i],a[j],a[k])=true) then»
вообще нужно отлучать от компьютера и предавать анафеме!

И чему у вас равно значение переменных imn, jmn, kmn, если условие не разу не выполнится?
А я вам скажу чему.
Все три значения будут 0.
Массив у вас индексируется с 1, если что?

Есть там проблема, imn в этой строке может быть равен нулю.

Это очень трудно

ну я смотрю ответов много но по существу ноль (прям как ошибка)

чтож поехали, проблема у нас в этой секции
//такс, условие гласит что треугольник должен лежать во второй четверти и быть острым + с минимальным периметром среди всех найденых
//и мы сразу же летим инкрементить количество найденышей как только детектим вторую четверть...
inc(t);
//и только теперь мы смотрим а не острый ли это треугольник, и тут же смотрим а не во второй ли он четверти
//хотя торчим мы под тремя if которые на эту вторую четверть заточены...
if (t = 1) and (ostr(a[i], a[j], a[k]) = true) then
begin ...end
else
//не не острый? или он не во второй четверти? (yes but actualy no)
//ну так ты подожди давай ещё раз проверим, а попутно посмотрим может периметр отрицательный?!
//ведь минимальный периметр не инициализирован и равен 0!
if (per(a[i], a[j], a[k]) < mn) and (ostr(a[i], a[j], a[k]) = true) then
begin ...end;

в итоге вы вообще можете не зайти в условия и индексы останутся нулевыми, что недопустимо

далее оптимизации (рано но полезно) - чуть выше есть такой
//окей заполняем пока все норм
for var i := 1 to n do
begin
a[i].x := -10 + 20 * random;
a[i].y := -10 + 20 * random;
end;
writeln('Полученные точки');
//но вот это зачем?! вы два раза ходите по одному и тому же месту и это n лишних прогонов
for var i := 1 to n do
begin
write(i:2, '(', a[i].x:5:2, ';', a[i].y:5:2, ') ');
if i mod 5 = 0 then writeln;
end;

ещё одна вещь - переменная t - зачем она? её можно заменить на Boolean который будет просто говорить правда или ложь

далее то за что я недолюбливаю Pascal - нельзя присвоить значение внутри условия. т. е. я немогу сделать так
if ((tmp := per(a[i], a[j], a[k])) < mn) then mn := tmp;
хотя это красиво и экономит вызов функции
вместо этого я вынужден писать так
tmp := per(a[i], a[j], a[k])
if (tmp < mn) then mn := tmp;

хотя нужна новая переменная но это быстрее чем считать дважды.

и ещё одна вещь (да да ты не Джеки) - проверка остроты там есть одна странность
if (p1*p2*p3>0) then ostr:=true;
т. е. если правда то вернуть правду? я правильно понял? но зачем все эти трудности если можно просто вернуть результат сравнения
ostr:=(p1*p2*p3>0);

итого это можно исправить до такого

...
function ostr(a, b, c: point): boolean;
...
begin
...

Result := (p1 * p2 * p3 > 0);
end;

...

var
a: array[1..50] of point;
n, imn, jmn, kmn: integer;
mn, tmp: real;
found: Boolean;

begin
found := false;
...
writeln('Полученные точки');
for var i := 1 to n do begin
a[i].x := -10 + 20 * random();
a[i].y := -10 + 20 * random();
write(i:2, '(', a[i].x:5:2, ';', a[i].y:5:2, ') ');
if i mod 5 = 0 then writeln;
end;

writeln;
for ...
if ch2(a[k]) and ostr(a[i], a[j], a[k]) then begin
tmp := per(a[i], a[j], a[k]);
if (mn = 0) or (mn > tmp) then begin
found := true;
mn := tmp; imn := i; jmn := j; kmn := k;
end;
end;
if not found then write('Треугольников соответствующих условиям нет')
else begin
...
end;
end.

В какой именно функции? В какой строке?

странно, я проблем не вижу... но, скорее всего, ищите в imn, jmn, kmn