# Question:tricky ode with IC. Why this verification fail?

## Question:tricky ode with IC. Why this verification fail?

Maple 2023

Maple does not give solution to this first order ode with IC, if asked to do it implicit. It only solves it explicit.

```ode := diff(y(x), x) - 2*(2*y(x) - x)/(x + y(x)) = 0;
ic:=y(0)=2;
dsolve([ode,ic],'implicit'); #maple gives no solution when implicit!```

Then I asked Maple for an implicit solution but with no IC. Then solved for the constant of integration myself, and plugged this back in the solution. But odetest now says the initial conditions do not verify.

Here are the steps I did to solve for the constant of integration. I do not see any error I made. Does any one see where my error is and why odetest does not verify the solution for IC?

This first order ode has unique solution. Here is my worksheet.

 > restart;

 > ode := diff(y(x), x) - 2*(2*y(x) - x)/(x + y(x)) = 0; ic:=y(0)=2; dsolve([ode,ic],'implicit'); #maple gives no solution when implicit!

 > #lets now try finding the constant of integration ourself sol:=dsolve(ode,'implicit')

 > #setup equation and plugin the IC. Raise both sides to exp. RHS becomes 1 eq:=exp(lhs(sol))=1;

 > simplify(eq,exp);

 > #plugin in y=2 at x=0 eval(%,[y(x)=2,x=0]);

 > #solve for constant of integration solve(%,c__1)

 > #subtitute back in the solution sol:=eval(sol,c__1=%);

 > #verify. Why it failed check on IC?? Notice it is not [0,0]. odetest(sol,[ode,ic])

 >

﻿