Numerical validation method for nonlinear equations using interval analysis and rational arithmetic