задачка на геометрию, очень сложная по моему Опции

[Bard]

У меня тут одна задачка появилась , никак не могу решить .Она тоже с acm.timus.ru. У меня несколько(т.е. 12) тестов проходит . Спрашивал у всех учителей математики нашей школы. Каждый говорит одно, но никакой из тех алго не проходит. Самый лучший пока мой собственный .

Ну в задаче, если коротко описать, нужно определить можно ли поместить второй треугольник в первый. Длина сторон каждого заданы. Мой алгоритм не очень уж и трудный. Я сначала нахожу сторону с макс. длиной и беру его как за основание(это действие выполняю для обоих). Потом сраниваю основания и вершины(по основанию) и выдаю ответ. Вот и мой код:

var
 k,l1,l2,a,b,c,x,y,z:longint;
 h1,h2,p1,p2:extended;

function max(x,y,z:longint):longint;
begin
 if (x>=y)and(x>=z) then max:=x
                    else
  if (y>=z)and(y>=x) then max:=y
                     else max:=z;
end;

procedure smen(var a,b,c:longint; l:longint);
begin
 if a=l then
  begin
   k:=c;
   c:=a;
   a:=k;
  end    else
 if b=l then
  begin
   k:=c;
   c:=b;
   b:=k;
  end;
end;

begin
 readln(x,y,z);
 readln(a,b,c);
 p2:=(a+b+c)/2;
 p1:=(x+y+z)/2;
 l1:=max(x,y,z);
 l2:=max(a,b,c);
 smen(x,y,z,l1);
 h1:=(2/z)*sqrt(p1*(p1-x)*(p1-y)*(p1-z));
 hx:=(2/x)*sqrt(p1*(p1-x)*(p1-y)*(p1-z));
 hy:=(2/y)*sqrt(p1*(p1-x)*(p1-y)*(p1-z));
 smen(a,b,c,l2);
 h2:=(2/c)*sqrt(p2*(p2-a)*(p2-b)*(p2-c));
 ha:=(2/a)*sqrt(p2*(p2-a)*(p2-b)*(p2-c));
 hb:=(2/b)*sqrt(p2*(p2-a)*(p2-b)*(p2-c));
 if not ((l1>=l2)and(h1>=h2)) then writeln('NO')
                              else writeln('YES');
end.

Я даже знаю где у меня ошибка но не знаю как ее исправить. Ошибка у меня при том случае если основание и высота первого больше но второй треугольник не входит(у меня выдает что входит).

Недаюь сможете помочь. Заранее спасибо...

[Bard]

Я не спешу И автору твое сообщение не поможет. Он использует более слабый факт без доказательства, и то безуспешно.

ну это мы поняли что у меня алго не работает. а вот у меня к тее 1 вопрос? а что если я добавлю в мою программу сравнение углов крайних. помоему этим путем можно решить ту ошибку.

В этих вызовах мы перебираем, какая сторона будет какой соответствовать; и внутри процедуры это соответствие считаем уже фиксированным.

а вот здесь я что-то не совсем усек. ты имеешь в виду просто полный перебор сделать, а в процедурах уже сравнение?

А можно мне пример?

ну вот тебе допустим такой неординарный пример который доказывает ошибочность алго feniks25.
1000 510 510
900 900 1

ответ: да, входит. если положить сторону с длиной 900 на сторону дл. 1000 то можно все увидеть.
лучше будет начертить тогда сама все поймешь