• Jul 25th 2010, 08:29 PM
arze
I hope this is in the right place.

Prove the following statement by a direct proof of the contrapositive statement.
If two lines are perpendicular, the product of their gradients is -1.
The contrapositive would be:
If the products of two gradients is not -1, then their lines are not perpendicular.
My problem is I don't know how to go about proving the statement.
I tried this:
$\displaystyle \tan (\theta-\phi)=\frac{\tan\theta-\tan\phi}{1-\tan\theta\tan\phi}$
$\displaystyle \tan\theta\tan\phi=1-\frac{\tan\theta-\tan\phi}{\tan (\theta-\phi)}$
$\displaystyle \frac{\tan\theta-\tan\phi}{\tan (\theta-\phi)}$ is not equal to 2
But I don't know how to continue.
Thanks
• Jul 27th 2010, 07:29 AM
sa-ri-ga-ma
tan(θ - φ) = (tanθ - tanφ)/(1 + tanθ*tanφ)
• Jul 27th 2010, 05:54 PM
arze
Oops my bad. that would make it
$\displaystyle \tan\theta\tan\phi=\frac{\tan\theta-\tan\phi}{\tan (\theta-\phi)}-1$?
What's after this? How am I supposed to prove that if the product of two gradients is not -1, then the lines are not perpendicular? It would mean $\displaystyle \frac{\tan\theta-\tan\phi}{\tan (\theta-\phi)}$ is not 0.
• Jul 28th 2010, 05:34 PM
sa-ri-ga-ma
If the two lines are perpendicular to each other, then (θ - φ) = π/2 and tan(π/2) = infinity. It is possible only when (1 + tanθ*tanφ) = 0 or tanθ*tanφ = -1.
• Jul 28th 2010, 11:04 PM
arze
I don't think I understand what you mean. I'm supposed to prove the statement from its contrapositive statement. That is I'm supposed to prove that if the product of the gradients of two lines is not -1, then the lines are not perpendicular.
• Jul 29th 2010, 01:21 AM
sa-ri-ga-ma
Quote:

Originally Posted by arze
I don't think I understand what you mean. I'm supposed to prove the statement from its contrapositive statement. That is I'm supposed to prove that if the product of the gradients of two lines is not -1, then the lines are not perpendicular.

If tanθ*tanφ is not equal to -1, 1+tanθ*tanφ is not equal to zero and tan(θ - φ) is not equal to infinity. That means (θ - φ) is either more than π/2 or less than π/2. Hence the two lines are not perpendicular to each other.