login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Edit detail for SandBox ProblemSolving revision 2 of 3

1 2 3
Editor: Test
Time: 2008/04/04 21:16:23 GMT-7
Note:

added:

From Test Fri Apr 4 21:16:18 -0700 2008
From: Test
Date: Fri, 04 Apr 2008 21:16:18 -0700
Subject: 
Message-ID: <20080404211618-0700@axiom-wiki.newsynthesis.org>

\begin{axiom}
solve([nw=h/cos(a)/(h/w+tan(a)),nh=nw*h/w],[w,h])
\end{axiom}

  Mathe-Abi ab 2004

Aufgabe: Löse die Gleichung $e^{2x}+e^{x}-2=0$

Lösung:

axiom
g:=%e**(2*x)+%e**(x)-2=0
\begin{equation} \label{eq1}{{e^{\left(2 \ x \right)}}+{e^x}- 2}= 0\end{equation}
Type: Equation(Expression(Integer))
axiom
g:=g+2
\begin{equation} \label{eq2}{{e^{\left(2 \ x \right)}}+{e^x}}= 2\end{equation}
Type: Equation(Expression(Integer))
axiom
f:=(2*x^2+2*x-1)/(x^2-1)
\begin{equation} \label{eq3}{{2 \ {x^2}}+{2 \ x}- 1}\over{{x^2}- 1}\end{equation}
Type: Fraction(Polynomial(Integer))
axiom
differentiate(f,x)
\begin{equation} \label{eq4}{-{2 \ {x^2}}-{2 \ x}- 2}\over{{x^4}-{2 \ {x^2}}+ 1}\end{equation}
Type: Fraction(Polynomial(Integer))
axiom
simplify(%)
\begin{equation} \label{eq5}{-{2 \ {x^2}}-{2 \ x}- 2}\over{{x^4}-{2 \ {x^2}}+ 1}\end{equation}
Type: Expression(Integer)
axiom
f2:=3*(x^2-4*%e^(-2*x))
\begin{equation} \label{eq6}-{{12}\ {e^{\left(-{2 \ x}\right)}}}+{3 \ {x^2}}\end{equation}
Type: Expression(Integer)
axiom
integrate(f2,x)
\begin{equation} \label{eq7}{6 \ {e^{\left(-{2 \ x}\right)}}}+{x^3}\end{equation}
Type: Union(Expression(Integer),...)

Comparar $ea(n)$ con ordenes como $n^k$, $2^n$, $n!$, $n^n$ donde $ea(n)=\frac{1}{n-\log_2{2^n-1}}$

Intento:

axiom
e:=1/(n-log(2^n-1))
\begin{equation} \label{eq8}-{1 \over{{\log \left({{2^n}- 1}\right)}- n}}\end{equation}
Type: Expression(Integer)
axiom
simplify(e)
\begin{equation} \label{eq9}-{1 \over{{\log \left({{2^n}- 1}\right)}- n}}\end{equation}
Type: Expression(Integer)

axiom
solve(n+2-log((2^(n+1)-1)^2/(2^n-1));n)
\begin{equation*} \label{eq10}\left[{n = 0}\right]?\end{equation*}
Type: List(Equation(Fraction(Polynomial(Integer))))

axiom
solve([nw=h/cos(a)/(h/w+tan(a)),nh=nw*h/w],[w,h])
\begin{equation*} \label{eq11}\begin{array}{@{}l} \displaystyle \left[ \left[{w ={{{{nw^2}\ {\cos \left({a}\right)}\ {\tan \left({a}\right)}}+{nh \ nw \ {\cos \left({a}\right)}}}\over nh}}, \: \right. \ \ \displaystyle \left.{h ={{nw \ {\cos \left({a}\right)}\ {\tan \left({a}\right)}}+{nh \ {\cos \left({a}\right)}}}}\right] \right] \end{array} \end{equation*}
Type: List(List(Equation(Expression(Integer))))

Some or all expressions may not have rendered properly, because Latex returned the following error:
This is pdfTeXk, Version 3.141592-1.40.3 (Web2C 7.5.6)
 \write18 enabled.
 %&-line parsing enabled.
