qquito,pgss，二位证明的逻辑前提需要事先证明
所有跟贴·加跟贴·新语丝读书论坛
送交者: jhuang 于 2013-07-05, 22:13:17:
AC上做中垂线，为什么就能够找到一个点B'，使得∠AB'C=∠ABC呢，中垂线有两个方向，你是要找哪个方向的B'？
直觉上来说，中垂线上的点和A，C点构成的夹角，角度上可以是从[0,180)任何一个实数，但这不是欧几里几何证明任何问题的基础。虽然欧几里几何也存在从现实生活而来的公设，并不十分严谨，但是你们证明四点共圆的形式逻辑放在2300年前，恐怕还不够资格进入《几何原本》。
所有跟贴:
加跟贴