阅读下面材料：

在数学课上，老师提出如：下问题

尺规作图：过圆外一点作园的切线

已知：圆O和点P

求作：过点P的圆O的切线

小涵的主要作法如下：

如图：①连接OP，作线段OP的中点A

②以A为圆心，OA长为半径作圆，交圆O于点B，C

③作直线PB和PC

所以PB和PC就是所求的切线

老师说：“小涵的作法正确．”

请回答：小涵的作图依据是．