ありがとうございます、５８６さん。
その二つの三角形が合同であることを証明するのですね。

５８５さん、すいません単調に変化するってどういうことでしょうか？
質問ばっかりですいません。