Make a game of mouse and cat #Challenge

Hi,
A Game of Cat and mouse consist of a mouse inside a circular pond with a cat who needs to catch it but can't enter the pond.
The mouse is slow inside the pond but faster than the cat outside.
There is a numberphile video about it: https://www.youtube.com/watch?v=vF_-ob9vseM&t=464s