在三角形ABC中已知AC等于四倍根号三