All the faces of tetrahedron ABCDABCD are acute-angled triangles. We consider all closed polygonal paths of the form XYZTXXYZTX defined as follows: XX is a point on edge ABAB distinct from AA and BB; similarly, Y,Z,TY, Z, T are interior points of edges BCBC, CDCD, DADA, respectively. Prove:

(a) If DAB+BCDCDA+ABC\angle DAB + \angle BCD \neq \angle CDA + \angle ABC, then among the polygonal paths, there is none of minimal length.

(b) If DAB+BCD=CDA+ABC\angle DAB + \angle BCD = \angle CDA + \angle ABC, then there are infinitely many shortest polygonal paths, their common length being 2ACsin(α/2)2AC\sin(\alpha/2), where α=BAC+CAD+DAB\alpha = \angle BAC + \angle CAD + \angle DAB.