This paper considers two types of definite integrals and uses Maple for verification. The closed forms of the two types of definite integrals can be obtained using mean value theorem. On the other hand, some examples are used to demonstrate the calculations.