This article considers two types of definite integrals of trigonometric functions and uses Maple for verification. We can determine the closed forms of the two types of definite integrals using residue theorem. In addition, some examples are used to demonstrate the calculations.