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+∠BCD≠∠CDA+∠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.