光的世界︰幾何光學六

傳說愛因斯坦幼年覺得『畢氏定理』 c^2 = a^2 + b^2 太神奇!怎可能是真的呢?因此畫了許多大大小小、各式各樣的『直角三角形』,一一用『尺』丈量,決定實證『斜邊平方等於兩股平方和』之幾何推論??終究得折服於親手所作數值計算的結果了!!

假使從『陽燧照物』來看東西方古來『觀物論事』取向之異同

周禮‧秋官司寇

司烜氏掌以夫遂取明火於日,以鑒取明水於月,以共祭祀之明粢、明燭,共明水。凡邦之大事,共墳燭庭燎。中春,以木鐸修火禁于國中。軍旅,修火禁。邦若屋誅,則為明竁焉。

這《陽燧照物》一事,北宋科學家沈括倒是說的明白︰

夢溪筆談》卷三‧辯證一

陽燧照物皆,中間有故也。算家謂之“格術”。如人搖櫓,臬為之礙故也。若鳶飛空中,其影隨鳶而移,或中間為窗隙所束,則影與鳶遂相違,鳶東則影西,鳶西則影東。又如窗隙中樓塔之影,中間為窗所束,亦皆倒垂,與陽燧一也。陽燧面窪,以一指迫而照之則正;漸遠則無所見;過此遂倒。其無所見處,正如窗隙、櫓臬、腰鼓礙之,本末相格,遂成搖櫓之勢。故舉手則影愈下,下手則影愈上,此其可見。陽燧面窪,向日照之,光皆聚向內。離鏡一、二寸,光聚為一點,大如麻菽,著物則火發,此則腰鼓最細處也。豈特物為然,人亦如是,中間不為物礙者鮮矣。小則利害相易 ,是非相反;大則以已為物,以物為已。不求去礙,而欲見不顛倒 ,難矣哉!《酉陽雜俎》謂“海翻則塔影倒”,此妄說也。影入窗隙則倒,乃其常理。

。這本《夢溪筆談

是中國科學技術史上的重要文獻,百科全書式的著作,英國科學史家李約瑟稱讚本書為「中國科學史上的座標」。

實已說明『觀物』與『文不文』無關,『科學』之『辯證精神』是古今中外相通的。若說到表達語言的『文白問題』,或許只消嘗試讀一讀牛頓之《 Philosophiæ Naturalis Principia Mathematica 》的拉丁文『原著』或是『英譯本』,那就自問也可自答的吧。

─── 摘自《《派生》 Python 作坊【丁】陽燧月鑑

 

阿基米德『焦光』

Heat ray

Archimedes may have used mirrors acting collectively as a parabolic reflector to burn ships attacking Syracuse. The 2nd century AD author Lucian wrote that during the Siege of Syracuse (c. 214–212 BC), Archimedes destroyed enemy ships with fire. Centuries later, Anthemius of Tralles mentions burning-glasses as Archimedes’ weapon.[32] The device, sometimes called the “Archimedes heat ray“, was used to focus sunlight onto approaching ships, causing them to catch fire.

This purported weapon has been the subject of ongoing debate about its credibility since the Renaissance. René Descartes rejected it as false, while modern researchers have attempted to recreate the effect using only the means that would have been available to Archimedes.[33] It has been suggested that a large array of highly polished bronze or copper shields acting as mirrors could have been employed to focus sunlight onto a ship. This would have used the principle of the parabolic reflector in a manner similar to a solar furnace.

A test of the Archimedes heat ray was carried out in 1973 by the Greek scientist Ioannis Sakkas. The experiment took place at the Skaramagas naval base outside Athens. On this occasion 70 mirrors were used, each with a copper coating and a size of around five by three feet (1.5 by 1 m). The mirrors were pointed at a plywood mock-up of a Roman warship at a distance of around 160 feet (50 m). When the mirrors were focused accurately, the ship burst into flames within a few seconds. The plywood ship had a coating of tar paint, which may have aided combustion.[34] A coating of tar would have been commonplace on ships in the classical era.[d]

