Yes, my fault.
You turn AVR on, but don't play any sound. That's idle state and you can measure power draw at power socket. This power consist of power drawn by amps and the rest of the circuits. Amps have 2 switchable supply rails. Usually for 8 Ohm speakers it is about +-60V, you can find it in service manual. For 4 Ohm it is lower and often not described in manual. The rest of the circuits works at the same voltage and draws similar power, regardless of speaker settings.
AVRs like Denon or Onkyo, use class AB amplifiers. They are proven design, which usually doesn't varies between generation. Even for different manufacurers, design is quite similar. Class AB amplifier draws a constant current at idle. This is usually around 50mA and doesn't depend on supply voltage. So for 9 amps working at +-60V you can estimate idle power as 9*0.05*120 = 54W.
My guess is that the rest of the circuit draws about 10-20W. Let say it is 15W. Then idle power at 8 Ohm setting could be 15 + 54 ~= 70W.
If you set AVR for 4 Ohm, then idle power decrease. Let say it is 40W. Substracting 15W for the rest of circuits, we get 25W for amps. And we can calculate supply voltage: 25/9/0.05 ~= 56V = +-28V
That was a simplified calculation of idle power. In reality we can measure idle power at power socket, but we don't know what is voltage of supply rails or power drawn by the rest of the circuits. That is kind of guesswork. I think 60V for rails is quite good estimation. 15W for rest not so, but it could work. Let say we measure idle power as above, 70W and 40W. From measured values and assumed values we can calculate low voltage for rails:
Vlow = 2*60V*(40W - 15W)/(70W - 15W) ~= 2*27V
Supply voltage for rails is not stabilised. It drops at high output power. Drop could be as much as 1/3 of idle voltage. So for 60V we get about 40V, for 27V we get max 18V at full power output. It is a rough estimation, that can be uset to calculate maximum output power with sinusoidal test signal. It would be:
for 8 Ohm settings, 4 Ohm real load, +-60V rails: 40*40/4/2 = 200W
for 4 Ohm settings, 4 Ohm real load, +-27V rails: 18*18/4/2 = 40.5W
More or less this is my reasoning to estimate output power of Denon with 4 Ohm settings. I don't remember the real values I have measured. I only remember my estimation. Sure, it could be wrong, my memory is really weak