如图。易得三角形ACD相似于三角形EFA。 X/8 = (30+X)/X, X^2 - 8X - 240 = 0. X = 20.
几乎所有解(除了那两个三角解导出的三次方程)最后都归结到这个二次方程。