面積を求めるって点では、0→√2/2で積分して、下の三角形の分を引いて、
そのあと２倍するとか。