Ahora que tenemos contraejemplos, veamos dónde está el fallo en el razonamiento.
Cuando dices $x \cdot y = c y \cdot y$ no se puede "eliminar" lo común $y$ porque eso requeriría la invertibilidad del producto punto. Por sí mismo, el producto punto es no invertible, y no se puede reconstruir $x$ sin información adicional: en particular, información del producto cruzado.
Dado un vector $x$ y un vector unitario $y$ , se puede descomponer $x$ como
$$x = (x \cdot y) y + y \times (x \times y) = x_\parallel + x_\perp$$
Con la información que tiene, sabe que $x_\parallel = cy$ pero no sabes $x \times y$ y por eso, no sabes $x_\perp$ . Si usted conocía que $x \times y =0$ entonces $x = x_\parallel$ y sabrás que has terminado.