It's interesting to see your sensible algebraic approach. I don't recall ever having done that; approaching it now, I would probably do something with cross and dot products.