17.(10分)化简或求值.
(1)(5分)已知$x^2 + x - 6 = 0$，求代数式$x^2(x + 1) - x(x^2 - 1) - 7$的值.
(2)(5分)化简：
$(x - 2xy)^2 - (9xy^3 - 12x^3 y^2) ÷ 3xy - (2xy)^2$

17. 提示:(1) 原式$= x^2 + x - 7.$
由$x^2 + x - 6 = 0$得
原式$= (x^2 + x - 6) - 1 = -1.$
(2) 原式$= x^2 - 3y^2.$

18.(8分)下面两题选做一题：
(1) 如图7-2-7，已知$∠ AOB = 90°$，$OA = OB$，直线$l$经过点$O$，分别过$A,B$两点作$AC ⊥ l$交$l$于点$C$，$BD ⊥ l$交$l$于点$D$。
求证:$AC = OD$。

图7-2-7
(2) 如图7-2-8，$AD // BE$，点$C$在$AB$上，$AC = BE$，$AD = BC$，$CF$平分$∠ DCE$。
① 求证:$△ ACD ≌ △ BEC$。
② 求证:$CF ⊥ DE$。

图7-2-8

18. 证明:(1) $\because AC ⊥ l,\ \therefore ∠ ACO = 90°.$
$\therefore ∠ AOC + ∠ A = 90°.$
又$\because ∠ AOB = 90°,$
即$∠ AOC + ∠ BOD = 90°.$
$\therefore ∠ A = ∠ BOD.$
又$\because BD ⊥ l,$
$\therefore ∠ BDO = 90°.$
$\therefore ∠ ACO = ∠ BDO.$
又$\because OA = OB,$
$\therefore △ AOC ≌ △ OBD (\mathrm{AAS}).$
$\therefore AC = OD$(全等三角形对应边相等).
(2) ①$\because AD // BE,\ \therefore ∠ A = ∠ B.$
在$△ ACD$和$△ BEC$中
$\begin{cases} AD = BC, \\ ∠ A = ∠ B, \\ AC = BE, \end{cases}$
$\therefore △ ACD ≌ △ BEC (\mathrm{SAS}).$
② 由①知$△ ACD ≌ △ BEC,$
$\therefore CD = CE,$
又$\because CF$平分$∠ DCE,\ \therefore CF ⊥ DE.$