Kollisionsexemplet från Collins och Hong

En cirkelskiva  rör sig österut enligt
 
  (((x - t))^2)+ (y^2)≤1
  
där t är tidsparametern.
 
En kvadrat rör sig nordost enligt
 
 -1 ≤ x- (17/16)t ≤ 1  ∧ -9 ≤ y -(17/16)t ≤ -7

För vilka (x,y) sker kollisionen? (Bestäm kollisonsplatsens utsträckning.)

<< Developer`;  << Experimental`;

Resolve[
      Exists[{t}, 
        x  - (17/16)*
                t  ≥  -1  && 
                x  - (17/16)*t  ≤  
            1   && 
                y  -  (17/16)*
                t  ≥  -9  && 
                y  -  (17/16)*
                t  ≤  -7, 
                     (x - t)^2  + y^2  ≤  1], {x, 
        y}]

En fullträff alltså!