Domain changed to archive.palanq.win . Feb 14-25 still awaits import.
[6 / 1 / 1]

No.1549739 View ViewReplyOriginalReport
Is there a trivial way to prove this condition is the minimum for the the distance between u and cv? If I've boxed myself into an algebraic mess, I'd like to know why.