焦半径公式的证明.