Definition (Congruent number). $D\in {\mathbb{Q}}_{>0}$ is a congruent number if there exists a rational triangle $\mathrm{\Delta }$ with $\mathrm{area}(\mathrm{\Delta })=D$.