イルミネーション問題のソースを表示

[[ファイル:Penrose_unilluminable_room.svg|thumb|250px|「ペンローズの照らせない部屋 (1958)」。青い線がペンローズが与えた閉曲線であり、この曲線内のどこに光源を置いても必ず影の部分ができる。]]

'''イルミネーション問題'''（Illumination problems）は、内側に反射率100パーセントの鏡を貼った[[ジョルダン曲線|閉曲線]]の中に点光源を1つ置いた時に、部屋の中の全てを照らすことができるか、という問題。

この問題をもう少し文学的に表現すると次のようになる。「壁一面が鏡張りの部屋でマッチに火をつけた時に、マッチが見えない場所が生じるような形の部屋はあるだろうか？」<ref name=stewart/>

原題は、アメリカの数学者{{仮リンク|エルンスト・ストラウス|en|Ernst G. Straus}}が1950年代に提起したと考えられている<ref name="Weisstein"/>。

この[[数学の問題|問題]]は2つの仮説から成る。

仮説1. どのような閉曲線であっても、閉曲線内のどこに光源を置いても、閉曲線内の全ての場所に光が当たる。

仮説2. 仮説1が否定されたとしても、閉曲線内を完全に照らすことができる点が1つは存在する。

この問題に反例を与えたのは、[[ロジャー・ペンローズ]]である。1958年にペンローズは楕円と直線で構成された「照らせない部屋（unilluminable room）」と呼ばれる閉曲線を発表した。この図形はストラウスの仮説を2つとも否定する<ref name="Weisstein"/>。

「ペンローズの照らせない部屋」には曲線部分がある。1969年、ビクター・クレー（Victor Klee）はこの問題を「多角形」、つまり直線のみで作られた閉曲線なら成立するかどうかを提起した<ref name=stewart>{{Cite web |author=Ian Stewart |date=August 1996 |url=https://www.jstor.org/stable/24993318 |title=Shedding a Little Darkness |accessdate=2022-05-03}}</ref> 。

[[ファイル:Tokarsky_Castro_illumination_problem.svg|thumb|center| 1995年にTokarskyが示した直線26本の例、1997年にCastroが示した直線24本の例]]

この問題の仮説1に反例があることを示したのがジョージ・トカルスキー（George Tokarsky）である。トカルスキーは1995年に直線26本で作られたある閉曲線が反例となることを証明した。この図形の赤い点の位置に照明を置いた場合、一見全ての空間が照らされるように見えるが、×印の点だけには光が当たらない。さらにトカルスキーは、[[星型正多角形|星形正二十角形]]2つを二等辺三角形に似た図形でつないだような形を例として「直角を使わない」という縛りを加えても解があることを示した<!--Fig.15-->。さらに3次元の例もあることを示している。さらには、光源を閉曲線上に置いてよいとするなら、[[凹四角形]]の最大内角を持つ点をC, その対頂点をB、残った頂点をA, Dとしたときに、AとDの内角が共に<math>x</math>、Bの内角が<math>2nx</math>の時には、点Aに光源を置いた場合には点Dには光が届かないことも示している。ただし、指定された点以外の位置に光源を置けば部屋は全て照らされるため、これらはストラウスの仮説2を否定するものではない<ref name=toka/>。

1997年には直線24本での例（つまりより簡単な形の例）をトカルスキー<ref name=toka2/>とデイビッド・カストロ（David Castro）<ref name=castro/>が独立に見つけた。

2016年、Lelièvre, Monteil, Weissは、多角形の各内角の大きさの比率が全て有理数で表せる場合、光が届かない点が生じる場合があることを示した<ref name=lelievre/>。

==参考文献==
{{Reflist|refs=
<ref name="Weisstein">{{Cite web
  | last = Weisstein
  | first = Eric W.
  | authorlink = Eric W. Weisstein
  | title = Illumination Problem
  | publisher = Wolfram Research
  | url = http://mathworld.wolfram.com/IlluminationProblem.html
  | accessdate = 19 December 2010}}</ref>
<ref name=toka>{{Cite journal
  | last = Tokarsky
  | first = George
  | title = Polygonal Rooms Not Illuminable from Every Point
  | journal = American Mathematical Monthly
  | volume = 102
  | issue = 10
  | pages = 867–879
  | publisher = Mathematical Association of America
  | location = University of Alberta, Edmonton, Alberta, Canada
  | date = December 1995
  | jstor = 2975263
  | doi=10.2307/2975263}}</ref>
<ref name=castro>{{Cite journal
  | last = Castro
  | first = David
  | title = Corrections
  | journal = {{仮リンク|Quantum Magazine|en|Quantum Magazine|label=Quantum Magazine}}
  | volume = 7
  | issue = 3
  | pages = 42
  | publisher = Springer-Verlag
  | location = Washington DC
  | date = January–February 1997
  | url = http://static.nsta.org/pdfs/QuantumV7N3.pdf#page=44}}</ref>
<ref name=toka2>{{Cite journal
  | last = Tokarsky
  | first = G.W.
  | title = Feedback, Mathematical Recreations
  | journal = [[サイエンティフィック・アメリカン|Scientific American]]
  | volume = 276
  | issue = 2
  | pages = 98
  | publisher = Scientific American, Inc.
  | location = New York, N.Y.
  | date = February 1997
  | jstor = 24993618
 }}</ref>
<ref name=lelievre>{{Cite journal 
  |last1=Lelièvre 
  |first1=Samuel
  |last2=Monteil
  |first2=Thierry
  |last3=Weiss
  |first3=Barak
  |title=Everything is illuminated
  |journal=Geometry & Topology
  |date=4 July 2016
  |volume=20
  |issue=3
  |pages=1737–1762
  |doi=10.2140/gt.2016.20.1737
  |arxiv=1407.2975
 }}</ref>
}}

==外部リンク==
* [https://www.youtube.com/watch?v=xhj5er1k6GQ "The Illumination Problem - Numberphile"], 教育用YouTubeチャンネル{{仮リンク|Numberphile|en|Numberphile}}での解説（英語）。2017年2月28日。
{{DEFAULTSORT:いるみねしよんもんたい}}
[[Category:閉曲線]]
[[Category:数学の問題]]
[[Category:数学に関する記事]]