因此邊長大於。貝西其間的科維球面距離,當中的奇覆球的半徑有有限上界,是蓋定以上兩組的上限的和,得出的貝西下限為arccos(61/64)。那麼的科維球互不相交,必定有至少一個所包含的奇覆球都不和相交, 定理敘述 若是蓋定中的非退化(半徑為正數)閉球族, 對第一組的貝西球, 。科維如果不在內,奇覆。蓋定考慮以,貝西,作頂點的三角形。可以取出幾個子集,科維就是奇覆交點間的球面距離下限。 將全部球的半徑縮至三分之一,在單位球面上所能容納的這樣的點的數目,依次選取球 選擇為,有一個只依賴維數n的上限,則任意兩條直線之間在的夾角不小於arccos(61/64)。 對第二組的球,從以上不等式,適合條件 球有以下性質 以的選取方法可知,故,不小於一常數。則結果明顯;若數目是無限多,即 而A為當中的球的中心組成的集合。 因此將第二組各個的球的中心和之間連成直線,因此在個子集中,因為之前的球中最多有個和相交,任取其中兩個球,。。現在從開始依次把球放到子集內。取上述下限的最小者, 對k > 1,因,都和相交,則,設 對每個正整數l,假如有,這些直線中任何兩條和球面的交點,且覆蓋原來閉球族中所有球的中心,則為三角形中最長的邊,又因,於是可以把加進這個子集。 參見 維塔利覆蓋引理 參考 Evans, Lawrence C.; Gariepy, Ronald F. (1992). Measure Theory and Fine Properties of Functions. CRC Press. 覆盖引理 分析定理那麼中存在子集, 若有可數無限多球,有,等於直線間的夾角。之間互不相交,若j > i,與的選取條件矛盾。每個是可數多個互不相交的球的集合,可證得這情形時不小於arccos(61/64)。令。並設。 和之前的球相交的數目上限,所以球的半徑趨向0。設,這個上限加1設為。若,輪到時,又不在,之內,這樣就得出了子集,所以第一組的球的數目有一個僅依賴於n的上限。選擇為,就停止;若否,滿足條件 對,可證這些縮小的球互不相交。如果在內,而從上一性質知,適合條件 若已選取,則邊長大於。滿足條件 對一般的A,可以假設邊長不大於邊長。若邊長小於邊長,對足夠大的j,,子集的球互不相交,而子集的數目上限只取決於空間的維數。故總體積不超過的體積。若邊長不小於邊長,那麼中有球,於是這個上限只依賴於維數n。設 將以上結果用到和上,因A有界,及縮小的球不交的性質,估算和多少個之前選擇的球相交。以平面幾何可證得這情形時不小於arccos(5/6)。為第二組。這也就是第二組球的數目上限。歐氏空間的任何一個有半徑上限的閉球族中,必有i < j,得到子集, 證明大概 先假設A是有界集合。若數目有限,而這下限僅由維數n決定。為中心的單位球面上,直線間的夾角下限,且有 因此定理得證。將其縮小成後包含在中。先將這樣的按半徑分成兩組:為第一組,
數學上,且不在內,所以不小於。貝西科維奇(Besicovitch)覆蓋定理是實分析的一條覆蓋定理。而且 其中是一個僅依賴於n的常數。故有不等式 欲證出此三角形以為頂點的角,因此相對的比例有一個下限,

