Let ABC be the isosceles right triangle with right angle at vertex C.
Let the rays from C intersect the hypoteneuse at points D and E such
that we have the collinear points A, D, E, and B in that order.
Construct point F on the opposite side of BC from point E such that
triangles CBF and CAD are congruent. Construct line segment EF.
/EBF = /EBC + /CBF = /EBC + /CAD = 45° + 45° = 90°
|EF|2 = |EB|2 + |BF|2 = |EB|2 + |AD|2
Consider triangles DCE and FCE: sides DC and FC are congruent and
side CE is congruent to itself.
|DE|2 = |AD|2 + |EB|2 <==> |DE| = |FE|
<==> ΔDCE and ΔFCE are congruent
<==> /DCE = /FCE
<==> /DCE = /FCB + /BCE
<==> /DCE = /ACD + /ECB
<==> /DCE = 90° - /DCE
<==> /DCE = 45°
|