>>17
うーん。S=ar^2（a<π）として、a<q<πなる有理数qをうまく
作って、内接多角形を作って矛盾。より大きいほうも同様

という感じ？で、ここから扇形の面積はr^2θ/2となると