已知ab等于BC