Mathematica 9 is now available
Services & Resources / Wolfram Forums
-----
 /
MathGroup Archive
2007
*January
*February
*March
*April
*May
*June
*July
*August
*September
*October
*Archive Index
*Ask about this page
*Print this page
*Give us feedback
*Sign up for the Wolfram Insider

MathGroup Archive 2007

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

Search the Archive

Re: Overly complicated reductions?

  • To: mathgroup at smc.vnet.net
  • Subject: [mg77650] Re: [mg77584] Overly complicated reductions?
  • From: Andrzej Kozlowski <akoz at mimuw.edu.pl>
  • Date: Thu, 14 Jun 2007 05:32:32 -0400 (EDT)
  • References: <200706131136.HAA06996@smc.vnet.net>

On 13 Jun 2007, at 20:36, David Rees wrote:

> Consider f(x)=e^(-2x)
>
> I wanted to retreive the inverse function f^-1(x), Mathematica to the
> rescue:
> \!\(Reduce[y == E\^\(\(-2\) x\), x]\)
>
> \!\(C[1] \[Element] Integers && y != 0 &&
> x == 1\/2\ \((2\ \[ImaginaryI]\ \[Pi]\ C[1] + Log[1\/y])\)\)
>
> This can't be right, I can rearrange it to just Ln(x)/-2 on paper.  
> What did
> I do wrong?
>
> Thanks
>
>
>

But Mathematica is completely right (over the complex numbers) and  
your by hand solution is just a very special case. To get it use:

  Reduce[Simplify[Reduce[y == E^(-2*x), x, Reals], y > 0], x]

x == -(Log[y]/2)

Andrzej Kozlowski






  • Prev by Date: Re: Fast interactive graphics
  • Next by Date: Re: Notebook History -- what is it good for?
  • Previous by thread: Overly complicated reductions?
  • Next by thread: Re: Overly complicated reductions?