∠3 = ∠4 = 90° (по условию), значит, BD ⊥ AB и DC ⊥ AC. Это означает, что AB и AC являются катетами, а BD и DC — высотами (или частями высот), опущенными из вершин B и C на AC и AB соответственно, что противоречит рисунку.
Переосмыслим условие ∠3 = ∠4 = 90°. По рисунку, ∠3 — это угол ABD, а ∠4 — угол ACD. Это означает, что AB ⊥ BD и AC ⊥ CD.
∠1 = ∠2 (по условию).
BD = DC (по условию).
Рассмотрим треугольники ABD и ACD.
AB = AC (по доказываемому).
BD = DC (по условию).
∠ABD = ∠ACD (по условию ∠1 = ∠2).
По двум сторонам и углу между ними, треугольники ABD и ACD равны (по первому признаку равенства треугольников).
Следовательно, AB = AC.
Если две стороны треугольника ABC равны, то треугольник ABC равнобедренный.