题解

#include<bits/stdc++.h>
using namespace std;
int main(){
    double n,m,sum;
    cin>>n>>m;
    sum=n*n/2+(m-n)*m/2;
    printf("%.100lf",sum);
    return 0;
}