2
$\begingroup$

I'd like to find the primitive Heron triangles with three rational angle-bisectors.

In a Chinese book, I saw these primitive Heron triangles with three sides no longer than 1000, but I'm not sure if they are complete.

How to find these primitive Heron triangles by MMA?

![enter image description here

Certainly, I also searched in the OEIS, but I didn't get useful results.

http://mathworld.wolfram.com/HeronianTriangle.html

$\endgroup$
2
$\begingroup$
AbsoluteTiming[nn = 1000; lst = {};
 Do[s = (a + b + c)/2;
  If[IntegerQ[s], area2 = s (s - a) (s - b) (s - c);
   l1 = b*c*(b + c + a) (b + c - a)/(b + c)^2;
   l2 = a*c*(a + c + b) (a + c - b)/(a + c)^2;
   l3 = a*b*(a + b + c) (a + b - c)/(a + b)^2;
   If[0 < area2 && 
     IntegerQ[
      Sqrt[area2]] && (Element[Sqrt[l1], Rationals] && 
   Element[Sqrt[l2], Rationals] && Element[Sqrt[l3], Rationals]) &&
  GCD[a, b, c] == 1, AppendTo[lst, {a, b, c}]]], {a, nn}, 
     {b, a}, {c, b}];
   Grid[Transpose[
Partition[
Multicolumn[#, 1] & /@ 
 Partition[SortBy[Sort /@ Union[lst], # &], 5, 5, {1, 1}, 
  Style[{}, White]], 2]], Spacings -> {2, 2}]]

enter image description here

| improve this answer | |
$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.