如图1， △ABC 与 △EFD 为等腰直角三角形， AC 与 DE  重合， AB＝AC＝EF＝9 ， ∠BAC＝∠DEF＝90° ．固定 △ABC ，将 △EFD 绕点 A 顺时针旋转，当 DF 边与 AB 边重合时，旋转终止．现不考虑旋转开始和结束时重合的情况，设 DE，DF （或它们的延长线）分别交 BC （或它们的延长线）于点 G，H ，如图2．