[Date Index] [Thread Index] [Author Index]

Assumptions for Trigonometry Inequalities

• To: mathgroup at smc.vnet.net
• Subject: [mg71328] Assumptions for Trigonometry Inequalities
• From: Martin Schoenecker <ms_usenet at gmx.de>
• Date: Wed, 15 Nov 2006 06:43:25 -0500 (EST)
• Organization: Technische Universitaet Darmstadt

Hello,

the Sin of a real number between zero and Pi should be positive, as 
Simplify finds out, too.

In[133]:= Simplify[Sin[gamma]>0,0<gamma<Pi]
Out[133]= True

As well, the Sin of a number between -Pi and 0 is negative, but why 
doesn't Simplify evaluate it?  The Less implies that the variable is 
real, I think, however stating it explicitly doesn't change the result.

In[134]:= Simplify[Sin[gamma]<0,-Pi<gamma<0]
Out[134]= Sin[gamma]<0

Are there any hints on that?
Thank you,
Martin

• Follow-Ups:
  • Re: Assumptions for Trigonometry Inequalities
    • From: Andrzej Kozlowski <akoz@mimuw.edu.pl>