解:(1)證明:過點B作BM⊥OA于M,
∴MB=
,OM=
.
∵OA=12,
∴AM=12-
=
,
∴AB=
=12;
(2)連接AC,作BN⊥OC于N,
∵∠AOC=90°,
∴AC是直徑,
∴∠ABC=∠AOC=90°.
∵AB=AO=12,AC=AC,
∴△AOC≌△ABC,
∴BC=OC.
∵∠NBM=∠CBA=90°,
∴△AMB∽△CNB,
∴
,
∴
,
∴BC=5,
∴OC=5,
∴C(0,5).
∵CD切圓于點C,
∴∠DCA=90°=∠COD=∠COA,
∴∠CAO+∠ACO=∠ACO+∠DCO,
∴∠DCO=∠CAO,
∴△COD∽△CAO,
∴
,
∴
,
∴OD=
,
∴D(-
,0).
設(shè)直線CD的解析式為:y=kx+b,則
,
解得:
.
∴直線CD的解析式為:y=
+5;
(3)設(shè)AE=t,CD=
=
,
∴四邊形ABCD的周長為:12+5+
+
+12=36.5,
∴AF=18.25-t.
作EH⊥OA于H,
∴EH∥BM,
∴△AHE∽△AMB,
∴
,
∴
,
∴EH=
t,
∴S
△AEF=
=
,
∴當t=-
=-
=
時,△AEF的面積最大.
分析:(1)過點B作BM⊥OA于M,由點B、點A的坐標根據(jù)勾股定理就可以求出AB的長,從而求出結(jié)論.
(2)連接AC,作BN⊥OC于N,由圓周角的性質(zhì)可以得出AC是直徑,再由(1)的結(jié)論可以得出△AOC≌△ABC,而得出BC=OC,利用△ABM∽△CNB,可以求出BC,而求出C點的坐標,再根據(jù)切線的性質(zhì),由△AOC∽△COD,求出OD的值而求出D的坐標,最后由待定系數(shù)法就可以直接求出直線CD的解析式.
(3)作EH⊥OA于H,由勾股定理可以求出CD的值,可以求出四邊形ABCD的周長,設(shè)AE=t,由條件可以表示出AF,由△AHE∽△AMB可以表示出EH,由三角形的面積公式表示出△AEF的面積,從而根據(jù)對稱軸得出結(jié)論.
點評:本題考查了切線的性質(zhì),待定系數(shù)法求一次函數(shù)的解析式,二次函數(shù)的最值,三角形的面積,相似三角形的判定與性質(zhì)及勾股定理的運用.