二 ,作DG⊥EF,交EF于G,连接OE
∵∠EOF=∠EOC,∠OEF=∠OBF=∠OCE
△OEF相似于△OCE
∴OE^2=OC*OF
OF=OE^2/OC=x^2/6
∴OF=x^2/6
∵∠BED=1/2∠BOD=1/2*90=45
∴∠CED=∠BED=45
∴DG=√2/2*DE=√2/2*y
∵RT△OEF相似于RT△OCE
∴DG/OB=DF/BF, DF=OD-OF=x-(x^2/6),
BF=AF=√(OA^2+OF^2)=√[x^2+(x^4)/36]
√2/2*y/x=[x-(x^2/6)]/x^2/6
整理得:
y=√2(6x-x^2)/√(x^2+36) ,
∵y>0
6x-x^2>0
∴0<x<6
∴y=√2(6x-x^2)/√(x^2+36) ,0<x<6..................(1)
三, 通过分析,△DEF是等腰三角形,只能是:DE=EF=y,作EH⊥DF,交DF于H
∴HF=1/2DF=1/2(OD-OF)=1/2[x-(x^2/6)]
∵EH//AB
∴RT△EFH相似于RT△BOF
∴EF/BF=HF/OF
y/√[x^2+(x^4)/36]=1/2[x-(x^2/6)]/x^2/6
整理得:
y=(6x-x^2)√(x^2+36) /21x ,.................(2)
(1)=(2)得
√2(6x-x^2)/√(x^2+36)=(6x-x^2)√(x^2+36) /21x
解得:
x=6 或 x=6(1+√2) ,或 x=6(√2-1)
因0<x<6.
∴x=6 和x=6(1+√2)都舍去)
∴ x=6(√2-1)
∴ AB=2OA=2*6(√2-1)=12(√2-1)
∴ AB=12(√2-1)