#include<stdio.h>
int main(){
    int up,down,height;
    scanf("%d %d %d",&up,&down,&height);
    printf("%.3f",height*(up+down)/2.0);//.0
}