size(12cm);
pair A=(0,6);
pair B=(6,6);
pair C=(6,0);
pair D=(0,0);
pair K=(18,6);
pair F=(18,0);
// E is on BC with BE=4 and EC=2
pair E=(6,2);
// L is intersection of line AE with y=0
pair L=extension(A,E,C,D);
// Main figure
draw(A--K);
draw(D--F);
draw(A--D);
draw(B--C);
draw(K--F);
draw(A--L);
draw(D--K);
// Dashed red segment
draw(L--K,dashed+red);
// Red auxiliary bottom/right
draw(L--F,red);
draw(K--F,red);
// Points
dot("$A$",A,dir(135));
dot("$B$",B,dir(90));
dot("$C$",C,dir(-90));
dot("$D$",D,dir(-135));
dot("$E$",E,dir(65));
dot("$K$",K,dir(45));
dot("$L$",L,dir(-90));
dot("$F$",F,dir(-90));
// Labels
label("$6$",midpoint(A--B),N);
label("$12$",midpoint(B--K),N,red);
label("$4$",midpoint(B--E),E);
label("$2$",midpoint(E--C),E,red);
label("$3$",midpoint(C--L),S,red);
label("$9$",midpoint(L--F),S,red);
label("$6$",midpoint(K--F),E,red);