取ab中点e.
因为ad垂直db,所以有de=be=ae （直角三角形性质）.=>角ebd=角edb
ab//cd=>角ebd=角bdc
dc=cb=>角bdc=角dbc
=>ebd=角bdc=角edb=角dbc
=> 三角形ebd全等于三角形cbd
=>be=bc=cd=ae
=>dc等于二分之一ab