
解:(1)△OBC为等腰三角形.
证明:如图1,∵AB⊥BC,
∴∠ABC=90°.
∵∠OBA=α,
∴∠CBO=90°-α.
∵∠OCB=2α,
∴∠BOC=90°-α=∠CBO.
∴BC=OC.
∴△OBC为等腰三角形.
(2)∵l⊥y轴,m⊥l,点A的坐标是(0,2),点C的坐标为(x,y),
∴B(x,2),
∵由(1)知,BC=OC,
∴

=|2-y|,整理得到y=-

x
2+1.

∴y与x的函数关系式为y=-

x
2+1.
(3)证明:如图2,设直线OC的解析式为y=kx(k≠0).
根据题意知,点C、D是过原点的直线OC与抛物线y=-

x
2+1的两个交点.故可设C(x
1,kx
1),D(x
2,kx
2).
显然,x
1、x
2是关于x的方程kx=-

x
2+1,即

x
2+kx-1=0的两个根.
∴由韦达定理,得x
1+x
2=-4k,x
1•x
2=-4,
∴x
1-x
2=(x
1+x
2)
2-4x
1•x
2=

=

=4

.
∵CD=

=|x
1-x
2|•

,CO=

,DO=

,
∴

=

=

=

=

=1,
∴CD=CO•DO.
分析:(1)△OBC为等腰三角形.利用余角的定义求得∠CBO=90°-α.根据△BOC的内角和定理求得∠BOC=90°-α=∠CBO.则由“等角对等边”证得BC=OC,即△OBC为等腰三角形;
(2)如图1,根据点A、C的坐标易求B(x,2),则由(1)中的BC=OC可以列出x、y的关系式;
(3)根据题意知,点C、D是过原点的直线OCy=kx(k≠0)与抛物线y=-

x
2+1的两个交点.故可设C(x
1,kx
1),D(x
2,kx
2).所以根据两点间的距离公式可以求得线段CD、CO、DO,并求得

=1,所以易证得结论.
点评:本题考查了二次函数综合题.其中涉及到了待定系数法求二次函数的解析式、两点间的距离公式、等腰三角形的判定等知识点.解答(3)题时,本题采用了代数法证得结论,当然也可以利用几何法来证得.