Если x=a*y , то модно проверить, что будет равенство.
Если есть равенство, то пройдите по доказательству этого неравенства из конца в начало, сохраняя знак =. Должны выйти на равенство типа
(x+a*y,x+a*y)=0 поэтому x=-a*y