/ABC = /DEF > 90° (1) implies /BCA, /EFD < 90° (2)
|AB| sin(/ABC) sin(/BCA) = ---------------- |AC| |DE| sin(/DEF) = ---------------- |DF| = sin(/EFD) (3)
/BCA = /EFD (4)
/CAB = /FDE (5) (5), |AB| = |DE|, and (1) imply that triangles ABC and DEF are congruent by ASA.
blackjack
flooble's webmaster puzzle