这是高中反三角函数。
sin(cos⁻¹(x/3))=sin(sin⁻¹(√(3²-x²)/3))=sin(sin⁻¹(√(9-x²)/3))=√(9-x²)/3
sin(arccosx/3)=√[1-cos²(arccosx/3)]=√(1-x²/9)=√(9-x²)/3.