Given that Triangle $ABC$ is an isosceles right triangle and Triangle $DEF$ is a $30-60-90^\circ$ right triangle with $