# Thread:

1. ## a,b,c are vectors. How to prove vector b = c, given a.b = a.c and axb = axc?

a,b,c are vectors. How to prove vector b = c, given a.b = a.c and axb = axc?

2. ## Re: a,b,c are vectors. How to prove vector b = c, given a.b = a.c and axb = axc?

I think we need an additional assumption that $\mathbf{a} \ne \mathbf{0}$; otherwise the claim is not true.

So assuming $\mathbf{a} \ne \mathbf{0}$, as a first step let's see if we can show that if $\mathbf{a} \times \mathbf{v} = \mathbf{0}$ and $\mathbf{a} \cdot \mathbf{v} = 0$ then $\mathbf{v} = \mathbf{0}$.

We have
$\mathbf{0} = \mathbf{v} \times (\mathbf{a} \times \mathbf{v}) = \mathbf{a} (\mathbf{v} \cdot \mathbf{v}) - \mathbf{v} (\mathbf{a} \cdot \mathbf{v}) = \mathbf{a} (\mathbf{v} \cdot \mathbf{v}) - \mathbf{v} (0) = \mathbf{a} (\mathbf{v} \cdot \mathbf{v})$
so
$\mathbf{v} \cdot \mathbf{v} = 0$, hence $\mathbf{v} = \mathbf{0}$.

Finally, to show that if $\mathbf{a} \cdot \mathbf{b} = \mathbf{a} \cdot \mathbf{c}$ and $\mathbf{a} \times \mathbf{b} = \mathbf{a} \times \mathbf{c}$ then $\mathbf{b} = \mathbf{c}$, let $\mathbf{v} = \mathbf{a} - \mathbf{c}$ above.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 12, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9043065905570984, "perplexity_flag": "middle"}