數學

我們研究的問題源自於〝棋盤上的蛇〞(Snakes on a chessboard) ，是由教授Richard Stanley所提出。問題如下：在 棋盤形格子上，蛇由任意一格出發，但蛇的走法只能往右→，往上↑，或停住。若此蛇已停住，將由另一條蛇來走，且不同蛇走過的格子不可重疊。證明：將 棋盤形格子完全覆蓋的總方法數為費氏(Fibonacci)數列某些項的乘積。 我們以〝生成格〞概念來解決問題，藉由生成格建立二維棋盤形格子〝蛇填充數〞與費氏關係，並試圖拓展三維空間棋盤情形，在過程中發現藉由〝生成矩陣〞可以組成空間棋盤的〝生成格〞，並以此解決p×q×r的空間棋盤問題。 2022年9月，在網站The On-Line Encyclopedia of Integer Sequences上發現由教授 Greg Dresden及其學生Aarnav Gogri提出的數列，與我們2022年3月於高雄市發表的科展作品中的一組數列完全對應，甚而對此數列的原問題Tiling a Hexagonal Strip with Triangles and Diamonds，我們的作品還能做進一步延伸探討。

現在手中有許多礦石及k個袋子，我們認定「一套」礦石是將n個礦石分成k份的k堆礦石。每次取一套礦石，僅改變每堆礦石對應的袋子而不改變每堆的數量，將礦石放入對應的袋子中，這個操作稱為「放一套」。本研究先探討需放入的最少套數使得每個袋子中的礦石數一樣多，後段則討論可使礦石均分在袋子中的所有套數所形成之集合，亦結合部分圖論性質以完整證明。如果改變n,k及一套中的礦石分配方式，對於所需放入的套數有何影響？我從k=2、k=3慢慢試驗，搭配程式的輔助，進而快速找出需放最少套數的方法，及可達成均分套數與礦石分配的關聯。

