∠ABD = π/2 — ∠BAD = ∠ACB.
Следовательно, ∠ABD = ∠CBP и
∠DBE = ∠ABE — ∠ABD = ∠CBE — ∠CBF = ∠FBE,
что и требовалось доказать.
Так как BF = FC, то ∠CBF = ∠AСВ. Но
∠ABD = π/2 — ∠BAD = ∠ACB.
Следовательно, ∠ABD = ∠CBP и
∠DBE = ∠ABE — ∠ABD = ∠CBE — ∠CBF = ∠FBE,
что и требовалось доказать.