A proof problem by Steven Zheng.

**Problem**

In the Chinese mathematical text *Jiuzhang Suanshu*, we find an interesting problem that requires the Pythagorean triples formula to solve.

**Chapter 9: Gougu Problem 14**

今有二人同所立。甲行率七，乙行率三。乙東行。甲南行十步而邪東北與乙會。問甲乙行各幾何？

[There are two persons standing at the same location. Person A moves at a speed of 7. Person B moves at a speed of 3. Person B moves east. Person A first moves 10 bu south, then diagonally northeast until he meets person B once more. How far did each man travel?]

- bu (步) literally means pace, a Chinese unit of length that measures roughly 1.6 meters long.

The units of the speed are not specified, but it is reasonable to assume that the speed is measured in bu per second, which measures 1.6 meters per second.

For calculating the sides a right triangle with integer sides, the solution prescribed by this 2000-year old text uses the formula

- ,

where and are the speeds of person A and person B respectively. This formula is indeed the formula for generating Pythagorean triples such that all sides of the right triangle are mutually coprime. There is no derivation provided in the *Jiuzhang Suanshu*, so I shall provide one using basic geometry and a little physics (which the ancient Chinese had to some degree).

**Solution**

Person A and person B begin and meet at the same point at the same time. Person A is the man who runs at a speed of bu per second (which would be 11.2 m/s), who travels along the shorter side and the hypotenuse . Person B is the man who runs at a speed of bu per second (which would be 4.8 m/s), who travels along the longer side . Thus we have two constraints: a time constraint, and a geometric constraint.

**Time constraint**

**Geometric constraint**

From the time constraint, isolate for length and square both sides.

- .

Since from the geometric constraint,

- .

With some algebra

**Failed to parse (unknown function "\boxed"): {\displaystyle \boxed{\frac{c}{b} = \frac{m^2 + n^2}{2mn}} }**.

From the time constraint, one can discover that

- .

Thus

**Failed to parse (unknown function "\boxed"): {\displaystyle \boxed{\frac{a}{b} = \frac{m^2 - n^2}{2mn}}}**.

Since are mutually coprime, the above two boxed results suggests

or

- .