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.