勾股定理已知等边三角形ABC的边长为a,在ABC内取一点O,过O点分别作OD⊥AB,OE⊥BC,OF⊥CA,垂足分别为D