【分析】
首先由点A纵坐标恒为4,可知点A在直线$ y=4 $上运动。要求点O到直线AB的距离最大值,可先分析动态问题中的不变量:结合△ABC是等腰直角三角形、$ ∠ ACB=90° $的条件,通过构造全等三角形证明直线AB始终经过一个定点;再根据垂线段最短的性质,原点到动直线AB的最大距离就是原点到该定点的距离,当AB与原点和定点的连线垂直时取到最大值。
【解析】
设纵坐标为4的点所在直线为$ l $,直线$ l $交$ y $轴于点$ E $,则$ E(0,4) $。取点$ F(-4,0) $,可得$ OE=OF=4 $,连接$ EF $交$ AB $于点$ G $,连接$ OG $。
1. 证明$ △ ACE ≌ △ CBO $:
因为$ ∠ ACB=90° $,所以$ ∠ ACE + ∠ BCO = 90° $;又$ ∠ BCO + ∠ CBO = 90° $,由同角的余角相等得$ ∠ ACE = ∠ CBO $。
又$ ∠ AEC = ∠ COB = 90° $,$ AC=CB $,所以$ △ ACE ≌ △ CBO $(AAS),由全等性质得$ AE=CO $,$ CE=BO $。
2. 推导$ AE=BF $:
因为$ CE = OE + OC $,$ BO = BF + OF $,且$ OE=OF=4 $,代入$ CE=BO $可得$ OE + OC = BF + OF $,化简得$ OC=BF $,结合$ AE=CO $,得$ AE=BF $。
3. 证明$ G $为定点:
因为直线$ l // x $轴,所以$ ∠ EAG = ∠ FBG $,$ ∠ AEG = ∠ BFG $,结合$ AE=BF $得$ △ AEG ≌ △ BFG $(ASA),所以$ EG=FG $,即$ G $是$ EF $的中点。
由$ E(0,4) $、$ F(-4,0) $,根据中点坐标公式得$ G(-2,2) $,为定点,即无论点A在直线$ l $上如何运动,AB始终经过定点$ G(-2,2) $。
4. 求最大距离:
过点$ O $作$ OD ⊥ AB $于点$ D $,根据垂线段最短,$ OD ≤ OG $,当$ AB ⊥ OG $时等号成立。
由勾股定理得$ OG = \sqrt{(-2)^2 + 2^2} = \sqrt{8} $,即点O到直线AB的距离最大值为$ \sqrt{8} $(或$ 2\sqrt{2} $)。
【答案】
如图,设纵坐标始终为 4 的点所在的直线为 l,直线 l 交 y 轴于点 E,则 E(0,4).取点 F(-4,0),则 OE=OF=4.连接 EF 交 AB 于点 G,连接 OG. 因为∠ACB=90°,所以∠ACE+∠BCO=90°.又∠BCO+∠CBO=90°,所以∠ACE=∠CBO.又∠AEC=∠COB=90°,AC=CB,所以△ACE≌△CBO(AAS).所以 AE=CO,CE=BO.所以 CE-OE=BO-OF,即 OC=BF.所以 AE=BF.因为 l//x 轴,所以∠EAG=∠FBG,∠AEG=∠BFG.所以△AEG≌△BFG(ASA).所以 EG=FG,即 G 为 EF 的中点.所以 G(-2,2),为定点,即无论点 A 在直线 l 上任意位置,AB 始终经过点 G.所以 OG=√((-2)²+2²)=√8.过点 O 作 OD⊥AB 于点 D,则 OD≤OG.当 AB⊥OG 时取等号,此时点 O 到直线 AB 的距离取最大值,且最大值为√8.

【知识点】
全等三角形的判定与性质,等腰直角三角形的性质,垂线段最短
【点评】
本题是平面直角坐标系与几何动态的综合题,解题核心是通过构造全等三角形确定动直线AB经过的定点,再利用垂线段最短的性质求解最值,能够有效考查几何推理能力和动态问题的分析能力。
【难度系数】
0.3