以AB中点为原点
A(-a,0),B(a,0)
C(x,y)
因为AC²+BC²=AB²
所以(x-a)²+y²+(x+a)²+y²=4a²
2x²+2a²+2y²=4a²
x²+y²=a²
C和AB不共点
所以
x²+y²=a²,x≠±a