pythagorean triple constant