如图所示，设EF与DC共点于S'，DC与HG共点于S''，
RT△CFS'≌RT△BFE，得到CS'=BE=

1

2

AB，
RT△CGS''≌RT△C₁GH，得到CS''=C₁H=

1

2

C₁D₁，
则，CS'=CS''（即S'与S''是同一个点），
∴EF、GH、DC三线共点．