rad（abc）
≤
rad（xyz）
xyz
z^3。
3。
但
max（a，
b，
c）
=
z^n。
当
n
>
6
时，z^n
不可能被
z^3
的有限倍控制（由abc猜想）。矛盾。
费马大定理。
她用的是费马大定理的经典推导路径。但此刻，由她刚刚证明的abc猜想直接推出，这个过程简洁、优雅、残酷到了极点！
尤其是最后那一行小字注释：“当
