All about flooble | fun stuff | Get a free chatterbox | Free JavaScript | Avatars    
perplexus dot info

Home > Just Math
trigonometry and a triangle (Posted on 2004-02-26) Difficulty: 4 of 5
Prove that in a triangle ABC,:

sin(A)sin(B)sin(C) + cos(A)cos(B) = 1

implies:

A = B = 45° and C = 90°.

  Submitted by mohan    
Rating: 2.7143 (7 votes)
Solution: (Hide)
In any triangle ABC,
A+B+C = 180 degrees....(a);
0 < sinC ≤ 1...(same for A and B)....(b); and
None of the angles = 0 or 180 deg. ....(c).

For any 2 angles X and Y,
cosXcosY + sinXsinY = cos(X-Y).....(d);
sin²X + cos²X = 1.....(e); and
all sines and cosines are ≤ 1.....(f).

Necessity:
Let's start with condition 1.
sinAsinBsinC + cosAcosB = 1.
sinAsinBsinC ≤ sinAsinB from (b) above.
So, 1 ≤ sinAsinB + cosAcosB.
From (d) above, 1 ≤ cos(A-B).
But 1 ≥ cos(A-B) from (f) above.
The only solution to the above 2 inequalities is that
1 = cos (A-B)!
Hence, A = B.
So, sin²AsinC + cos²A = 1.
sin ²AsinC = sin²A from (e) above.
From (c) above, sinA is not equal to 0. So, we get
sinC = 1 or C = 90 deg.
Since A = B and A+B+C = 180 deg., A = B = 45 deg.
So, C = 90 deg. and A = B = 45 deg. which is condition 2.
Hence condition (2) is necessary for condition (1).

Sufficiency:
sin 45 deg. = cos 45 deg. = 1/√2.
sin 90 deg. = 1.
So, if C = 90 deg. and A = B = 45 deg.,
sinAsinBsinC + cosAcosB = 1/2 + 1/2 = 1.
So, condition 2 is sufficient for condition 1.

I like this problem because it is a case where an equation is rather easily solved with the clever use of inequalities. (The solution is not my own but I remember it from years ago when a smart professor came up with it in India. Other solutions possibly exist but are probably harder.)

Comments: ( You must be logged in to post comments.)
  Subject Author Date
Puzzle Thoughts K Sengupta2023-06-19 02:06:14
My solutionAlexis2006-08-21 00:58:11
What I think!!Nebo2004-08-19 10:44:27
re: A start...TCNZ2004-06-16 18:21:59
trigonomentry and a triangleliam2004-03-13 11:18:40
re(2): solutionmohan2004-02-29 03:08:26
easier solutioneleusive2004-02-28 23:37:55
lolmatt runchey2004-02-27 17:36:49
re(2): solutionCharlie2004-02-27 07:22:17
Some Thoughtsre: solutionFederico Kereki2004-02-27 06:43:35
re: solutionBrian Wainscott2004-02-26 16:37:05
solutionjacob2004-02-26 16:21:36
Quick Guessred_sox_fan_0320032004-02-26 16:19:24
A start...Brian Wainscott2004-02-26 16:13:30
Wow first postRawlyn2004-02-26 15:36:04
Please log in:
Login:
Password:
Remember me:
Sign up! | Forgot password


Search:
Search body:
Forums (1)
Newest Problems
Random Problem
FAQ | About This Site
Site Statistics
New Comments (10)
Unsolved Problems
Top Rated Problems
This month's top
Most Commented On

Chatterbox:
Copyright © 2002 - 2024 by Animus Pactum Consulting. All rights reserved. Privacy Information