In October 2005 a group of students from the Massachusetts Institute of Technology carried out an experiment with 127 one-foot (30 cm) square mirror tiles, focused on a mock-up wooden ship at a range of around 100 feet (30 m). Flames broke out on a patch of the ship, but only after the sky had been cloudless and the ship had remained stationary for around ten minutes. It was concluded that the device was a feasible weapon under these conditions. The MIT group repeated the experiment for the television show MythBusters, using a wooden fishing boat in San Francisco as the target. Again some charring occurred, along with a small amount of flame. In order to catch fire, wood needs to reach its autoignition temperature, which is around 300 °C (570 °F).[35][36]

When MythBusters broadcast the result of the San Francisco experiment in January 2006, the claim was placed in the category of “busted” (or failed) because of the length of time and the ideal weather conditions required for combustion to occur. It was also pointed out that since Syracuse faces the sea towards the east, the Roman fleet would have had to attack during the morning for optimal gathering of light by the mirrors. MythBusters also pointed out that conventional weaponry, such as flaming arrows or bolts from a catapult, would have been a far easier way of setting a ship on fire at short distances.[37]

In December 2010, MythBusters again looked at the heat ray story in a special edition entitled “President’s Challenge”. Several experiments were carried out, including a large scale test with 500 schoolchildren aiming mirrors at a mock-up of a Roman sailing ship 400 feet (120 m) away. In all of the experiments, the sail failed to reach the 210 °C (410 °F) required to catch fire, and the verdict was again “busted”. The show concluded that a more likely effect of the mirrors would have been blinding, dazzling, or distracting the crew of the ship.[38]

 

300px-Archimedes_Heat_Ray_conceptual_diagram.svg

Archimedes may have used mirrors acting collectively as a parabolic reflector to burn ships attacking Syracuse.

 

Archimedes-Mirror_by_Giulio_Parigi

Artistic interpretation of Archimedes’ mirror used to burn Roman ships. Painting by Giulio Parigi.

 

或許終落『事理』上之『定性類比』與『定量歸結』的耶??不過就『實用』目的而言『焦點』則一也!!

既然已經知道『波前』之『反射』或『折射』交匯可形成 Caustic ── 包絡線 ──

Envelope (mathematics)

In geometry, an envelope of a family of curves in the plane is a curve that is tangent to each member of the family at some point. Classically, a point on the envelope can be thought of as the intersection of two “adjacent” curves, meaning the limit of intersections of nearby curves. This idea can be generalized to an envelope of surfaces in space, and so on to higher dimensions.

Envelope of a family of curves

Let each curve Ct in the family be given as the solution of an equation ft(xy)=0 (see implicit curve), where t is a parameter. Write F(txy)=ft(xy) and assume F is differentiable.

The envelope of the family Ct is then defined as the set of points for which

F(t,x,y)={\partial F \over \partial t}(t,x,y)=0

for some value of t, where \partial F/\partial t is the partial derivative of F with respect to t.[1]

Note that if t and u, tu are two values of the parameter then the intersection of the curves Ct and Cu is given by

F(t,x,y)=F(u,x,y)=0\,

or equivalently

F(t,x,y)={\frac {F(u,x,y)-F(t,x,y)}{u-t}}=0.

Letting u→t gives the definition above.

An important special case is when F(txy) is a polynomial in t. This includes, by clearing denominators, the case where F(txy) is a rational function in t. In this case, the definition amounts to t being a double root of F(txy), so the equation of the envelope can be found by setting the discriminant of F to 0.

For example, let Ct be the line whose x and y intercepts are t and 1−t, this is shown in the animation above. The equation of Ct is

{\frac {x}{t}}+{\frac {y}{1-t}}=1

or, clearing fractions,

x(1-t)+yt-t(1-t)=t^{2}+(-x+y-1)t+x=0.\,

The equation of the envelope is then

(-x+y-1)^{2}-4x=(x-y)^{2}-2(x+y)+1=0.\,

Often when F is not a rational function of the parameter it may be reduced to this case by an appropriate substitution. For example if the family is given by Cθ with an equation of the form u(xy)cosθ+v(xy)sinθ=w(xy), then putting t=eiθ, cosθ=(t+1/t)/2, sinθ=(t-1/t)/2i changes the equation of the curve to

