OFFSET
3,1
COMMENTS
Except for the first term, the real value of these numbers is irrational. We have for prime p>2, (p+2)^2 - p^2 = a^2 or 4p+4 = a^2. This implies a=4k. and 4p+4 = 16k^2 or p = 4k^2-1 = (2k+1)(2k-1) = composite for k > 1. Therefore for a = 4, p=3 is the only integer solution. Suppose 4p+4 = a^2/b^2 for (a,b) =1. 4pb^2 - 4b^2 = a^2 = 16k^2 or pb^2 = 4k^2 - b^2 = (2k-b)(2k+b) => k=br. Then pb^2 = (2br-b)(2br+b) or p = (2r-1)(2r+1) and p is prime only r = 1. So pb^2 = (b)(3b) and p = 3 is the smallest and only rational solution.
PROG
(PARI) \Twin right triangles twinright2(n) = { forprime(x=3, n, y=x+2; if(isprime(y), print1(floor(sqrt(y^2-x^2))", ") ) ) }
CROSSREFS
KEYWORD
easy,nonn
AUTHOR
Cino Hilliard, Dec 18 2003
STATUS
approved