zの累積分布関数G(z)は

G(z) = ∫[-0.1, z] g(z') dz'
　　= 0,　　　(z<-0.1)
　　= (z-0.75)/2 + (1/π){(z-0.75) arcsin((z-0.75)/0.85) + √(0.85^2-(z-0.75)^2)},　(-0.1<z<0.9)
　　= 1/2 + (1/π){(z-0.75) arcsin((z-0.75)/0.85) + √(0.85^2-(z-0.75)^2)}
　　　　　- (1/π){(z-1.75) arcsin((z-1.75)/0.85) + √(0.85^2-(z-1.75)^2)},　　(0.9<z<1.6)
　　= 1 + (z-1.75)/2 - (1/π){(z-1.75) arcsin((z-1.75)/0.85) + √(0.85^2-(z-1.75)^2)},　(1.6<z<2.6)
　　= 1,　　(2.6<z)
g(z) = g(2.5-z),
G(z) + G(2.5-z) = 1,