правильно ли работает программа?

[ITdocer]

program les;
uses crt;
var a,b,x,y:Integer;
const tr=30000;
begin
  textcolor (white);
  clrscr;
  Write('Vvedite X=');
  Readln(x);
  Write('Vvedite Y=');
  Readln(y);
    for a:=0 to tr do
      for b:=0 to tr do
    begin
      if (a+b=x)and(a*b=y) then
      begin
        WriteLn('a=',a);
        Writeln('b=',b);
      end;
    end;
  Readln;
end.

задание программы находит все возможные пары чисел А и В за входящими данными Х и У, такие,как А + В=Х,А* В= У,А,В,Х,У - целые числа,не больше по модулю 30000.

[Костя КС]

правильно, если считать, что A,В,Х,У - целые положительные числа.
Я бы сделал так:

program les;
uses crt;
var a,b,x,y,tr:Integer;
begin
textcolor (white);
clrscr;
Write('Vvedite X=');
Readln(x);
Write('Vvedite Y=');
Readln(y);

if abs(x*y)>30000 then tr := 30000
                   else tr := abs(x*y);

for a:=-tr to tr do
for b:=-tr to tr do
begin
if (a+b=x)and(a*b=y) then
begin
WriteLn('a=',a);
Writeln('b=',b);
end;
end;
readln;
end.

[Serge_Bliznykov]

господа, а зачем здесь ДВА цикла?!
Неужели неочевидно, что в данной задаче одного цикла вполне достаточно?!
ведь для любой корректной пары, если дано X и Y, берём очередное A. тогда B := X-A; без всяких циклов. Осталось проверить A*B=Y и выдать пару, если условие выполнилось!

грубо (не учитывая абсолютно корректное замечание Костя КС насчёт отрицательных чисел) можно это выразить так:

for a:=0 to tr do begin
     b = X - a;
     if (a*b=y) then
      begin
        WriteLn('a=',a);
        Writeln('b=',b);
      end;
end;