In this talk, I will discuss a structure of rational torsion of Jacobian varieties of Shimura curves. In many cases, we can prove that they have no nontrivial rational torsion points up to 2-power torsions. We will introduce basic materials about quaternion algebras and Shimura curves. Then, we will move on a proof of the above statement.