阿基米德原理发现的过程有哪些