Jan 24, 2007 12:50
Литтлвуд в своей книге приводит замечательную ситуацию.
В начале 20 века в Англии действовал некий закон о домовладении, в котором действовало определение (обозначения в скобках добавлены Литтлвудом):
Стандартная плата (R) - это плата, взимавшаяся в 1914 году (R0), если последняя не была меньше определенной суммы (V); в противном случае стандартная плата совпадала с этой суммой.
Согласно самому закону, дом подпадал под действие акта, если действовала стандартная плата, либо эта сумма была менее 105 фунтов стерлингов.
Понятно, что разобраться, в каком случае дом подпадает под действие акта, было трудно без поллитра, и суды разбирали каждый случай отдельно.
Однако если переформулировать это крючкотворство с помощью формул, то справедлива
Теорема: Дом подпадает под действие акта тогда и только тогда, когда V < 105.
Доказательство: Вытекает из легко проверяемого равенства min {max(R0,V), V} = V.
История,
Англия,
Математика