在三角形abc中 角c=90° ac=bc=根号2