在三角形ABC中,角C=90度,内切圆O与三角形ABC三边分别切于点D,E,F. 试猜想四边形OECF的形状,并说明理由