编程实现
用户输入一个正整数a作为如图半圆的直径，同时作为如图等腰直角三角形的直角边长度，求下图的阴影部分面积，如图所示;

已知条件
半圆的直径和等腰直角三角形直角边长度相同；
三角形与半圆部分重叠；
三角形 ABC 为等腰直角三角形；
输入描述
一个正整数（作为半圆的直径）
输出描述
图形阴影面积（保留 2 位小数）

10

25.0