Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
NCTM or The Math Forum.



DO SUPERULTRAHERONIC TRIANGLES EXIST?
Posted:
Feb 22, 2013 8:15 AM


A heronic triangle is ordinarily defined as one one with integer sidelengths and integer area. The family includes the pythagorean triangles (right triangles with integer sidelengths). Let us define an ultraheronic triangle as a heronic triangle for which each factor (s, sa, sb, and sc) in the radicand of Heron's formula is a square. These are not too hard to find. One example is the "25153160" triangle (s=169, sa=144, sb=16, sc=9). Let a superultraheronic triangle be an ultraheronic triangle for which the sidelengths themselves are also squares. We note in the above example that one side is a square, but that is the best we have been able to do so far. We have tried the following numbertheoretic approach. Suppose the semiperimeter is a number that can be written as a sum of two squares in three ways (at least two of which must be different). This would be the case if for example the semiperimeter s is the square of a product of two or more Fermat primes (primes congruent to 1 (mod 4)). We would like to have examples where s = a^2 + x^2 = b^2 + y^2 = c^2 + z^2 and in addition a^2 + b^2 + c^2 = 2s. In this case, the triangle with sides a^2, b^2, and c^2, if constructible (if a^2 + b^2 > c^2, etc.), would be superultraheronic. All our examples generated to satisfy the first equality so far have failed to meet the last one. If anybody has ideas how they might be generated (say using Mordell theory or some inspired paramterization) or an example, please let me know. A proof the family is empty would also be accepted, but not the welcomed result. Thanks for your time and consideration!



