Given: #&\overleftrightarrow{\sf AB}#& and point C not on #&\overleftrightarrow{\sf AB}#&
Prove: The shortest distance from C to #&\overleftrightarrow{\sf AB}#& is the length of the segment ⊥ to #&\overleftrightarrow{\sf AB}#& through C.