Digitizing Ratio

Enter a known length and its two digitized pixel
end points. Points 3 and 4 define an unknown
length that will be calculated using ratios.

Calculate length from point 3 to 4