本原勾股陣列

本原勾股陣列是一個 勾股陣列 使得 , 其中 是最大公約數。一個邊長構成本原勾股陣列的直角三角形被稱為本原直角三角形。

Lehmer (1900) 證明了本原陣列 周長小於 的比例是

			(1)
			(2)

(OEIS A118858)。