證明：（1）連OM，過(guò)O作ON⊥CD于N；
∵⊙O與BC相切，
∴OM⊥BC，
∵四邊形ABCD是正方形，
∴AC平分∠BCD，
∴OM=ON，
∴CD與⊙O相切．
（2）∵四邊形ABCD為正方形，
∴AB=CD=1，∠B=90°，∠ACD=45°，
∴AC=

2

，∠MOC=∠MCO=45°，
∴MC=OM=OA，
∴OC=

OM2+MC2

＝

2

ON＝

2

OA；
又∵AC=OA+OC，
∴OA+

2

OA=

2

，
∴OA=2-

2

．