Prove that the biscetors of adjacent suplementary angles are perpendicular?

24 Views Asked by At

I did the following: Take the vectors $A=(a,0), B=(x,y), -A=(-a,0)$.

Then multiply each vector $X$ by $\cfrac{1}{|X|}$ to obtain the unit vector. (I don't know if this step is really necessary.)

Then we will have:

$$A'=(\frac{a}{\sqrt{a^2}},0)=(1,0) \quad B'=(\frac{x}{\sqrt{x^2+y^2}},\frac{y}{\sqrt{x^2+y^2}} )$$

Then to bissect the first and second angle, I'd use:

$$C=\cfrac{1}{2}(B'-A')+A'\quad \quad \quad D=\cfrac{1}{2}(B'+A')-A' $$

And hence show that it's inner product equals zero. But for some unknown reason, It's not working. I'm computing $\langle C,D \rangle$ it with Mathematica and obtaining:

$$\frac{x^2}{4 \left(a^2+b^2\right)}-\frac{a x}{4 \sqrt{a^2+b^2}}+\frac{x}{4 \sqrt{a^2+b^2}}+\frac{y^2}{4 \left(a^2+b^2\right)}+\frac{a}{4}-\frac{1}{2}$$

I don't know what is wrong.

1

There are 1 best solutions below

1
On BEST ANSWER

Let see what happened. $$C=\frac{1}{2}(B'+A') = \frac{1}{2}\left(1+\frac{x}{\sqrt{x^2+y^2}},\frac{y}{\sqrt{x^2+y^2}}\right).$$

$$D=\frac{1}{2}(B'-A') = \frac{1}{2}\left(-1+\frac{x}{\sqrt{x^2+y^2}},\frac{y}{\sqrt{x^2+y^2}}\right).$$

Then, $$CD = \frac{1}{4}\left( \frac{x^2}{x^2+y^2}-1 + \frac{y^2}{x^2+y^2}\right) = 0.$$