
#1
May2411, 07:52 AM

P: 123

Doing a past paper where long story short I have a set of equations and I have to prove the variables are equal to some trig function. Namely:
a^2 + c^2 = b^2 + d^2 = 1 ad  bc = ab + cd = 0 Now I know that sin^2 + cos^2 = 1 and that sin(A+B)=sinAcosB + cosAsinB, etc and the conclusion is that these equations have a general solution expressing a, b, c and d as functions of some parameter *, i.e. a=cos* b=sin* c=sin* d=cos*. Now I can easily see that this is true when I put the results back into the equation, but I am wondering how I know that only these functions will do. For example if we are told that a^2+b^2=1, it is certainly true for all a:=sin*, b:=cos*, but might there not be other solutions? Is it simply common knowledge that there aren't? Well, I have a quadratic I can solve to check? a^21+b^2=0 Oh it's a function of two variables a^2=(b+1)(b1) a=((b+1)(b1))^(1/2) Okay so now I suppose we have a in terms of b, we have a similar argument for c in terms of d, and we can plug those into ab+cd=0 and adbc=1, and we will have two equations relating a to c. I suspect this will still lead to an equation which looks like a trig identity. But even so, it would not serve as a proof that all solutions to a^2+b^2=1 must take the form a=sin* b=cos*. I could jump to that conclusion to get the marks in an exam but I would like to see a proof. I'm probably being blind to something very obvious. 



#2
May2411, 08:36 AM

Sci Advisor
HW Helper
Thanks
P: 26,167

Hi Gwilim!
(have a squareroot: √ and a theta: θ and try using the X^{2} icon just above the Reply box ) If a = cosθ, then 1  a^{2} = … ? 



#3
May2411, 11:29 AM

P: 123

Ah okay so b is a complex number and since the question wanted real solutions I have not found a counterexample as far as the exam is concerned but I still haven't proved that there aren't any. I suppose we can say that a and b must exist on the interval [1,1] if we want real solutions. But we can define functions other than sines and cosines with that range. No no wait since sines and cosines are surjective on that range any number on the interval [1,1] can be written as the sine or cosine of something, and so a can be written as sinθ at which point we can go ahead and identify b with cosθ. Alright I guess I'm convinced. Does this mean it's possible to actually define sines and cosines as the functions with that relative property? 



#4
May2411, 12:11 PM

Sci Advisor
HW Helper
Thanks
P: 26,167

Trig identities 



#5
May2411, 05:25 PM

P: 123

Brilliant, thankyou!



Register to reply 
Related Discussions  
Re: Trig Identities  Precalculus Mathematics Homework  5  
Trig Identities:  Calculus  2  
(e^ix)^n=(e^ixn) & Trig identities  Calculus  4  
Trig identities plz help  General Math  12  
Trig Identities  Introductory Physics Homework  20 