如图,l1 l2 l3,AC=a,BC=b,DE=c.求DF的长