Một lực thực hiện được một công a trên quãng đường s độ lớn của lực được tính bằng công thức nào