50g, Trig Identities Gone Wild


Hi again folks.

I'm taking a nice little analytical trig class, and while doing my homework this evening, encountered the the question: Express Cosecant (csc) theta in terms of Cotangent (cot) theta. I was able to arrive (on paper) at the solution of:

csc x = 1/sqrt(1-1/(1+1/(cot x)^2)).

To confirm my solution on my 50g, with the x variable purged, I keyed in the right side of the above equation exactly as written (with the exception of substituting (tan x)^2 for 1/(cot x)^2), with the intention of evaluating it for a few different values of x. As I keyed it in using the stack (with RPN keystrokes) when I took the square root (my next to last keystroke) the machine evaluated the radical, which is no surprize. The result of that evaluation, however, floored me. It was an absolute monstrosity, that when viewed in the equation writer, took up nearly 2 screens in "text" view. Curious, I entered the final keystroke...1/X...and then "condensed" it using the eval key three or four times (my machine is set to step by step). It condensed to about half of it's original length (but still huge), and it now contained terms up through the 7th power!! Still curious, I created an x variable containing an integer degree value. When I evaluated this monster and forced a real number output, the result was correct (ie, it equaled 1/sinx, or cscx).

I then purged the x variable, so I could play around with this thing symbolically a bit more, and found that by raising the denominator (of the above equation) to the .5 power, rather than using the sqrt key, no transformation took place.
I'm not even going to try to post this monster, as it would be virtually unreadable in this format anyway, but if one of you with a 50g would care to enter in the above equation, and then prognosticate on this transformation, I would be most curious.

Best regards, Hal

PS...I tried it on my 48gx, and there was no transformation at all.


For what it's worth, I tried this in Maple. Here's what I got:

> 1/sqrt(1-1/(1+1/(cot (x))^2));
/ 1 \1/2
|1 - -----------|
| 1 |
| 1 + -------|
| 2|
\ cot(x) /

> simplify(%);

From Maple's documentation:

- The csgn function is used to determine in which half-plane ("left" or
"right") the complex-valued expression or number x lies. It is defined by

/ 1 if Re(x) > 0 or Re(x) = 0 and Im(x) > 0
csgn(x) = <
\ -1 if Re(x) < 0 or Re(x) = 0 and Im(x) < 0



How about csc(x)=sqrt(1+cot(x)^2) ?


Which is what the HP 50g produces, expressed differently:

sqrt(TAN(X)^2+1)/TAN(X) = sqrt(1+COT(X)^2)



I set my HP50g for EXACT mode, then entered your expression in the form:


After pushing EVAL, the massive expression to which you refer appeared.

After pushing EVAL once again, that mass simplified to:


Pushing EVAL once again produced the same result.

It is interesting.


Possibly Related Threads...
Thread Author Replies Views Last Post
  Trig vs hyperbolic handling differences in Prime CAS Michael de Estrada 3 1,103 11-08-2013, 06:26 PM
Last Post: Mark Hardman
  Trig Functions Howard Owen 11 2,405 09-16-2013, 02:53 PM
Last Post: Fred Lusk
  trig scales on the Post Versalog slide rule Al 12 2,595 09-15-2013, 06:01 AM
Last Post: John I.
  Some trig help, please Matt Agajanian 33 4,967 04-12-2013, 06:39 PM
Last Post: Matt Agajanian
  Trig Identity question Namir 13 2,423 03-04-2013, 07:45 PM
Last Post: Eric Smith
  Question about trig functions approximation Namir 8 1,653 01-10-2013, 06:49 AM
Last Post: Valentin Albillo
  WP 34S Complex trig/hyperbolic bugs? Eamonn 35 5,757 04-26-2012, 07:32 PM
Last Post: Pete Wilson
  Just a thought I had--a 35S Trig fix Matt Agajanian 62 7,697 03-26-2012, 10:40 AM
Last Post: bill platt
  10bii+ Trig Bug Katie Wasserman 5 1,397 07-06-2011, 05:01 PM
Last Post: Thomas Radtke
  WP34S assembler/disassembler in the wild Neil Hamilton (Ottawa) 15 2,738 07-01-2011, 06:05 PM
Last Post: fhub

Forum Jump: