已知rt三角形abc中角ADB=90度,扇形DEF中