Suppose w.l.o.g. that the plane α through KL meets the interiors of edges AC and BD at X and Y. Let →AX=λ→AC and →BY=μ→BD, for 0≤λ,μ≤1. Then the vector →KX=λ→AC−→AB2,→KY=μ→BD+→AB2,→KL=→AC2+→BC2 are coplanar; i.e., there exist real numbers a, b, c, not all zero, such that
→0=a→KX+b→KY+c→KL=(λa+c2)→AC+(μb+c2)→BC+(b−a2)→AB
Since →AC,→BD,→AB are linearly independent, we must have a=b and λ=μ. We need to prove that the volume of the polyhedron KXLYBC, which is one of the parts of the tetrahedron ABCD partitioned by α, equals half of the volume V of ABCD. Indeed, we obtain
VKXLYBC=VKXLC+VKBYLC=14(1−λ)V+14(1+μ)V=12V