如图一,在三角线ABC和三角形DEF中,角ABC=角DEF=90