不管题目里的点怎么动，不管那个四面体怎么歪，只要把它钉死在坐标轴上，剩下的就是纯粹的计算。
设P点坐标(x1， y1， z1)，引入参数 t。
设Q点坐标(x2， y2， z2)，引入参数 k。
PQ向量的坐标表示……
法向量……
数量积……
笔尖在纸上划过，发出沙沙的声响。
这声音很密，很急，像是一场急促的雨。
陈拙写得很顺。
他的大脑像是一台精密的处理器，快速地处理着那些带着根号、分母和平方的复杂式子。
√2 / 3a，√6 / 3a……
这些数字在他的笔下不断地拆解、组合、相乘、相消。
十分钟过去了。
白纸被写满了一半。
墨水的味道有些刺鼻。
陈拙感觉自己的手腕稍微有点酸。
这种方法虽然“无敌”，但有一个致命的缺点：
计算量大得惊人。
尤其是当涉及到两个动点的时候，最后推导出来的那个函数解析式，长得像一条蜿蜒的毒蛇。
分母里套着根号，根号里套着平方，平方里还带着参数。
“啧。”
陈拙皱了皱眉，停下笔，甩了甩手腕。
他看着纸上那一大坨黑乎乎的算式。
并没有错。
逻辑严密，推导无误。
只要再解一个关于 t和 k的二元函数极值，答案就出来了。
也就是再算半页纸的事儿。
但他突然觉得有点烦。
这种烦躁不是因为题目难，恰恰相反，是因为题目不难，但麻烦。
就像是让你用勺子把一游泳池的水舀干。
你知道怎么舀，也舀得动，但每一勺下去，除了机械的重复，没有任何新鲜感。
“这就是所谓的硬骨头？”
陈拙有些失望地嘟囔了一句。
他原本以为80年代的竞赛题能给他带来点惊喜，结果也就是考验谁的算力更强、谁更耐烦而已。
他重新握紧笔，准备一鼓作气把那个极值算出来。
暴力破解嘛，讲究的就是一个力大砖飞。
就在他准备落笔的时候，他的目光无意间扫过了手边的一本旧书。
那是他刚才为了找题
…。。