高一数学 命题的形式及等价关系点D在三角形ABC的AC边上,且AB/BC不等于AD/CD.求证:角ABD不等于角DBC.