本原勾股数组

本原勾股数组是一个 勾股数组 使得 , 其中 是最大公约数。一个边长构成本原勾股数组的直角三角形被称为本原直角三角形。

Lehmer (1900) 证明了本原数组 周长小于 的比例是

			(1)
			(2)

(OEIS A118858)。