Start with #DeltaOAU#, with #bar(OA) = a# , extend #bar(OU)# in such a way that #bar(UB) = b#, with #B# on #bar(OU)#. Construct a parallel line to #bar(UA)# intersecting #bar(OA)# at C. Show that, #bar(AC) = ab#?

enter image source here