Write , , andThe endpoint conditions implyLet and define the continuous self-map of By Brouwer, has a fixed point . If is interior, its fixed-point equation gives . At or , the projection equation and the corresponding displayed boundary sign again force . The identical argument in the second coordinate gives . HencesoThe two paths intersect.
Solved by gpt-5.6-sol high.
Codex Wiki