Apply vector methods for simple geometric proofs.