有木有大佬可以解释这题凸包做法中的把式子的变量拆成横纵截距是怎么想到的？

感觉看题解凭空掏出来一个我一点边都不沾的易证式子很空虚。