From: pnachtwey@gmail.com   
      
   On Thursday, July 17, 2014 7:11:16 PM UTC-7, Nasser M. Abbasi wrote:   
   > On 7/17/2014 6:52 PM, Peter Nachtwey wrote:   
   >   
   > > There is a problem that Mathcad solves that Mathematica doesn't.   
   >   
   > >   
   >   
   > ...   
   >   
   > > In[132]:= eq1 = (yc-y0)^2+(xc-x0)^2==R^2   
   >   
   > > eq2 = (yc-y1)^2+(xc-x1)^2== R^2   
   >   
   > > eq3 = y0 == m0*x0+b0   
   >   
   > > eq4 = (yc-y0) == -(xc-x0)/m0   
   >   
   > > eq5 = y1 == m1*x1+ b1   
   >   
   > > eq6 =(yc-y1) == -(xc-x1)/m1   
   >   
   > > Out[132]= (-x0+xc)^2+(-y0+yc)^2==R^2   
   >   
   > > Out[133]= (-x1+xc)^2+(-y1+yc)^2==R^2   
   >   
   > > Out[134]= y0==b0+m0 x0   
   >   
   > > Out[135]= -y0+yc==(x0-xc)/m0   
   >   
   > > Out[136]= y1==b1+m1 x1   
   >   
   > > Out[137]= -y1+yc==(x1-xc)/m1   
   >   
   > > In[138]:= Solve[{eq1,eq2,eq3,eq4,eq5,eq6}{x0,y0,x1,y1,xc,yc}]   
   >   
   >   
   >   
   > > This is the error I get.   
   >   
   > > is not a quantified system of equations and inequalities   
   >   
   > >   
   >   
   > > Thanks for having a look.   
   >   
   > >   
   >   
   > > Peter Nachtwey   
   >   
   >   
   >   
   > You need a comma between the equations and the variables. Like this:   
   >   
   >   
   >   
   > ClearAll["Global`*"];   
   >   
   > eq1 = (yc - y0)^2 + (xc - x0)^2 == R^2   
   >   
   > eq2 = (yc - y1)^2 + (xc - x1)^2 == R^2   
   >   
   > eq3 = y0 == m0*x0 + b0   
   >   
   > eq4 = (yc - y0) == -(xc - x0)/m0   
   >   
   > eq5 = y1 == m1*x1 + b1   
   >   
   > eq6 = (yc - y1) == -(xc - x1)/m1   
   >   
   > sol = Solve[{eq1, eq2, eq3, eq4, eq5, eq6}, {x0, y0, x1, y1, xc, yc}]   
   >   
   >   
   >   
   > --Nasser   
      
   Thanks Nasser,  I got a solution but it was big.  Trying FullSimplify[%] now.   
      
   Peter Nachtwey   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)