(2): Connect DC database
Perpendicular bisector can prove that DB DC is equal to straight bisector plus vertical DE DF is equal to.
The DBE and DCF of HL card are identical.
(3): let AE be x.
AF=x
CF=AF-AC=x-4
BE=CF=X-4
AB=AE+BF=8
Just list the solutions of the equation.