√3 1 2 勾股定理数请问这是一组勾股定理数么?