由 宇智波鼬 於 星期日 六月 24, 2007 12:11 pm
設AC=b, AB=c.
過F作BC的垂線垂足為M,過D作BC的垂線垂足為N.
CM=bcos(90-C)=bcosC
BN=ccos(90-B)=ccosB
根據sine law, CM=BN.
作BC的中點S,則SM=SN,且DO=OF,所以OS為梯形DNMF的中位線.
很明顯可得OBC為等腰三角形.
過A作BC垂線垂足為L,
易證CL=FM, DN=BL.
=>(FM+DN)/2=OS=BC/2
=>角BOC=90度.
因此三角形OBC為等腰直角三角形.
於是我們發現,
無論A點位於BC一側何處,DF中點總是會成為等腰直角三角形OBC的頂點O.
又,BC是長度及位置均固定不變,所以O也是固定不變的.
追求神乎其技,至高無上的數學境界!~