MathGroup Archive 2012

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

Search the Archive

Re: FindInstance question? Any ideas to solve this equality.

  • To: mathgroup at smc.vnet.net
  • Subject: [mg128563] Re: FindInstance question? Any ideas to solve this equality.
  • From: Bill Rowe <readnews at sbcglobal.net>
  • Date: Sun, 4 Nov 2012 00:44:22 -0400 (EDT)
  • Delivered-to: l-mathgroup@mail-archive0.wolfram.com
  • Delivered-to: l-mathgroup@wolfram.com
  • Delivered-to: mathgroup-newout@smc.vnet.net
  • Delivered-to: mathgroup-newsend@smc.vnet.net

On 11/2/12 at 11:51 PM, lrebanks at gmail.com (Lea Rebanks) wrote:

>FindInstance question:

>Hi All,

>I have evaluated the following equality with FindInstance function
>and there appears to be no results.

>Please could someone review the following equality to see if my
>result is TRUE or Is it possible to find one or more Integer results
>to this equality.

>radiusV1 = 145.98630072715727;
>radiusV2 = 95.62128455180272;
>slopeV1Deg = 9.462322208025617;
>slopeV2Deg = 18.43494882292201;

>FindInstance[(360*radiusV1)/(slopeV1Deg + 360*timeV1x) ==
>(360*radiusV2)/(slopeV2Deg + 360*timeV2x) &&
>(360*(radiusV1*2))/(slopeV1Deg*2 + 360*(timeV1x*2)) ==
>(360*(radiusV2*2))/(slopeV2Deg*2 + 360*(timeV2x*2)) &&
>timeV1x > 0 && timeV2x > 0, {timeV1x, timeV2x},
>Integers, 2]

>{}

It appears there are no integral solutions. That is I get the
same result as you even after replacing all machine precision
values with exact values and using other techniques.

Note, you do not accomplish anything by multiplying top/bottom
of one equation by a constant and adding this as a "new"
equation. Doing so, provides no additional information about
your variables. All that this can accomplish is make Mathematica
do more work.

Specifically,

In[1]:= eqns =
   List @@ ((360*radiusV1)/(slopeV1Deg + 360*timeV1x) == (360*
          radiusV2)/(slopeV2Deg +
          360*timeV2x) && (360*(radiusV1*2))/(slopeV1Deg*2 +
          360*(timeV1x*2)) == (360*(radiusV2*2))/(slopeV2Deg*2 +
          360*(timeV2x*2)) && timeV1x > 0 && timeV2x > 0);

In[2]:= SameQ @@ Simplify[eqns[[;; 2]]]

Out[2]= True

So, your first two conditions are not linearly independent and
are really the same condition




  • Prev by Date: Re: How can I solve this equation with Solve or Reduce or whatever for
  • Next by Date: Re: Conformal Mapping
  • Previous by thread: FindInstance question? Any ideas to solve this equality.
  • Next by thread: Re: FindInstance question? Any ideas to solve this equality.