四边形ABCD中,AC与BD相交于点O,问S三角形ABD:S三角形与AO:OC有何关系?并证明