＞ 円柱の下の地面に街灯の影ができないのは
？ できてんじゃん。

影の定義によるが
狭義には、街灯の光線が、当該円柱によってさえぎられている地面全体が影。
広義には、円筒の街灯と反対側の側面なども影だが、地面に落ちた影というとこれは含まない。
さらに狭義には、円筒によって隠されいる地面は本当に地面があるのか疑わしいのでそれに含めない。 

今回は三番目をたまたま採用。 
なので公理だな。