解:∵ x?1 ≥0恒成立又∵ x?1 lg(x2+y2?1)≤0∴ x≥1 0≤x2+y2?1≤1 所表示的平面区域如图所示的阴影部分,由题意可得A(1,1),B(1,-1),∠AOB= π 2 S扇形AOB= 1 2 × π 2 ×2= 1 2 π,S△AOB= 1 2 AB?1=1阴影部分的面积S= 1 2 π?1故答案为: 1 2 π?1