已知正方形边长为1 通过合情推理推出