Definition 4.1 (Congruent Number) A rational number $ n$ is called a congruent number if $ pm n$ is the area of a right triangle with rational side lengths. Equivalently, $ n$ is congruent if the system of two equations
$displaystyle n=ab/2$ and$displaystyle qquad a^2 + b^2 = c^2
$