Docker是一款開源的容器虛擬化工具，常被用于快速構建、打包和部署應用程序。它可以將應用程序與所需的組件（如庫、框架和其他工具）一起打包并運行在不同的操作系統上。Docker的核心在于容器的概念，其并不是像虛擬機那樣進行完全的虛擬化，而是在操作系統層面上進行虛擬化，從而實現更高效的資源利用。

以下是Docker常用的一些公式：

運行Docker容器：
docker run [OPTION] IMAGE[:TAG|@DIGEST] [COMMAND] [ARG...]
其中，OPTION為運行時的各種選項，IMAGE為要運行的鏡像，TAG為鏡像的版本標簽；COMMAND為容器啟動時要執行的命令，ARG為命令的參數。例如，執行以下命令運行一個nginx鏡像的容器：
docker run -d -p 80:80 nginx
這將在后臺以守護進程模式運行一個nginx容器，并將容器內部的80端口映射到主機的80端口。

構建Docker鏡像：
docker build [OPTION] PATH | URL | -
其中，OPTION為構建時的各種選項，PATH為Dockerfile所在目錄的路徑或Dockerfile的URL地址；- 表示將標準輸入作為上下文路徑。例如，執行以下命令構建一個自定義的nginx鏡像：
docker build -t my-nginx .
這將在當前路徑下尋找Dockerfile文件，并為其構建一個my-nginx鏡像。

推送Docker鏡像：
docker push [OPTIONS] NAME[:TAG]
其中，OPTIONS為推送時的各種選項，NAME為要推送的鏡像名，TAG為要推送的版本標簽。例如，執行以下命令將剛剛構建的鏡像推送到遠程倉庫：
docker push my-nginx:latest
這將把my-nginx鏡像的最新版本推送到遠程倉庫。

以上是Docker的基本公式，可以幫助開發者快速創建、打包和部署容器化應用程序。它們的使用需要在實際項目中進行調整和完善，以滿足具體業務需求。