在先前的研究中，特定的格點多邊形如正方形與直角三角形曾經被探討過。任意格點多邊形性質被歸類於資訊研究，目的為用程式估計當範圍很廣或邊數很多時格點多邊形性質的數值解。 先前研究中，作者已針對格點多邊形的性質進行初步的探討，本研究進一步補足先前研究的缺陷：用數學化的方式探討格點多邊形的邊數最大值。研究當中探討的多邊形包含凹多邊形及凸多邊形，研究者改良先前研究中的「迂迴作圖法」，提出新的「對稱作圖法」，以「定義基本構形、先作短邊、再作中間」的順序，確保必定可在特定範圍內建構出符合最大邊數解的格點多邊形；並以數學歸納法證明當矩形範圍短邊為12單位以上時，必存在格點數與邊數相等的格點多邊形，達成重要的突破。 本研究推導出格點多邊形的邊數最大值如下式。運用本研究的結果，將有助於在有限區域或空間中依照特定規律設計最大路徑，例如遊樂場迷宮、駕訓班車道、或積體電路設計。 S(n,m)={█(4 {if n=1∨m=1}@3n+1 {if n=2∨m=2}@24 {if m=n=4}@(n+1)(m+1) {otherwise})┤

在一期校內的階城盃中，我發現一個有趣的問題，在一個正多邊形，甲走一圈花 分鐘，乙走一圈花 分鐘，請問第一次甲乙在何時、何點相遇？當我寫下這題目特定解時，突然發現還有許多有趣且可延伸的可能，因此開始研究；本篇研究透過求出甲乙相遇的每一個地點連接形成一個圓形，再藉由此圓形與題目中的正多邊形的點所畫的圓形的頂點相對位置，找出甲乙何時何地第一次相遇在正多邊形的頂點上，並導出通解並期望在未來可以找到不限定人數等等的延伸。

The equation of an ellipse and quadratic residues are well-known concepts in elementary geometry and number theory, respectively. While the properties of ellipse equations in Euclidean space have been extensively studied, many characteristics of quadratic residues, such as consecutive quadratic residues, have also been explored in past research. In this study, we discovered the characteristic polynomial of the equation of an ellipse over finite fields Fp, a single-variable polynomial that shares the same roots as the ellipse. Furthermore, by examining the parallels between the equation of an ellipse and the pairs of residues and nonresidues, we derived a characteristic polynomial for this concept and demonstrated its connection to the Catalan number, a significant sequence in combinatorics. This research was conducted through the following steps. First, the power sums of the roots of the ellipse in Fp were calculated using the Legendre symbol and Euler’s criterion. Next, the characteristic polynomial of the ellipse was determined using Newton’s identity, generating functions, and Vieta’s theorem. Finally, leveraging the equivalence between the equation of the ellipse and the pairs of residues and nonresidues, we established the main results connecting these two concepts with Catalan numbers.

本研究主要探討一群帶原者在城市間的隨機移動。假設城市總共是有限多個、每次移動只跟當前城市有關，與總移動次數、移動到當前城市的過程無關。本研究假設每次移動時間為一天。在上述條件下，我去思索帶原者是否必定會到達特定的都市。此時加入了任意城市均與此特定都市連通的條件。 關於數學推導的部分，先證明當移動次數趨近無限大時，帶原者到達首都的機率趨近於1。再來由轉移矩陣具穩定狀態的性質，證明期望值與變異數的收斂。最後，利用矩陣的極限與隨機變數兩種方式，解得期望值與變異數的關係式，將極限問題轉換成解線性方程式。 在模型實作方面，我收集了CDC五月的資料，並經過平均、換成感染相對比率後形成機率矩陣。運用拉格朗日參數法求最小值條件後，藉由大量的隨機撒點以牛頓法迭代求得最適轉移矩陣，以評估疫情變化。並利用自助抽樣法求得6月感染相對比率的95%信賴區間，繪圖進行比較。

這是一份將近持續四年的研究，而這一年佩爾質數的出現，讓我們的討論「突飛猛進」。 佩爾方程式是形如𝑥2−𝑚𝑦2=1的方程式，其中𝑘不為完全平方數之正整數。我們定義廣義佩爾方程式是形如𝑥2−𝑚𝑦2=𝑛 的方程式。在過去的研究中，我們主要從𝑥2−𝑘𝑦2=𝑝 (𝑘,𝑝 皆為互質的奇質數) 的正整數解開始研究，接著延伸到 𝑥2−𝑘𝑦2=2𝑚𝑝1𝑛1𝑝2𝑛2⋯𝑝𝑗𝑛𝑗，進而得到了解的唯一分解性質。而本次的研究，延續之前的工作，對佩爾質數展開了討論。利用蜈蚣彘，我們成功地發現了一些佩爾質數，猜測出一些可能的結果並證明；同時我們對佩爾質數的生成結構做了相當程度的了解。作為結束，設法利用分析的方法解決的之前的問題，以及對方程式的不可約解，是否存在較低次方根解，給出了必要條件。

本研究針對以往跳躍數列進行1人的討論延伸至多人的跳躍數列；多人跳躍數列規則為「同一個時間點手上最多只會有一顆球回到一位小丑手中」、「需連續、規律的接及丟出球，並且無限持續下去」、「丟球前可以有準備的時間」以上三項規則，因此此研究和以往多數文獻的題目假設有所不同，也比較貼近現實可能的情況。 多人跳躍數列的討論較為複雜，因此採用有向圖的概念進行討論，該圖的點元素代表當下每一顆球在幾秒中回到手中的狀態、邊元素則為每個狀態轉移時的丟球方式；接著將有向圖轉換為鄰接矩陣，並將點元素用類似2進位的形式進行分類以便整理成規則一致的分塊矩陣，接著由Cayley–Hamilton定理及多人跳躍數列的性質得到將鄰接矩陣的n次方求跡即為多人跳躍數列方法數。最後為了將不同狀況的方法數有一個好的整理，我們採用生成函數表示方法數並得到一定的成果。

The billiard table is a cuboid with integer side lengths. A point-wise ball moves with constant speed along segments making a 45◦ angle with the sides and bounces on these. We allow the ball to start from any of the 8 corners, resulting in a periodic trajectory known as a corner path. The geometry of the path depends on the artihmetic properties of the side lengths (for example if these are pairwise coprime). Points of contact between the ball and edges, known as edge points, are inves- tigated and their characteristics like distribution explicitly described. This generalizes a previous work by Perucca, Reguengo da Sousa and Tronto of University of Luxembourg.

本研究先觀察著名的密克定理（Miquel theorem）與密克點（Miquel point），我們創新給出了新的研究項目，關注密克點𝑃與密克三角形的頂點所構成直線和原三角形𝐴𝐵𝐶三邊直線的其餘六個交點，這是前人沒有觸及的研究項目，從而定義旁接三角形與衍伸三角形。 我們先針對特殊型（直角）的構圖，發現滿足兩個衍伸三角形的有向面積 [𝐴1𝐵1𝐶1]=±[𝐴2𝐵2𝐶2] 時，𝑃 點形成的軌跡為原三角形的 Kiepert hyperbola 與外接圓，這個是有趣且重要發現，我們也進一步給出其幾何必然性。進一步考慮 [𝐴1𝐵1𝐶1]=𝑟[𝐴2𝐵2𝐶2] 時，則刻劃出 𝑃 點軌跡為圓錐曲線系。在前面的基礎下，再針對一般型（任意角）的構圖，若 𝑃 點位於原三角形外接圓及Kiepert hyperbola 與 Steiner circumellipse 的線性組合曲線上，此時兩個衍伸三角形 𝐴1𝐵1𝐶1 與 𝐴2𝐵2𝐶2 的有向面積比值為定值，且兩者恆為相反數。