已知在三角形ABC中ac=bc=4