Оскільки АВ=АД і <1=<2, то трикутники АВС та АДС мають гіпотенузу та катет, що дорівнюють одне одному.
Далі, за теоремою про рівність прямокутних трикутників, якщо гіпотенуза та один катет одного трикутника дорівнюють гіпотенузі та одному з катетів іншого трикутника, а також одному з кутів одного трикутника дорівнює одному з кутів іншого трикутника, то ці трикутники рівні.
Оскільки АВ=АД і <1=<2, то трикутники АВС та АДС мають гіпотенузу та катет, що дорівнюють одне одному.
Далі, за теоремою про рівність прямокутних трикутників, якщо гіпотенуза та один катет одного трикутника дорівнюють гіпотенузі та одному з катетів іншого трикутника, а також одному з кутів одного трикутника дорівнює одному з кутів іншого трикутника, то ці трикутники рівні.
Отже, трикутники АВС та АДС рівні.