ルートとかならわかるけど
円周率が無理数だってのは証明できるのかい?