#include <bits/stdc++.h>
using namespace std;
int main() {
  long long a, l, x;
  cout << std::setprecision(13);
  while (!cin.eof()) {
    cin >> a >> l >> x;
    long double h_1 = l * l - (a / 2.0) * (a / 2.0);
    long double h_2 = ((x + l) / 2.0) * ((x + l) / 2.0) - (l / 2.0) * (l / 2.0);
    cout << a * sqrtl(h_1) / 2 + sqrtl(h_2) * l << endl;
  }
}
