A Model-Based Approach for The Demonstration of Fermat’s Last Theorem

Model-based approaches have many applications in bioinformatics studies. Fermat’s last theorem is a theorem in number theory. This paper presented a model-based approach for the demonstration of Fermat’s Last Theorem (FLT). Through the establishment of mathematical model, Fermat’s Last Theorem (FLT) is converted into a problem for feasible solutions in linear programming. By prompting assumptions, and refuting the assumptions, it is demonstrated that Fermat’s Last Theorem is right. The model-based approach for the demonstration of Fermat's Last Theorem (FLT) can assist scientific researchers in biological researches.