阅读下面材料:
在数学课上,老师提出如下问题:
尺规作图:作Rt△ABC,使其斜边AB=c,一条直角边BC=a.
已知线段a,c如图.
小芸的作法如下:
①取AB=c,作AB的垂直平分线交AB于点O;
②以点O为圆心,OB长为半径画圆;
③以点B为圆心,a长为半径画弧,与⊙O交于点C;
④连接BC,AC.
则Rt△ABC即为所求.
老师说:“小芸的作法正确.”
请回答:小芸的作法中判断∠ACB是直角的依据是