Right Triangle Problem
Experiment from @mpershan http://notepad.michaelpershan.com/geometry-journal-1/ and @benjamin_leis http://blog.mathoffthegrid.com/2020/08/walkthrough-of-geometry-problem-from.html
Angles C, AGD, and BFE are right. Why is DE=DG+EF?