To make these three points form a right triangle with AB as the hypotenuse, the projective theorem Y 2 = (x-x1) (x2-x).

And y = a (x-x1) (x-x2) =-a (x-x1) (x2-x), so y =-ay 2.

So ay=- 1

References:

Best Mathematics /glodenmaths