
روش اول: دو خط برهم عمود هستند اگر و تنها اگر خطوط موازی گذرا از مبدا متناظرشان عمود بر هم باشند (چرا؟). در شکل بالا میبینید که
$\theta_{2} - \theta_{1}$
برابر ۹۰ درجه میباشد. شیب خط سبز را
$m_{1}$
بنامید که اگر نقطهٔ $B$ یک نقطه بر روی آن با مختصاتِ
$B=(x_{1},y_{1})$
باشد، آنگاه این شیب برابر
$\frac{y_{1}}{x_{1}}$
خواهد بود. این یعنی
$\tan(\theta_1)=\frac{y_{1}}{x_{1}}$
(چرا؟). به همین ترتیب با در نظر گرفتنِ نقطهٔ $C=(x_2,y_2)$ بر روی خط آبی و نام گذاشتنِ $m_2$ برای شیب این خط، داریم
$m_{2}=\tan(\theta_{2})=\frac{y_{2}}{x_{2}}$.
اکنون با استفاده از روابط مثلثاتی برای تانژانت داریم
$$\tan(90)=\tan(\theta_{2}-\theta_{1})=\frac{\tan(\theta_2)-\tan(\theta_1)}{1+\tan(\theta_1)\tan(\theta_2)}=\frac{m_{2}-m_{1}}{1+m_{1}m_{2}} \;\;\;\;\;\;\;\; (1)$$
با توجه به اینکه
$\tan(90)=\infty$
از طرف راست معادله
$(1)$
میتوان نتیجه گرفت که
$m_{1} m_{2}=-1$.
(چرا؟)
لطفا جزییات را خودتان کامل نمایید.
روش دوم: با استفاده از ضرب داخلی دو بردارها. (جزییات به عهدهی خودتان).