Expand out the binomial squares and subtract all the squares of a, b, c, d, from both sides. Factorise out x and deduce it is zero. Since x is zero, X and Y are not distinct, and hence, BY and XD form a straight line. Therefore, AC is perpendicular to BD