设CE和DF交于点G,则有
CG=DG
CF/CG=sin角CGF/sin角CFG,DE/DG=sin角DGE/sin角DEG
角CFG=角B=角DGE,
角DEG=角BFD
角CFG+角BFD=180度
sin角CFG=sin角DEG
CF/CG=DE/DG
CF=DE
设CE和DF交于点G,则有
CG=DG
CF/CG=sin角CGF/sin角CFG,DE/DG=sin角DGE/sin角DEG
角CFG=角B=角DGE,
角DEG=角BFD
角CFG+角BFD=180度
sin角CFG=sin角DEG
CF/CG=DE/DG
CF=DE