四边形efgh是三角形abc的内接矩形