1.2.1
by Camm Maguire
Import upstream version 5.10.0 |
1 |
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html401/loose.dtd">
|
2 |
<html> |
|
3 |
<!-- Created on September, 20 2006 by texi2html 1.76 -->
|
|
4 |
<!--
|
|
5 |
Written by: Lionel Cons <Lionel.Cons@cern.ch> (original author)
|
|
6 |
Karl Berry <karl@freefriends.org>
|
|
7 |
Olaf Bachmann <obachman@mathematik.uni-kl.de>
|
|
8 |
and many others.
|
|
9 |
Maintained by: Many creative people <dev@texi2html.cvshome.org>
|
|
10 |
Send bugs and suggestions to <users@texi2html.cvshome.org>
|
|
11 |
||
12 |
-->
|
|
13 |
<head> |
|
14 |
<title>Maxima Manual: 15. Trigonometric</title> |
|
15 |
||
16 |
<meta name="description" content="Maxima Manual: 15. Trigonometric"> |
|
17 |
<meta name="keywords" content="Maxima Manual: 15. Trigonometric"> |
|
18 |
<meta name="resource-type" content="document"> |
|
19 |
<meta name="distribution" content="global"> |
|
20 |
<meta name="Generator" content="texi2html 1.76"> |
|
21 |
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii"> |
|
22 |
<style type="text/css"> |
|
23 |
<!-- |
|
24 |
a.summary-letter {text-decoration: none} |
|
25 |
pre.display {font-family: serif} |
|
26 |
pre.format {font-family: serif} |
|
27 |
pre.menu-comment {font-family: serif} |
|
28 |
pre.menu-preformatted {font-family: serif} |
|
29 |
pre.smalldisplay {font-family: serif; font-size: smaller} |
|
30 |
pre.smallexample {font-size: smaller} |
|
31 |
pre.smallformat {font-family: serif; font-size: smaller} |
|
32 |
pre.smalllisp {font-size: smaller} |
|
33 |
span.sansserif {font-family:sans-serif; font-weight:normal;} |
|
34 |
ul.toc {list-style: none} |
|
35 |
body
|
|
36 |
{
|
|
37 |
color: black; |
|
38 |
background: white; |
|
39 |
margin-left: 8%; |
|
40 |
margin-right: 13%; |
|
41 |
}
|
|
42 |
||
43 |
h1
|
|
44 |
{
|
|
45 |
margin-left: +8%; |
|
46 |
font-size: 150%; |
|
47 |
font-family: sans-serif |
|
48 |
}
|
|
49 |
||
50 |
h2
|
|
51 |
{
|
|
52 |
font-size: 125%; |
|
53 |
font-family: sans-serif |
|
54 |
}
|
|
55 |
||
56 |
h3
|
|
57 |
{
|
|
58 |
font-size: 100%; |
|
59 |
font-family: sans-serif |
|
60 |
}
|
|
61 |
||
62 |
h2,h3,h4,h5,h6 { margin-left: +4%; } |
|
63 |
||
64 |
div.textbox |
|
65 |
{
|
|
66 |
border: solid; |
|
67 |
border-width: thin; |
|
68 |
/* width: 100%; */
|
|
69 |
padding-top: 1em; |
|
70 |
padding-bottom: 1em; |
|
71 |
padding-left: 2em; |
|
72 |
padding-right: 2em |
|
73 |
}
|
|
74 |
||
75 |
div.titlebox |
|
76 |
{
|
|
77 |
border: none; |
|
78 |
padding-top: 1em; |
|
79 |
padding-bottom: 1em; |
|
80 |
padding-left: 2em; |
|
81 |
padding-right: 2em; |
|
82 |
background: rgb(200,255,255); |
|
83 |
font-family: sans-serif |
|
84 |
}
|
|
85 |
||
86 |
div.synopsisbox |
|
87 |
{
|
|
88 |
border: none; |
|
89 |
padding-top: 1em; |
|
90 |
padding-bottom: 1em; |
|
91 |
padding-left: 2em; |
|
92 |
padding-right: 2em; |
|
93 |
background: rgb(255,220,255); |
|
94 |
/*background: rgb(200,255,255); */
|
|
95 |
/* font-family: fixed */
|
|
96 |
}
|
|
97 |
||
98 |
pre.example |
|
99 |
{
|
|
100 |
border: none; |
|
101 |
padding-top: 1em; |
|
102 |
padding-bottom: 1em; |
|
103 |
padding-left: 1em; |
|
104 |
padding-right: 1em; |
|
105 |
background: rgb(247,242,180); /* kind of sandy */ |
|
106 |
/* background: rgb(200,255,255); */ /* sky blue */ |
|
107 |
font-family: "Lucida Console", monospace |
|
108 |
}
|
|
109 |
||
110 |
div.spacerbox |
|
111 |
{
|
|
112 |
border: none; |
|
113 |
padding-top: 2em; |
|
114 |
padding-bottom: 2em |
|
115 |
}
|
|
116 |
||
117 |
div.image |
|
118 |
{
|
|
119 |
margin: 0; |
|
120 |
padding: 1em; |
|
121 |
text-align: center; |
|
122 |
}
|
|
123 |
--> |
|
124 |
</style> |
|
125 |
||
126 |
<link rel="icon" href="http://maxima.sourceforge.net/favicon.ico"/> |
|
127 |
</head> |
|
128 |
||
129 |
<body lang="en" bgcolor="#FFFFFF" text="#000000" link="#0000FF" vlink="#800080" alink="#FF0000"> |
|
130 |
||
131 |
<a name="Trigonometric"></a> |
|
132 |
<a name="SEC51"></a> |
|
133 |
<table cellpadding="1" cellspacing="1" border="0"> |
|
134 |
<tr><td valign="middle" align="left">[<a href="maxima_14.html#SEC50" title="Previous section in reading order"> < </a>]</td> |
|
135 |
<td valign="middle" align="left">[<a href="#SEC52" title="Next section in reading order"> > </a>]</td> |
|
136 |
<td valign="middle" align="left"> </td> |
|
137 |
<td valign="middle" align="left">[<a href="maxima_14.html#SEC49" title="Beginning of this chapter or previous chapter"> << </a>]</td> |
|
138 |
<td valign="middle" align="left">[<a href="maxima.html#SEC_Top" title="Up section"> Up </a>]</td> |
|
139 |
<td valign="middle" align="left">[<a href="maxima_16.html#SEC54" title="Next chapter"> >> </a>]</td> |
|
140 |
<td valign="middle" align="left"> </td> |
|
141 |
<td valign="middle" align="left"> </td> |
|
142 |
<td valign="middle" align="left"> </td> |
|
143 |
<td valign="middle" align="left"> </td> |
|
144 |
<td valign="middle" align="left">[<a href="maxima.html#SEC_Top" title="Cover (top) of document">Top</a>]</td> |
|
145 |
<td valign="middle" align="left">[<a href="maxima_toc.html#SEC_Contents" title="Table of contents">Contents</a>]</td> |
|
146 |
<td valign="middle" align="left">[<a href="maxima_72.html#SEC264" title="Index">Index</a>]</td> |
|
147 |
<td valign="middle" align="left">[<a href="maxima_abt.html#SEC_About" title="About (help)"> ? </a>]</td> |
|
148 |
</tr></table> |
|
149 |
<h1 class="chapter"> 15. Trigonometric </h1> |
|
150 |
||
151 |
||
152 |
<table class="menu" border="0" cellspacing="0"> |
|
153 |
<tr><td align="left" valign="top"><a href="#SEC52">15.1 Introduction to Trigonometric</a></td><td> </td><td align="left" valign="top"> |
|
154 |
</td></tr> |
|
155 |
<tr><td align="left" valign="top"><a href="#SEC53">15.2 Definitions for Trigonometric</a></td><td> </td><td align="left" valign="top"> |
|
156 |
</td></tr> |
|
157 |
</table> |
|
158 |
||
159 |
<hr size="6"> |
|
160 |
<a name="Introduction-to-Trigonometric"></a> |
|
161 |
<a name="SEC52"></a> |
|
162 |
<table cellpadding="1" cellspacing="1" border="0"> |
|
163 |
<tr><td valign="middle" align="left">[<a href="#SEC51" title="Previous section in reading order"> < </a>]</td> |
|
164 |
<td valign="middle" align="left">[<a href="#SEC53" title="Next section in reading order"> > </a>]</td> |
|
165 |
<td valign="middle" align="left"> </td> |
|
166 |
<td valign="middle" align="left">[<a href="#SEC51" title="Beginning of this chapter or previous chapter"> << </a>]</td> |
|
167 |
<td valign="middle" align="left">[<a href="#SEC51" title="Up section"> Up </a>]</td> |
|
168 |
<td valign="middle" align="left">[<a href="maxima_16.html#SEC54" title="Next chapter"> >> </a>]</td> |
|
169 |
<td valign="middle" align="left"> </td> |
|
170 |
<td valign="middle" align="left"> </td> |
|
171 |
<td valign="middle" align="left"> </td> |
|
172 |
<td valign="middle" align="left"> </td> |
|
173 |
<td valign="middle" align="left">[<a href="maxima.html#SEC_Top" title="Cover (top) of document">Top</a>]</td> |
|
174 |
<td valign="middle" align="left">[<a href="maxima_toc.html#SEC_Contents" title="Table of contents">Contents</a>]</td> |
|
175 |
<td valign="middle" align="left">[<a href="maxima_72.html#SEC264" title="Index">Index</a>]</td> |
|
176 |
<td valign="middle" align="left">[<a href="maxima_abt.html#SEC_About" title="About (help)"> ? </a>]</td> |
|
177 |
</tr></table> |
|
178 |
<h2 class="section"> 15.1 Introduction to Trigonometric </h2> |
|
179 |
||
180 |
<p>Maxima has many trigonometric functions defined. Not all trigonometric |
|
181 |
identities are programmed, but it is possible for the user to add many |
|
182 |
of them using the pattern matching capabilities of the system. The |
|
183 |
trigonometric functions defined in Maxima are: <code>acos</code>, |
|
184 |
<code>acosh</code>, <code>acot</code>, <code>acoth</code>, <code>acsc</code>, |
|
185 |
<code>acsch</code>, <code>asec</code>, <code>asech</code>, <code>asin</code>, |
|
186 |
<code>asinh</code>, <code>atan</code>, <code>atanh</code>, <code>cos</code>, |
|
187 |
<code>cosh</code>, <code>cot</code>, <code>coth</code>, <code>csc</code>, <code>csch</code>, |
|
188 |
<code>sec</code>, <code>sech</code>, <code>sin</code>, <code>sinh</code>, <code>tan</code>, |
|
189 |
and <code>tanh</code>. There are a number of commands especially for |
|
190 |
handling trigonometric functions, see <code>trigexpand</code>, |
|
191 |
<code>trigreduce</code>, and the switch <code>trigsign</code>. Two share |
|
192 |
packages extend the simplification rules built into Maxima, |
|
193 |
<code>ntrig</code> and <code>atrig1</code>. Do <code>describe(<var>command</var>)</code> |
|
194 |
for details. |
|
195 |
</p> |
|
196 |
<hr size="6"> |
|
197 |
<a name="Definitions-for-Trigonometric"></a> |
|
198 |
<a name="SEC53"></a> |
|
199 |
<table cellpadding="1" cellspacing="1" border="0"> |
|
200 |
<tr><td valign="middle" align="left">[<a href="#SEC52" title="Previous section in reading order"> < </a>]</td> |
|
201 |
<td valign="middle" align="left">[<a href="maxima_16.html#SEC54" title="Next section in reading order"> > </a>]</td> |
|
202 |
<td valign="middle" align="left"> </td> |
|
203 |
<td valign="middle" align="left">[<a href="#SEC51" title="Beginning of this chapter or previous chapter"> << </a>]</td> |
|
204 |
<td valign="middle" align="left">[<a href="#SEC51" title="Up section"> Up </a>]</td> |
|
205 |
<td valign="middle" align="left">[<a href="maxima_16.html#SEC54" title="Next chapter"> >> </a>]</td> |
|
206 |
<td valign="middle" align="left"> </td> |
|
207 |
<td valign="middle" align="left"> </td> |
|
208 |
<td valign="middle" align="left"> </td> |
|
209 |
<td valign="middle" align="left"> </td> |
|
210 |
<td valign="middle" align="left">[<a href="maxima.html#SEC_Top" title="Cover (top) of document">Top</a>]</td> |
|
211 |
<td valign="middle" align="left">[<a href="maxima_toc.html#SEC_Contents" title="Table of contents">Contents</a>]</td> |
|
212 |
<td valign="middle" align="left">[<a href="maxima_72.html#SEC264" title="Index">Index</a>]</td> |
|
213 |
<td valign="middle" align="left">[<a href="maxima_abt.html#SEC_About" title="About (help)"> ? </a>]</td> |
|
214 |
</tr></table> |
|
215 |
<h2 class="section"> 15.2 Definitions for Trigonometric </h2> |
|
216 |
||
217 |
<dl> |
|
218 |
<dt><u>Function:</u> <b>acos</b><i> (<var>x</var>)</i> |
|
219 |
<a name="IDX475"></a> |
|
220 |
</dt> |
|
221 |
<dd><p> - Arc Cosine. |
|
222 |
</p> |
|
223 |
</dd></dl> |
|
224 |
||
225 |
<dl> |
|
226 |
<dt><u>Function:</u> <b>acosh</b><i> (<var>x</var>)</i> |
|
227 |
<a name="IDX476"></a> |
|
228 |
</dt> |
|
229 |
<dd><p> - Hyperbolic Arc Cosine. |
|
230 |
</p> |
|
231 |
</dd></dl> |
|
232 |
||
233 |
<dl> |
|
234 |
<dt><u>Function:</u> <b>acot</b><i> (<var>x</var>)</i> |
|
235 |
<a name="IDX477"></a> |
|
236 |
</dt> |
|
237 |
<dd><p> - Arc Cotangent. |
|
238 |
</p> |
|
239 |
</dd></dl> |
|
240 |
||
241 |
<dl> |
|
242 |
<dt><u>Function:</u> <b>acoth</b><i> (<var>x</var>)</i> |
|
243 |
<a name="IDX478"></a> |
|
244 |
</dt> |
|
245 |
<dd><p> - Hyperbolic Arc Cotangent. |
|
246 |
</p> |
|
247 |
</dd></dl> |
|
248 |
||
249 |
<dl> |
|
250 |
<dt><u>Function:</u> <b>acsc</b><i> (<var>x</var>)</i> |
|
251 |
<a name="IDX479"></a> |
|
252 |
</dt> |
|
253 |
<dd><p> - Arc Cosecant. |
|
254 |
</p> |
|
255 |
</dd></dl> |
|
256 |
||
257 |
<dl> |
|
258 |
<dt><u>Function:</u> <b>acsch</b><i> (<var>x</var>)</i> |
|
259 |
<a name="IDX480"></a> |
|
260 |
</dt> |
|
261 |
<dd><p> - Hyperbolic Arc Cosecant. |
|
262 |
</p> |
|
263 |
</dd></dl> |
|
264 |
||
265 |
<dl> |
|
266 |
<dt><u>Function:</u> <b>asec</b><i> (<var>x</var>)</i> |
|
267 |
<a name="IDX481"></a> |
|
268 |
</dt> |
|
269 |
<dd><p> - Arc Secant. |
|
270 |
</p> |
|
271 |
</dd></dl> |
|
272 |
||
273 |
<dl> |
|
274 |
<dt><u>Function:</u> <b>asech</b><i> (<var>x</var>)</i> |
|
275 |
<a name="IDX482"></a> |
|
276 |
</dt> |
|
277 |
<dd><p> - Hyperbolic Arc Secant. |
|
278 |
</p> |
|
279 |
</dd></dl> |
|
280 |
||
281 |
<dl> |
|
282 |
<dt><u>Function:</u> <b>asin</b><i> (<var>x</var>)</i> |
|
283 |
<a name="IDX483"></a> |
|
284 |
</dt> |
|
285 |
<dd><p> - Arc Sine. |
|
286 |
</p> |
|
287 |
</dd></dl> |
|
288 |
||
289 |
<dl> |
|
290 |
<dt><u>Function:</u> <b>asinh</b><i> (<var>x</var>)</i> |
|
291 |
<a name="IDX484"></a> |
|
292 |
</dt> |
|
293 |
<dd><p> - Hyperbolic Arc Sine. |
|
294 |
</p> |
|
295 |
</dd></dl> |
|
296 |
||
297 |
<dl> |
|
298 |
<dt><u>Function:</u> <b>atan</b><i> (<var>x</var>)</i> |
|
299 |
<a name="IDX485"></a> |
|
300 |
</dt> |
|
301 |
<dd><p> - Arc Tangent. |
|
302 |
</p> |
|
303 |
</dd></dl> |
|
304 |
||
305 |
<dl> |
|
306 |
<dt><u>Function:</u> <b>atan2</b><i> (<var>y</var>, <var>x</var>)</i> |
|
307 |
<a name="IDX486"></a> |
|
308 |
</dt> |
|
309 |
<dd><p>- yields the value of <code>atan(<var>y</var>/<var>x</var>)</code> in the interval <code>-%pi</code> to |
|
310 |
<code>%pi</code>. |
|
311 |
</p> |
|
312 |
</dd></dl> |
|
313 |
||
314 |
<dl> |
|
315 |
<dt><u>Function:</u> <b>atanh</b><i> (<var>x</var>)</i> |
|
316 |
<a name="IDX487"></a> |
|
317 |
</dt> |
|
318 |
<dd><p> - Hyperbolic Arc Tangent. |
|
319 |
</p> |
|
320 |
</dd></dl> |
|
321 |
||
322 |
<dl> |
|
323 |
<dt><u>Package:</u> <b>atrig1</b> |
|
324 |
<a name="IDX488"></a> |
|
325 |
</dt> |
|
326 |
<dd><p>The <code>atrig1</code> package contains several additional simplification rules |
|
327 |
for inverse trigonometric functions. Together with rules |
|
328 |
already known to Maxima, the following angles are fully implemented: |
|
329 |
<code>0</code>, <code>%pi/6</code>, <code>%pi/4</code>, <code>%pi/3</code>, and <code>%pi/2</code>. |
|
330 |
Corresponding angles in the other three quadrants are also available. |
|
331 |
Do <code>load(atrig1);</code> to use them. |
|
332 |
</p> |
|
333 |
</dd></dl> |
|
334 |
||
335 |
<dl> |
|
336 |
<dt><u>Function:</u> <b>cos</b><i> (<var>x</var>)</i> |
|
337 |
<a name="IDX489"></a> |
|
338 |
</dt> |
|
339 |
<dd><p> - Cosine. |
|
340 |
</p> |
|
341 |
</dd></dl> |
|
342 |
||
343 |
<dl> |
|
344 |
<dt><u>Function:</u> <b>cosh</b><i> (<var>x</var>)</i> |
|
345 |
<a name="IDX490"></a> |
|
346 |
</dt> |
|
347 |
<dd><p> - Hyperbolic Cosine. |
|
348 |
</p> |
|
349 |
</dd></dl> |
|
350 |
||
351 |
<dl> |
|
352 |
<dt><u>Function:</u> <b>cot</b><i> (<var>x</var>)</i> |
|
353 |
<a name="IDX491"></a> |
|
354 |
</dt> |
|
355 |
<dd><p> - Cotangent. |
|
356 |
</p> |
|
357 |
</dd></dl> |
|
358 |
||
359 |
<dl> |
|
360 |
<dt><u>Function:</u> <b>coth</b><i> (<var>x</var>)</i> |
|
361 |
<a name="IDX492"></a> |
|
362 |
</dt> |
|
363 |
<dd><p> - Hyperbolic Cotangent. |
|
364 |
</p> |
|
365 |
</dd></dl> |
|
366 |
||
367 |
<dl> |
|
368 |
<dt><u>Function:</u> <b>csc</b><i> (<var>x</var>)</i> |
|
369 |
<a name="IDX493"></a> |
|
370 |
</dt> |
|
371 |
<dd><p> - Cosecant. |
|
372 |
</p> |
|
373 |
</dd></dl> |
|
374 |
||
375 |
<dl> |
|
376 |
<dt><u>Function:</u> <b>csch</b><i> (<var>x</var>)</i> |
|
377 |
<a name="IDX494"></a> |
|
378 |
</dt> |
|
379 |
<dd><p> - Hyperbolic Cosecant. |
|
380 |
</p> |
|
381 |
</dd></dl> |
|
382 |
||
383 |
<dl> |
|
384 |
<dt><u>Option variable:</u> <b>halfangles</b> |
|
385 |
<a name="IDX495"></a> |
|
386 |
</dt> |
|
387 |
<dd><p>Default value: <code>false</code> |
|
388 |
</p> |
|
389 |
<p>When <code>halfangles</code> is <code>true</code>, |
|
390 |
half-angles are simplified away. |
|
391 |
</p> |
|
392 |
</dd></dl> |
|
393 |
||
394 |
<dl> |
|
395 |
<dt><u>Package:</u> <b>ntrig</b> |
|
396 |
<a name="IDX496"></a> |
|
397 |
</dt> |
|
398 |
<dd><p>The <code>ntrig</code> package contains a set of simplification rules that are |
|
399 |
used to simplify trigonometric function whose arguments are of the form |
|
400 |
<code><var>f</var>(<var>n</var> %pi/10)</code> where <var>f</var> is any of the functions |
|
401 |
<code>sin</code>, <code>cos</code>, <code>tan</code>, <code>csc</code>, <code>sec</code> and <code>cot</code>. |
|
402 |
</p> |
|
403 |
</dd></dl> |
|
404 |
||
405 |
<dl> |
|
406 |
<dt><u>Function:</u> <b>sec</b><i> (<var>x</var>)</i> |
|
407 |
<a name="IDX497"></a> |
|
408 |
</dt> |
|
409 |
<dd><p> - Secant. |
|
410 |
</p> |
|
411 |
</dd></dl> |
|
412 |
||
413 |
<dl> |
|
414 |
<dt><u>Function:</u> <b>sech</b><i> (<var>x</var>)</i> |
|
415 |
<a name="IDX498"></a> |
|
416 |
</dt> |
|
417 |
<dd><p> - Hyperbolic Secant. |
|
418 |
</p> |
|
419 |
</dd></dl> |
|
420 |
||
421 |
<dl> |
|
422 |
<dt><u>Function:</u> <b>sin</b><i> (<var>x</var>)</i> |
|
423 |
<a name="IDX499"></a> |
|
424 |
</dt> |
|
425 |
<dd><p> - Sine. |
|
426 |
</p> |
|
427 |
</dd></dl> |
|
428 |
||
429 |
<dl> |
|
430 |
<dt><u>Function:</u> <b>sinh</b><i> (<var>x</var>)</i> |
|
431 |
<a name="IDX500"></a> |
|
432 |
</dt> |
|
433 |
<dd><p> - Hyperbolic Sine. |
|
434 |
</p> |
|
435 |
</dd></dl> |
|
436 |
||
437 |
<dl> |
|
438 |
<dt><u>Function:</u> <b>tan</b><i> (<var>x</var>)</i> |
|
439 |
<a name="IDX501"></a> |
|
440 |
</dt> |
|
441 |
<dd><p> - Tangent. |
|
442 |
</p> |
|
443 |
</dd></dl> |
|
444 |
||
445 |
<dl> |
|
446 |
<dt><u>Function:</u> <b>tanh</b><i> (<var>x</var>)</i> |
|
447 |
<a name="IDX502"></a> |
|
448 |
</dt> |
|
449 |
<dd><p> - Hyperbolic Tangent. |
|
450 |
</p> |
|
451 |
</dd></dl> |
|
452 |
||
453 |
<dl> |
|
454 |
<dt><u>Function:</u> <b>trigexpand</b><i> (<var>expr</var>)</i> |
|
455 |
<a name="IDX503"></a> |
|
456 |
</dt> |
|
457 |
<dd><p>Expands trigonometric and hyperbolic functions of |
|
458 |
sums of angles and of multiple angles occurring in <var>expr</var>. For best |
|
459 |
results, <var>expr</var> should be expanded. To enhance user control of |
|
460 |
simplification, this function expands only one level at a time, |
|
461 |
expanding sums of angles or multiple angles. To obtain full expansion |
|
462 |
into sines and cosines immediately, set the switch <code>trigexpand: true</code>. |
|
463 |
</p> |
|
464 |
<p><code>trigexpand</code> is governed by the following global flags: |
|
465 |
</p> |
|
466 |
<dl compact="compact"> |
|
467 |
<dt> <code>trigexpand</code></dt> |
|
468 |
<dd><p>If <code>true</code> causes expansion of all |
|
469 |
expressions containing sin's and cos's occurring subsequently. |
|
470 |
</p></dd> |
|
471 |
<dt> <code>halfangles</code></dt> |
|
472 |
<dd><p>If <code>true</code> causes half-angles to be simplified |
|
473 |
away. |
|
474 |
</p></dd> |
|
475 |
<dt> <code>trigexpandplus</code></dt> |
|
476 |
<dd><p>Controls the "sum" rule for <code>trigexpand</code>, |
|
477 |
expansion of sums (e.g. <code>sin(x + y)</code>) will take place only if |
|
478 |
<code>trigexpandplus</code> is <code>true</code>. |
|
479 |
</p></dd> |
|
480 |
<dt> <code>trigexpandtimes</code></dt> |
|
481 |
<dd><p>Controls the "product" rule for <code>trigexpand</code>, |
|
482 |
expansion of products (e.g. <code>sin(2 x)</code>) will take place only if |
|
483 |
<code>trigexpandtimes</code> is <code>true</code>. |
|
484 |
</p></dd> |
|
485 |
</dl> |
|
486 |
||
487 |
<p>Examples: |
|
488 |
</p> |
|
489 |
<table><tr><td> </td><td><pre class="example">(%i1) x+sin(3*x)/sin(x),trigexpand=true,expand; |
|
490 |
2 2 |
|
491 |
(%o1) - sin (x) + 3 cos (x) + x |
|
492 |
(%i2) trigexpand(sin(10*x+y)); |
|
493 |
(%o2) cos(10 x) sin(y) + sin(10 x) cos(y) |
|
494 |
||
495 |
</pre></td></tr></table> |
|
496 |
</dd></dl> |
|
497 |
||
498 |
<dl> |
|
499 |
<dt><u>Option variable:</u> <b>trigexpandplus</b> |
|
500 |
<a name="IDX504"></a> |
|
501 |
</dt> |
|
502 |
<dd><p>Default value: <code>true</code> |
|
503 |
</p> |
|
504 |
<p><code>trigexpandplus</code> controls the "sum" rule for |
|
505 |
<code>trigexpand</code>. Thus, when the <code>trigexpand</code> command is used or the |
|
506 |
<code>trigexpand</code> switch set to <code>true</code>, expansion of sums |
|
507 |
(e.g. <code>sin(x+y))</code> will take place only if <code>trigexpandplus</code> is |
|
508 |
<code>true</code>. |
|
509 |
</p> |
|
510 |
</dd></dl> |
|
511 |
||
512 |
<dl> |
|
513 |
<dt><u>Option variable:</u> <b>trigexpandtimes</b> |
|
514 |
<a name="IDX505"></a> |
|
515 |
</dt> |
|
516 |
<dd><p>Default value: <code>true</code> |
|
517 |
</p> |
|
518 |
<p><code>trigexpandtimes</code> controls the "product" rule for |
|
519 |
<code>trigexpand</code>. Thus, when the <code>trigexpand</code> command is used or the |
|
520 |
<code>trigexpand</code> switch set to <code>true</code>, expansion of products (e.g. <code>sin(2*x)</code>) |
|
521 |
will take place only if <code>trigexpandtimes</code> is <code>true</code>. |
|
522 |
</p> |
|
523 |
</dd></dl> |
|
524 |
||
525 |
<dl> |
|
526 |
<dt><u>Option variable:</u> <b>triginverses</b> |
|
527 |
<a name="IDX506"></a> |
|
528 |
</dt> |
|
529 |
<dd><p>Default value: <code>all</code> |
|
530 |
</p> |
|
531 |
<p><code>triginverses</code> controls the simplification of the |
|
532 |
composition of trigonometric and hyperbolic functions with their inverse |
|
533 |
functions. |
|
534 |
</p> |
|
535 |
<p>If <code>all</code>, both e.g. <code>atan(tan(<var>x</var>))</code> |
|
536 |
and <code>tan(atan(<var>x</var>))</code> simplify to <var>x</var>. |
|
537 |
</p> |
|
538 |
<p>If <code>true</code>, the <code><var>arcfun</var>(<var>fun</var>(<var>x</var>))</code> |
|
539 |
simplification is turned off. |
|
540 |
</p> |
|
541 |
<p>If <code>false</code>, both the |
|
542 |
<code><var>arcfun</var>(<var>fun</var>(<var>x</var>))</code> and |
|
543 |
<code><var>fun</var>(<var>arcfun</var>(<var>x</var>))</code> |
|
544 |
simplifications are turned off. |
|
545 |
</p> |
|
546 |
</dd></dl> |
|
547 |
||
548 |
<dl> |
|
549 |
<dt><u>Function:</u> <b>trigreduce</b><i> (<var>expr</var>, <var>x</var>)</i> |
|
550 |
<a name="IDX507"></a> |
|
551 |
</dt> |
|
552 |
<dt><u>Function:</u> <b>trigreduce</b><i> (<var>expr</var>)</i> |
|
553 |
<a name="IDX508"></a> |
|
554 |
</dt> |
|
555 |
<dd><p>Combines products and powers of trigonometric |
|
556 |
and hyperbolic sin's and cos's of <var>x</var> into those of multiples of <var>x</var>. |
|
557 |
It also tries to eliminate these functions when they occur in |
|
558 |
denominators. If <var>x</var> is omitted then all variables in <var>expr</var> are used. |
|
559 |
</p> |
|
560 |
<p>See also <code>poissimp</code>. |
|
561 |
</p> |
|
562 |
<table><tr><td> </td><td><pre class="example">(%i1) trigreduce(-sin(x)^2+3*cos(x)^2+x); |
|
563 |
cos(2 x) cos(2 x) 1 1 |
|
564 |
(%o1) -------- + 3 (-------- + -) + x - - |
|
565 |
2 2 2 2 |
|
566 |
||
567 |
</pre></td></tr></table> |
|
568 |
<p>The trigonometric simplification routines will use declared |
|
569 |
information in some simple cases. Declarations about variables are |
|
570 |
used as follows, e.g. |
|
571 |
</p> |
|
572 |
<table><tr><td> </td><td><pre class="example">(%i1) declare(j, integer, e, even, o, odd)$ |
|
573 |
(%i2) sin(x + (e + 1/2)*%pi); |
|
574 |
(%o2) cos(x) |
|
575 |
(%i3) sin(x + (o + 1/2)*%pi); |
|
576 |
(%o3) - cos(x) |
|
577 |
||
578 |
</pre></td></tr></table> |
|
579 |
</dd></dl> |
|
580 |
||
581 |
<dl> |
|
582 |
<dt><u>Option variable:</u> <b>trigsign</b> |
|
583 |
<a name="IDX509"></a> |
|
584 |
</dt> |
|
585 |
<dd><p>Default value: <code>true</code> |
|
586 |
</p> |
|
587 |
<p>When <code>trigsign</code> is <code>true</code>, it permits simplification of negative |
|
588 |
arguments to trigonometric functions. E.g., <code>sin(-x)</code> will become |
|
589 |
<code>-sin(x)</code> only if <code>trigsign</code> is <code>true</code>. |
|
590 |
</p> |
|
591 |
</dd></dl> |
|
592 |
||
593 |
<dl> |
|
594 |
<dt><u>Function:</u> <b>trigsimp</b><i> (<var>expr</var>)</i> |
|
595 |
<a name="IDX510"></a> |
|
596 |
</dt> |
|
597 |
<dd><p>Employs the identities <em>sin(x)^2 + cos(x)^2 = 1</em> and |
|
598 |
<em>cosh(x)^2 - sinh(x)^2 = 1</em> to simplify expressions containing <code>tan</code>, <code>sec</code>, |
|
599 |
etc., to <code>sin</code>, <code>cos</code>, <code>sinh</code>, <code>cosh</code>. |
|
600 |
</p> |
|
601 |
<p><code>trigreduce</code>, <code>ratsimp</code>, and <code>radcan</code> may be |
|
602 |
able to further simplify the result. |
|
603 |
</p> |
|
604 |
<p><code>demo ("trgsmp.dem")</code> displays some examples of <code>trigsimp</code>. |
|
605 |
</p> |
|
606 |
</dd></dl> |
|
607 |
||
608 |
<dl> |
|
609 |
<dt><u>Function:</u> <b>trigrat</b><i> (<var>expr</var>)</i> |
|
610 |
<a name="IDX511"></a> |
|
611 |
</dt> |
|
612 |
<dd><p>Gives a canonical simplifyed quasilinear form of a |
|
613 |
trigonometrical expression; <var>expr</var> is a rational fraction of several <code>sin</code>, |
|
614 |
<code>cos</code> or <code>tan</code>, the arguments of them are linear forms in some variables (or |
|
615 |
kernels) and <code>%pi/<var>n</var></code> (<var>n</var> integer) with integer coefficients. The result is a |
|
616 |
simplified fraction with numerator and denominator linear in <code>sin</code> and <code>cos</code>. |
|
617 |
Thus <code>trigrat</code> linearize always when it is possible. |
|
618 |
</p> |
|
619 |
<table><tr><td> </td><td><pre class="example">(%i1) trigrat(sin(3*a)/sin(a+%pi/3)); |
|
620 |
(%o1) sqrt(3) sin(2 a) + cos(2 a) - 1 |
|
621 |
||
622 |
</pre></td></tr></table> |
|
623 |
<p>The following example is taken from |
|
624 |
Davenport, Siret, and Tournier, <i>Calcul Formel</i>, Masson (or in English, |
|
625 |
Addison-Wesley), section 1.5.5, Morley theorem. |
|
626 |
</p> |
|
627 |
<table><tr><td> </td><td><pre class="example">(%i1) c: %pi/3 - a - b; |
|
628 |
%pi |
|
629 |
(%o1) - b - a + --- |
|
630 |
3 |
|
631 |
(%i2) bc: sin(a)*sin(3*c)/sin(a+b); |
|
632 |
sin(a) sin(3 b + 3 a) |
|
633 |
(%o2) --------------------- |
|
634 |
sin(b + a) |
|
635 |
(%i3) ba: bc, c=a, a=c$ |
|
636 |
(%i4) ac2: ba^2 + bc^2 - 2*bc*ba*cos(b); |
|
637 |
2 2 |
|
638 |
sin (a) sin (3 b + 3 a) |
|
639 |
(%o4) ----------------------- |
|
640 |
2 |
|
641 |
sin (b + a) |
|
642 |
||
643 |
%pi |
|
644 |
2 sin(a) sin(3 a) cos(b) sin(b + a - ---) sin(3 b + 3 a) |
|
645 |
3 |
|
646 |
- -------------------------------------------------------- |
|
647 |
%pi |
|
648 |
sin(a - ---) sin(b + a) |
|
649 |
3 |
|
650 |
||
651 |
2 2 %pi |
|
652 |
sin (3 a) sin (b + a - ---) |
|
653 |
3 |
|
654 |
+ --------------------------- |
|
655 |
2 %pi |
|
656 |
sin (a - ---) |
|
657 |
3 |
|
658 |
(%i5) trigrat (ac2); |
|
659 |
(%o5) - (sqrt(3) sin(4 b + 4 a) - cos(4 b + 4 a) |
|
660 |
||
661 |
- 2 sqrt(3) sin(4 b + 2 a) + 2 cos(4 b + 2 a) |
|
662 |
||
663 |
- 2 sqrt(3) sin(2 b + 4 a) + 2 cos(2 b + 4 a) |
|
664 |
||
665 |
+ 4 sqrt(3) sin(2 b + 2 a) - 8 cos(2 b + 2 a) - 4 cos(2 b - 2 a) |
|
666 |
||
667 |
+ sqrt(3) sin(4 b) - cos(4 b) - 2 sqrt(3) sin(2 b) + 10 cos(2 b) |
|
668 |
||
669 |
+ sqrt(3) sin(4 a) - cos(4 a) - 2 sqrt(3) sin(2 a) + 10 cos(2 a) |
|
670 |
||
671 |
- 9)/4 |
|
672 |
||
673 |
</pre></td></tr></table> |
|
674 |
</dd></dl> |
|
675 |
||
676 |
||
677 |
<hr size="6"> |
|
678 |
<table cellpadding="1" cellspacing="1" border="0"> |
|
679 |
<tr><td valign="middle" align="left">[<a href="#SEC51" title="Beginning of this chapter or previous chapter"> << </a>]</td> |
|
680 |
<td valign="middle" align="left">[<a href="maxima_16.html#SEC54" title="Next chapter"> >> </a>]</td> |
|
681 |
<td valign="middle" align="left"> </td> |
|
682 |
<td valign="middle" align="left"> </td> |
|
683 |
<td valign="middle" align="left"> </td> |
|
684 |
<td valign="middle" align="left"> </td> |
|
685 |
<td valign="middle" align="left"> </td> |
|
686 |
<td valign="middle" align="left">[<a href="maxima.html#SEC_Top" title="Cover (top) of document">Top</a>]</td> |
|
687 |
<td valign="middle" align="left">[<a href="maxima_toc.html#SEC_Contents" title="Table of contents">Contents</a>]</td> |
|
688 |
<td valign="middle" align="left">[<a href="maxima_72.html#SEC264" title="Index">Index</a>]</td> |
|
689 |
<td valign="middle" align="left">[<a href="maxima_abt.html#SEC_About" title="About (help)"> ? </a>]</td> |
|
690 |
</tr></table> |
|
691 |
<p> |
|
692 |
<font size="-1"> |
|
693 |
This document was generated by <em>Robert Dodier</em> on <em>September, 20 2006</em> using <a href="http://texi2html.cvshome.org/"><em>texi2html 1.76</em></a>. |
|
694 |
</font> |
|
695 |
<br> |
|
696 |
||
697 |
</p> |
|
698 |
</body> |
|
699 |
</html> |