我找了一种方法，就是借助Gemini Pro,我把图片扔给他，实际上手写的也可以。Gemini Pro帮我生成了latex代码，效果甚至比原图的还好，辗转相除过程中的减法错落有致，这或许是处理这种复杂排版最优的办法了——耗费极小的精力和时间，主要是自动化，自动化程度越高，方法越优雅简洁。latex引擎自身的自动化程度不够高，借助AI确实是个好办法，不过之前用的AI没有Gemini Pro好。PS：如果有能内置原生AI驱动的排版引擎出现就好了。

\[
\renewcommand{\arraystretch}{1.8} % 增加行高，防止分数显得拥挤，高度还原原图
\begin{array}{ c | c c c c c c c | c c c c c c c c c | l }
% 第一行：表头
& \multicolumn{7}{c|}{g(x)} & \multicolumn{9}{c|}{f(x)} & \\
% 第二行：初始多项式
h_2(x) = -\frac{1}{2}x + \frac{1}{4} 
& x^3 & + & x^2 & - & x & - & 1 
& x^4 & + & x^3 & - & 3x^2 & - & 4x & - & 1 
& x = h_1(x) \\
% 第三行：第一步乘积
& x^3 & + & \frac{3}{2}x^2 & + & \frac{1}{2}x & & 
& x^4 & + & x^3 & - & x^2 & - & x & & 
& \\
% 第一条横线：分别在 g(x) 和 f(x) 下方，长度匹配其非空项
\cline{2-8} \cline{9-17}
% 第四行：第一次相减结果
& & - & \frac{1}{2}x^2 & - & \frac{3}{2}x & - & 1 
& \multicolumn{3}{r}{r_1(x) =} & - & 2x^2 & - & 3x & - & 1 
& \frac{8}{3}x + \frac{4}{3} = h_3(x) \\
% 第五行：第二步乘积
& & - & \frac{1}{2}x^2 & - & \frac{3}{4}x & - & \frac{1}{4} 
& & & & - & 2x^2 & - & 2x & & 
& \\
% 第二条横线：长度缩短，精确匹配次高项开始的位置
\cline{3-8} \cline{12-17}
% 第六行：第二次相减结果 (含 r_2 和余数)
& \multicolumn{3}{r}{r_2(x) =} & - & \frac{3}{4}x & - & \frac{3}{4} 
& & & & & & - & x & - & 1 
& \\
% 第七行：继续 f(x) 侧的计算乘积
& & & & & & & 
& & & & & & - & x & - & 1 
& \\
% 第三条横线：仅在 f(x) 下方，进一步缩短
\cline{14-17}
% 第八行：最终余数
& & & & & & & 
& & & & & & & & & 0 
& 
\end{array}
\]

@u78 @u70550 @u26254