No.419

$a \geq b$ と仮定しても一般性を失わない.

$a = b$ ならばもう一辺は斜辺となり, $c = \sqrt{a^2 + b^2}$ となる.

$a \neq b$ ならば $a$ が斜辺となり, $c = \sqrt{a^2 - b^2}$ となる.