２ａｒｃｔａｎ（√（２））＋ａｒｃｔａｎ（２√（２））＝π。