且ab>AC求证bf等于AC af