ABC与DEF是形状,大小完全相同的两个三角形,DE=9