Services & ResourcesWolfram ForumsMathGroup Archive

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

Re: Solving equations and inequalities with Reduce - how?

• To: mathgroup at smc.vnet.net
• Subject: [mg87723] Re: [mg87655] Solving equations and inequalities with Reduce - how?
• From: Daniel Lichtblau <danl at wolfram.com>
• Date: Wed, 16 Apr 2008 05:02:59 -0400 (EDT)
• References: <200804150950.FAA24909@smc.vnet.net>

Marc Heusser wrote:
> I tried to solve equations with Reduce and somehow did not quite 
> formulate it right, so Reduce complains with 
> "Reduce::ivar: 1 is not a valid variable".
> 
> This is what I tried:
> 
> Wanted: A six digit number satisfying the following conditions:
> The first digit is not zero.
> If you take the first two digits and move them to the end of the number, 
> the resulting number must be twice the original number.
> 
> In[23]:=Reduce[200000a +20000 b +2000 c+200 d+20 e  +       2 f 
> \[Equal]100000c +10000 d +1000 e+100 f+10 a  + b ,  {a,b,c,d,e,f}, 
> Modulus\[Rule]9]
> 
> I did solve the problem through exhaustive search:
> 
> In[14]:=Timing[Select[Range[10^6],    FractionalPart[#/10000] 1000000 + 
> IntegerPart[#/10000]\[Equal] 2  #&]]
> Out[14]={34.2848 Second,{142857,285714,428571}}
> 
> but would like to understand how to use Reduce (or another function) to 
> solve such a set of equations.
> 
> TIA
> 
> Marc
> 

I realize this has been answered by now, but you might want to have a 
look at problem 1 in the notebook at

http://library.wolfram.com/infocenter/Conferences/6530/

Among other things, I'll note that you really need to enforce "one 
digitedness" by inequalities, not with a Modulus setting. Along the 
lines of that notebook, here is some code for your particular problem.

In[26]:= Reduce[{2*n==100*m+k, n==m+10^4*k, Element[{n,m,k},Integers],
     10^4>m>=10^3, 0<=k<=99, n>=10^5}, {n,m,k}]

Out[26]= (n == 142857 && m == 2857 && k == 14) ||
    (n == 285714 && m == 5714 && k == 28) ||
    (n == 428571 && m == 8571 && k == 42)

Daniel Lichtblau
Wolfram Research

• References:
  • Solving equations and inequalities with Reduce - how?
    • From: Marc Heusser <marc.heusser@byeheusser.commercialspammers.invalid>