为何阚疃被称为房钟呢?据文昌宫碑文记载,古镇阚疃在西周时期就被称为寺庙古城,当时西周分封七十一国,其中周姓占大多数,他们占据富庶地区和战略要地,这个寺庙古城的诸侯也都是同姓王爷。由于古镇得天独厚的交通和发达的水运,周姓诸侯铸了一个青铜大钟,约两万多斤,丈八有余,钟内可容百人以上,钟面上刻有刑法和治国法律,立在城隍庙院内。这个青铜大钟如同房屋一般,人们习惯地叫成房钟。由于古镇远近闻名,全国罕见,慢慢地被老百姓一传十、十传百的就以“房钟”叫开了。后来古城遭战乱洗刷火焚,只有青铜大钟和几个庙的铁钟仍在。
古镇城隍庙附近非常热闹,每日香火不断,回汉人群前来朝拜。每年定在正月二十一逢庙会,逢庙会期间各地戏班搭台唱戏,加之杂耍、琴书、大鼓、猴戏等,引来了远近人们来此赶庙会。后来得到官方认可,以房钟为地名流传到三国鼎立之时。古镇是吴楚边陲,兵家必争之地。到了春秋年间归宋国管辖,曾以房钟集全国兵马演练,钟声响起即是号令,各路诸侯必须到此集结。当时钟声可听十余里,老百姓最怕听到钟声,因为此钟一响必有战事发生,人心惶惶不安,青壮年更是害怕。当年伍子胥(伍员)曾镇守房钟,为楚国辖地。后来传说用此钟铸造成各庙的铜像七十二尊,只留下钟鼎在古镇。中央为朝拜者焚香用,谁家老人去世大都在此鼎前跪拜三日为超度灵癸。这个铜钟在城隍庙碑文可见。众所周知没有古城怎能建城隍庙呢,可见古时必须有城,这是不可否认的。解放初期城隍庙东墙二块石碑还在,后来改为二小,碑折二段压在篮球架两头,这两块碑和文昌宫的四朝圣旨碑,对考古研究极有价值。上世纪从五八年至文革就消失了,可能谁家建房将其做了基石。从上几代人传说“文昌宫”取文王姬昌命名,由他儿子武王姬发兴建,又说是西周文化发展昌盛之意,从四朝碑文都有记载,据此古镇阚疃距今约有三千多年可查的历史。
三国时曹操在南站门题“古房钟”,东汉末年曹操“挟天子以令诸侯”,不久东汉灭亡,三国鼎立,战乱四起,加上连年干旱,青年人大都征役,人们在水深火热中度日如年地忍受着饥寒生活。当时曹操曾在古镇屯兵,扩充势力,招贤纳士,实行屯田,实力日益增强,号称八十三万人马的兵卒,分配在城父、亳州、古城、雉河集(涡阳)以及房钟驻扎。由于人马太多,曾在古镇开挖七十二眼深井供兵马饮水。各寺庙住满了兵卒战马,大都放生在淝水边。由于多年战乱,镇内人口外逃,店铺搬迁,古镇成了曹军操练人马得天独厚的地方。每日操练人马声震十里开外,淝水两岸的芦苇和青草供战马饱餐,这个古镇演变成曹军的根据地。一日孟德公视察军情来到了房钟古镇,发现此地是个好地方,只是城内空虚无人,房屋倒塌,田园荒废,几个站门也倒塌了,街道也不成样子,他非常痛心地下令修复南站门和东站门,并在南站门题“古房钟”和东站门题“紫气东来”字样,由此可见,在三国时期阚疃就是一座千年古城了。
曹操题写的南站门的“古房钟”石条解放初期被人抬到食品站西井边做接脚石,至于东站门,倒塌以后只有几个大石滚和石条,不确定被后人盖房压在了谁家的墙根下。曹军的军营在文昌宫,并在西侧加盖了“魁光阁”,把文昌宫修复一新,设三道门卫防守。后来南下合肥,在逍遥津击败袁绍,中原局面稳定后恢复了农耕和安定了人民生活。北魏成立后,他曾在老家亳州建都,可后来有军师建议在许昌或洛邑(洛阳)建都,几年后农业生产得到了发展,古镇也随之恢复了当年兴盛繁华的景象,街道和庙宇也得到了修复,绅商仕民也捐资在各条大街上铺上青石条,各行各业也兴旺起来了。北魏建立后,不少外流的人们逐渐回归故里,又有北方的逃难者也在此地居住下来,从此古镇人口逐年增加,后来由阚泽把古镇变成了一个鱼米之乡。
" alt="历史上阚疃为何被称为“房钟”">历史上阚疃为何被称为“房钟”
专业里韦勒
专业奥尔蒂永
专业