entering extended mode
(./5737566545944627538-16.0px.tex
LaTeX2e <2005/12/01>
Babel <v3.8h> and hyphenation patterns for english, usenglishmax, dumylang, noh
yphenation, arabic, farsi, croatian, ukrainian, russian, bulgarian, czech, slov
ak, danish, dutch, finnish, basque, french, german, ngerman, ibycus, greek, mon
ogreek, ancientgreek, hungarian, italian, latin, mongolian, norsk, icelandic, i
nterlingua, turkish, coptic, romanian, welsh, serbian, slovenian, estonian, esp
eranto, uppersorbian, indonesian, polish, portuguese, spanish, catalan, galicia
n, swedish, ukenglish, pinyin, loaded.
(/usr/share/texmf-texlive/tex/latex/base/article.cls
Document Class: article 2005/09/16 v1.4f Standard LaTeX document class
(/usr/share/texmf-texlive/tex/latex/base/size12.clo))
(/usr/share/texmf-texlive/tex/latex/amsmath/amsmath.sty
For additional information on amsmath, use the `? option.
(/usr/share/texmf-texlive/tex/latex/amsmath/amstext.sty
(/usr/share/texmf-texlive/tex/latex/amsmath/amsgen.sty))
(/usr/share/texmf-texlive/tex/latex/amsmath/amsbsy.sty)
(/usr/share/texmf-texlive/tex/latex/amsmath/amsopn.sty))
(/usr/share/texmf-texlive/tex/latex/amsfonts/amsfonts.sty)
(/usr/share/texmf-texlive/tex/latex/amsfonts/amssymb.sty)
(/usr/share/texmf-texlive/tex/latex/amscls/amsthm.sty)
(/usr/share/texmf-texlive/tex/latex/setspace/setspace.sty
Package: `setspace 6.7 <2000/12/01>
) (/usr/share/texmf-texlive/tex/generic/xypic/xy.sty
(/usr/share/texmf-texlive/tex/generic/xypic/xy.tex Bootstrap'ing: catcodes,
docmode, (/usr/share/texmf-texlive/tex/generic/xypic/xyrecat.tex)
(/usr/share/texmf-texlive/tex/generic/xypic/xyidioms.tex)

Xy-pic version 3.7 <1999/02/16> Copyright (c) 1991-1998 by Kristoffer H. Rose <krisrose@ens-lyon.fr> Xy-pic is free software: see the User's Guide for details.

Loading kernel: messages; fonts; allocations: state, direction, utility macros; pictures: \xy, positions, objects, decorations; kernel objects: directionals, circles, text; options; algorithms: directions, edges, connections; Xy-pic loaded) (/usr/share/texmf-texlive/tex/generic/xypic/xyall.tex Xy-pic option: All features v.3.3 (/usr/share/texmf-texlive/tex/generic/xypic/xycurve.tex Xy-pic option: Curve and Spline extension v.3.7 curve, circles, loaded) (/usr/share/texmf-texlive/tex/generic/xypic/xyframe.tex Xy-pic option: Frame and Bracket extension v.3.7 loaded) (/usr/share/texmf-texlive/tex/generic/xypic/xycmtip.tex Xy-pic option: Computer Modern tip extension v.3.3 (/usr/share/texmf-texlive/tex/generic/xypic/xytips.tex Xy-pic option: More Tips extension v.3.3 loaded) loaded) (/usr/share/texmf-texlive/tex/generic/xypic/xyline.tex Xy-pic option: Line styles extension v.3.6 loaded) (/usr/share/texmf-texlive/tex/generic/xypic/xyrotate.tex Xy-pic option: Rotate and Scale extension v.3.3 loaded) (/usr/share/texmf-texlive/tex/generic/xypic/xycolor.tex Xy-pic option: Colour extension v.3.3 loaded) (/usr/share/texmf-texlive/tex/generic/xypic/xymatrix.tex Xy-pic option: Matrix feature v.3.4 loaded) (/usr/share/texmf-texlive/tex/generic/xypic/xyarrow.tex Xy-pic option: Arrow and Path feature v.3.5 path, \ar, loaded) (/usr/share/texmf-texlive/tex/generic/xypic/xygraph.tex Xy-pic option: Graph feature v.3.7 loaded) loaded)) (/usr/share/texmf-texlive/tex/latex/graphics/graphicx.sty (/usr/share/texmf-texlive/tex/latex/graphics/keyval.sty) (/usr/share/texmf-texlive/tex/latex/graphics/graphics.sty (/usr/share/texmf-texlive/tex/latex/graphics/trig.sty) (/etc/texmf/tex/latex/config/graphics.cfg) (/usr/share/texmf-texlive/tex/latex/graphics/dvips.def))) (/usr/share/texmf-texlive/tex/latex/graphics/color.sty (/etc/texmf/tex/latex/config/color.cfg) (/usr/share/texmf-texlive/tex/latex/graphics/dvipsnam.def)) (/usr/share/texmf-texlive/tex/latex/tools/verbatim.sty) (/usr/share/texmf/tex/latex/graphviz/graphviz.sty (/usr/share/texmf-texlive/tex/latex/psfrag/psfrag.sty)) (/usr/share/texmf/tex/latex/sagetex.sty Writing sage input file 5737566545944627538-16.0px.sage (./5737566545944627538-16.0px.sout)) (/usr/share/texmf-texlive/tex/latex/gnuplottex/gnuplottex.sty (/usr/share/texmf-texlive/tex/latex/base/latexsym.sty) (/usr/share/texmf-texlive/tex/latex/moreverb/moreverb.sty) (/usr/share/texmf-texlive/tex/latex/base/ifthen.sty)) (./5737566545944627538-16.0px.aux) (/usr/share/texmf-texlive/tex/latex/amsfonts/umsa.fd) (/usr/share/texmf-texlive/tex/latex/amsfonts/umsb.fd) (/usr/share/texmf-texlive/tex/latex/base/ulasy.fd) [1] [2] [3]

Package amsmath Warning: Foreign command \over; (amsmath) \frac or \genfrac should be used instead (amsmath) on input line 71.

[4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] Missing \right. inserted. <inserted text> \right . l.110 \

Extra \right. l.113 ...{\cos \left({a}\right)}}}}\right] \right]

[18] (./5737566545944627538-16.0px.aux) ) (see the transcript file for additional information) Output written on 5737566545944627538-16.0px.dvi (18 pages, 5020 bytes). Transcript written on 5737566545944627538-16.0px.log.