如图，在△ACE中，CA=CE，∠CAE=30°，⊙O经过点C，且圆的直径AB在线段AE上．

如图，点P为正方形ABCD的边CD上一点，BP的垂直平分线EF分别交BC、AD于E、F两点，GP⊥EP交AD于点G，连接BG交EF于点 H，下列结论：①BP=EF；②∠FHG=45°；③以BA为半径⊙B与GP相切；④若G为AD的中点，则DP=2CP．其中正确结论的序号是（　　）

如图1，在平面直角坐标系xOy中，A，B两点的坐标分别为A（x₁ ， y₁），B（x₂ ， y₂），由勾股定理得AB²=|x₂﹣x₁|²+|y₂﹣y₁|² ， 所以A，B两点间的距离为AB= ．

我们知道，圆可以看成到圆心的距离等于半径的点的集合，如图2，在平面直角坐标系xOy中，A （x，y）为圆上任意一点，则点A到原点的距离的平方为OA²=|x﹣0|²+|y﹣0|² ， 当⊙O的半径OA为r时，⊙O的方程可写为：x²+y²=r² ．

问题拓展：

如果圆心坐标为P （a，b），半径为r，那么⊙P的方程可以写为　（x﹣a）²+（y﹣b）²=r²　 ．

综合应用：

如图3，⊙P与x轴相切于原点O，P点坐标为（0，6），A是⊙P上一点，连接OA，使∠POA=30°，作PD⊥OA，垂足为D，延长PD交x轴于点B，连接AB．

①证明AB是⊙P的切线；

②是否存在到四点O，P，A，B距离都相等的点Q？若存在，求Q点坐标，并写出以点Q为圆心，OQ长为半径的⊙Q的方程；若不存在，说明理由．

通过对下面数学模型的研究学习，解决（1）（2）题
【模型呈现】
如图，在Rt△ABC中，∠ACB=90°，将斜边AB绕点A顺时针旋转90°得到AD，过点D作DE⊥AC于点E，可以推理得到△ABC≌△DAE，进而得到AC=DE，BC=AE
我们把这个数学模型称为“K型”，
推理过程如下：

【模型应用】

如图，Rt△ABC内接于⊙O，∠ACB=90°，BC=2.将斜边AB绕点A顺时针旋转一定角度得到AD，过点D作DE⊥AC于点E，∠DAE=∠ABC，DE=1，连接DO交⊙O于点F.