Total Fixed Costs are those costs which remain unchanged with the change in the level of output. These costs are incurred even when the output is zero.
Average fixed cost refers to the per unit fixed cost of production.
AFC = TFC/Q
AFC falls with a rise in output because constant TFC is divided by increasing output. AFC curve is a rectangular hyperbola i.e., an area under the AFC curve remains the same at different points.