Noise figure minimized proof
You can find a detailed derivation in the following paper: Fundamentals of
Low-Noise Analog Circuit Design which is available on-line.  Look at equations 25 and 29. You could also just take the derivative of your equation with respect to Rs to find the value that minimizes F. Then solve for Rs.  You will find that for a minimum F, Rs=En/In.