u{1 \over 2}(t+{1 \over t})+v{1 \over 2i}(t-{1 \over t})=w

or

(u-iv)t^{2}-2wt+(u+iv)=0.\,

The equation of the envelope is then given by setting the discriminant to 0:

(u-iv)(u+iv)-w^{2}=0\,

or

u^{2}+v^{2}=w^{2}.\,

Alternative definitions

  1. The envelope E1 is the limit of intersections of nearby curves Ct.
  2. The envelope E2 is a curve tangent to all of the Ct.
  3. The envelope E3 is the boundary of the region filled by the curves Ct.

Then E_{1}\subseteq {\mathcal {D}}, E_{2}\subseteq {\mathcal {D}} and E_{3}\subseteq {\mathcal {D}}, where {\mathcal {D}} is the set of curves given by the first definition at the beginning of this document.

EnvelopeAnim

───

 

何不援用中外之長,假借『SymPy』工具,『定性、定量』驗證個仔細乎??!!

pi@raspberrypi:~ python3 Python 3.4.2 (default, Oct 19 2014, 13:31:11)  [GCC 4.9.1] on linux Type "help", "copyright", "credits" or "license" for more information.  >>> from sympy import * >>> init_printing() >>> x, y, t = symbols('x y t')  >>> 曲線族 = x/t + y/(1-t) - 1 >>> 曲線族   y          x ────── - 1 + ─ -t + 1       t  >>> 曲線族 = 曲線族 * t * (1-t) >>> 曲線族            ⎛  y          x⎞ t⋅(-t + 1)⋅⎜────── - 1 + ─⎟            ⎝-t + 1       t⎠  >>> 曲線族.expand()     2                                   t ⋅y     2          t⋅y           - ────── + t  - t⋅x + ────── - t + x   -t + 1              -t + 1          >>> 曲線族.expand().simplify()  2                     t  - t⋅x + t⋅y - t + x >>> 曲線族 = 曲線族.expand().simplify()  >>> 曲線族.diff(t) 2⋅t - x + y - 1  >>> Gröbner = groebner([曲線族, 曲線族.diff(t)], wrt=t) >>> Gröbner              ⎛⎡                  2                  2          ⎤               GroebnerBasis⎝⎣2⋅t - x + y - 1, x  - 2⋅x⋅y - 2⋅x + y  - 2⋅y + 1⎦, t, x, y, dom                  ⎞ ain=ℤ, order=lex⎠ >>> Gröbner[-1]  2                  2           x  - 2⋅x⋅y - 2⋅x + y  - 2⋅y + 1  >>> (Gröbner[-1] - ((x-y)**2 - 2*(x+y) + 1)).simplify() 0 >>>  </pre> <span style="color: #808080;">※ 使用 <a style="color: #808080;" href="https://en.wikipedia.org/wiki/Gr%C3%B6bner_basis">Gröbner basis</a> 求解『<a style="color: #808080;" href="https://mattpap.github.io/masters-thesis/html/src/groebner.html">多項式方程式</a>』,消掉『參數』t。</span>     <span style="color: #003300;">自可明白『<a style="color: #003300;" href="https://zh.wikipedia.org/zh-tw/%E6%8A%9B%E7%89%A9%E7%BA%BF">拋物線</a>』之『焦點』名不虛傳歟</span> <h1 id="firstHeading" class="firstHeading" lang="en"><span style="color: #003300;"><a style="color: #003300;" href="https://en.wikipedia.org/wiki/Parabola">Parabola</a></span></h1> <h2><span id="Proof_of_the_reflective_property" class="mw-headline" style="color: #ff9900;">Proof of the reflective property</span></h2> <span style="color: #808080;">The reflective property states that, if a parabola can reflect light, then light which enters it travelling parallel to the axis of symmetry is reflected to the focus. This is derived from the wave nature of light in the paragraph "<a style="color: #808080;" href="https://en.wikipedia.org/wiki/Parabola#Description_of_final_diagram">description of final diagram</a>", which describes a diagram just above it, at the end of this article. This derivation is valid, but may not be satisfying to readers who would prefer a mathematical approach. In the following proof, the fact that every point on the parabola is equidistant from the focus and from the directrix is taken as axiomatic.</span>  <span style="color: #808080;">Consider the parabola <img class="mwe-math-fallback-image-inline" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/2be58b05a877121e693523752dd3351da176ad33" alt="y=x^2." /> Since all parabolas are similar, this simple case represents all others. The right-hand side of the diagram shows part of this parabola.</span>  <span style="color: #808080;"><b>Construction and definitions</b></span>  <span style="color: #808080;">The point <i>E</i> is an arbitrary point on the parabola, with coordinates <img class="mwe-math-fallback-image-inline" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/770317ed93e84e8153153451527a56fb8cc884f6" alt="(x,x^2)." /> The focus is <i>F</i>, the vertex is <i>A</i> (the origin), and the line <i>FA</i> (the y-axis) is the axis of symmetry. The line <i>EC</i> is parallel to the axis of symmetry, and intersects the x-axis at <i>D</i>. The point <i>C</i> is located on the directrix (which is not shown, to minimize clutter). The point <i>B</i> is the midpoint of the line segment <i>FC</i>.</span>  <span style="color: #808080;"><b>Deductions</b></span>  <span style="color: #808080;">Measured along the axis of symmetry, the vertex, <i>A</i>, is equidistant from the focus, <i>F</i>, and from the directrix. Correspondingly, since <i>C</i> is on the directrix, the y-coordinates of <i>F</i> and <i>C</i> are equal in absolute value and opposite in sign. <i>B</i> is the midpoint of <i>FC</i>, so its y-coordinate is zero, so it lies on the x-axis. Its x-coordinate is half that of <i>E</i>, <i>D</i>, and <i>C</i>, i.e. <img class="mwe-math-fallback-image-inline" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/da682f5bd9083d79ca9db9fb6cedc47cc4245475" alt="\frac{{x}}{{2}}." /> The slope of the line <i>BE</i> is the quotient of the lengths of <i>ED</i> and <i>BD</i>, which is  <img class="mwe-math-fallback-image-inline" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/1f494f18dd52a77b59126576f4e456a1be03a958" alt="\frac{x^2}{\left(\frac{x}{2}\right)}," /> which comes to  <img class="mwe-math-fallback-image-inline" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/69f024b2abbfab3ee52ded76d6d275e208d0f9e5" alt="2x." /></span>  <span style="color: #808080;">But <img class="mwe-math-fallback-image-inline" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/e50b849d3a7cd902f0ae3fa6ad6d1cad49987c39" alt="2x" /> is also the slope (first derivative) of the parabola at <i>E</i>. Therefore, the line <i>BE</i> is the tangent to the parabola at <i>E</i>.</span>  <span style="color: #808080;">The distances <i>EF</i> and <i>EC</i> are equal because <i>E</i> is on the parabola, <i>F</i> is the focus and <i>C</i> is on the directrix. Therefore, since <i>B</i> is the midpoint of <i>FC</i>, triangles <i>FEB</i> and <i>CEB</i> are congruent (three sides), which implies that the angles marked <img class="mwe-math-fallback-image-inline" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/b79333175c8b3f0840bfb4ec41b8072c83ea88d3" alt="\alpha " /> are congruent. (The angle above <i>E</i> is vertically opposite angle <i>BEC</i>.) This means that a ray of light which enters the parabola and arrives at <i>E</i> travelling parallel to the axis of symmetry will be reflected by the line <i>BE</i> so it travels along the line <i>EF</i>, as shown in red in the diagram (assuming that the lines can somehow reflect light). Since <i>BE</i> is the tangent to the parabola at <i>E</i>, the same reflection will be done by an infinitesimal arc of the parabola at <i>E</i>. Therefore, light that enters the parabola and arrives at <i>E</i> travelling parallel to the axis of symmetry of the parabola is reflected by the parabola toward its focus.</span>  <span style="color: #808080;">The point <i>E</i> has no special characteristics. This conclusion about reflected light applies to all points on the parabola, as is shown on the left side of the diagram. This is the reflective property.</span>  <img class="alignnone size-full wp-image-55918" src="http://www.freesandal.org/wp-content/uploads/460px-Parabel_2.svg.png" alt="460px-Parabel_2.svg" width="460" height="500" />  <span style="color: #808080;">Reflective property of a parabola</span>     <img class="alignnone size-full wp-image-55920" src="http://www.freesandal.org/wp-content/uploads/Parabola-antipodera.gif" alt="Parabola-antipodera" width="201" height="156" />  <span style="color: #808080;">Perpendicular from focus to tangent</span>     <span style="color: #003300;">恐怕習慣成自然,總是難忘紙筆情懷,竟不知不覺『塗鴉』一番</span>  <img class="alignnone size-full wp-image-55948" src="http://www.freesandal.org/wp-content/uploads/手算.png" alt="手算" width="4344" height="3056" />     <span style="color: #003300;">,就此摘要如下,確不確實,且留與讀者自證的哩???</span>  <span style="color: #003300;">設平行光交拋物線於E,且與此處『切線』之夾角為\alpha。由微積分可知y = x^2曲線之『斜率』為y = 2x,因此依題意這一『切線』\overline{EB}的方程式為</span>  <span style="color: #003300;">y - t^2 = 2t(x - t)</span>  <span style="color: #003300;">。此『切線』將交x軸於y=0之時,得到x = \frac{t}{2},故知B是線段\overline{AD}之中點也。於是\tan ( \alpha ) = \frac{\frac{t}{2}}{t^2} = \frac{1}{2t}。</span>  <span style="color: #003300;">怎麼求取『反射線』\overline{EF}?只需知其『斜率』為\tan ( \frac{\pi}{2} - 2 \alpha )  = \cdots = \frac{4 t^2 -1}{4t}!因此『反射線』之方程式是</span>  <span style="color: #003300;">y - t^2 = \frac{4 t^2 -1}{4t} (x-t)</span>  <span style="color: #003300;">。要是果然y軸有『焦點』,此時x=0,尚且得與t不相干也,代入果得到</span>  <span style="color: #003300;">y = \frac{1}{4}。</span>  <span style="color: #003300;">若問『包絡線』在哪裡?終得</span>  <span style="color: #003300;">{(4y-1)}^2 - 16 x^2 = 0$

