2012年7月17日 星期二

如何新增對Latex, MathML支援

要寫數學式常常很不便,blogger的話,可以參考
這個網頁
網頁中是寫要在範本裡面新增一段html碼。但是其實不用這麼麻煩。新增一個小工具(版面配置底下),選Html/Javascript小工具,再貼上該連結內寫的javascript碼就好了。標題可打可不打。日後就能輕鬆撰寫數學式。最好是新增最下方的小工具,這樣版面會更清爽。

另外,其實有個釜底抽薪的辦法:直接把部落格搬到Wikidot,裡面直接支援了LaTex。

題外話:Wiki的數學條目其實寫得不太好。其實科學的條目都差不多如此。

2012年7月4日 星期三

一個有趣的行列式(determinant)問題

因為是在楊維哲的"湖濱高中資優數學講義:代數" 中看到的,所以下面把行列式稱為定準,這是該書中的稱呼。翻成行列式的確是蠻奇怪,我從國中的時候就覺得怪了。
題目:Det[{{(a - x)^2, (a - y)^2, (a - z)^2}, {(b - x)^2, (b - y)^2, (b -
       z)^2}, {(c - x)^2, (c - y)^2, (c - z)^2}}]]。對它做因式分解。上面是mathematica的程式碼,下面這個用了mathjax來顯示,也許ie會看不到。
\begin{vmatrix} (a-x)^2 & (a-y)^2 & (a-z)^2 \\ (b-x)^2 & (b-y)^2 & (b-z)^2 \\ (c-x)^2 & (c-y)^2 & (c-z)^2 \end{vmatrix}
作法:把定準中每個元素展開,例如把$(a-x)^2$展成$a^2 - 2ax + x^2$。因為每個元素都有三項,結構也都很類似,這就給我們一個靈感:根據每列作加法的拆解,可以把原定準拆成3*3*3 = 27個定準的和。因為每一列的元素都能拆成三項,共三列,所以是三的三次方。但是不用怕,因為這27個當中很多都是零。 如果任兩列取的是同一項(例如第一列取$a^2$,第二列取$b^2$),那麼定準為零。這麼一來就只剩下3*2*1=6個定準。

六個定準當中隨便取一個來看,發現都可以把它拆成
(a和b和c的乘積)*{Vandemode定準,變數為xyz}。觀察可以得到要如何得到這六個,有規則可循。既然我們知道Vandemode公式,那麼就只剩下如何拆那一大串a和b和c的多項式
$-a^2 b + a b^2 + a^2 c - b^2 c - a c^2 + b c^2$

看出這是一個三元的交錯式,肯定有(a-b)(b-c)(c-a)的因式,那麼跟原式只差正負號,觀察或代入可得剛好是正的

那麼答案就是$(a-b)(b-c)(c-a)(z-x)(z-y)(y-z)$