光を照らしてできた影が常に円であることを示せばいいのでは