#include <stdio.h> int main(){ int up,down,height; scanf("%d%d%d",&up,&down,&height); float s=(float)(up+down)*height/2; printf("%0.3f",s); }