這條方程式。實是兩條直線,相交於『焦點』。

 

果然『高斯光學』的『部份球面』例無虛發,事理不二矣!!!

Focal length and radius of curvature at the vertex

200px-Huygens_+_Snell_+_van_Ceulen_-_regular_polygon_doubling.svg

mage is inverted. A"B" is x-axis. C is origin. O is centre. A is (x,y). OA=OC=R. PA=x. CP=y. OP=(R-y). Other points and lines are irrelevant for this purpose.

 

Parabola_circle.svg

The radius of curvature at the vertex is twice the focal length. The measurements shown on the above diagram are in units of the latus rectum, which is four times the focal length.

 

Concave_mirror.svg

 

Consider a point  (x,y) on a circle of radius R and with centre at the point  (0,R). The circle passes through the origin. If the point is near the origin, the Pythagorean Theorem shows that:

x^2+(R-y)^2=R^2

\therefore x^2+R^2-2Ry+y^2=R^2

\therefore x^2+y^2=2Ry.

But, if (x,y) is extremely close to the origin, since the x-axis is a tangent to the circle, y is very small compared with x, so  y^{2} is negligible compared with the other terms. Therefore, extremely close to the origin:

  x^2=2Ry......(Equation 1)

Compare this with the parabola:

x^2=4fy......(Equation 2)

which has its vertex at the origin, opens upward, and has focal length f.. (See preceding sections of this article.)

Equations 1 and 2 are equivalent if R=2f. Therefore, this is the condition for the circle and parabola to coincide at and extremely close to the origin. The radius of curvature at the origin, which is the vertex of the parabola, is twice the focal length.

Corollary

A concave mirror which is a small segment of a sphere behaves approximately like a parabolic mirror, focusing parallel light to a point which is midway between the centre and the surface of the sphere.

───