全國中小學科展

數學

「飛到西飛到東」對應異頻穩定三角訊號之波形分析

本篇研究以探討多重訊號同時輸入時的訊號干擾問題出發,類比至國立臺灣師範大學數學系游森棚教授所提出的數學問題: 飛到西飛到東」,希望藉由導出多質點移動速率與其距原點間的位置關係,找出訊號重疊程度之峰值條件,藉此有望應用於硬體接收器的訊號輸出處理,或類比至電路設計與物流規劃等,達到避免相互干擾與提升傳輸效率的功用。 在內文中我們先以分段討論的方式解決期刊問題,並導出在任意系統中可快速辨別物體運動狀態之高斯函數。隨後以參數化曲線路徑與向量式的質點位置,拓展主題可適用範圍的自由度,再以高斯函數法和傅立葉級數法得出解型式之聯立組,最後利用數系之封閉性,將主題進一步約化處理。

三角形分割與內切圓半徑之延伸研究

本研究延伸自作者前一年的研究「多『圓』文化的延伸——Japanese Temple GeometryProblem」,本作品靈感來自於其中一題日本算額問題。該題將正三角形透過特定的分割方式,將其分割為四個三角形。本研究改變其分割方式:在任意△ABC中,L、M、N分別為̅BC、̅AB、̅AC上一點,若△AMN、△BML、△CLN之內切圓半徑相等,則 △ABC內切圓半徑等於△LMN 內切圓半徑加三等圓半徑。此外,本研究刻劃出△ABC三邊上L、M、N的相對位置,並說明三點的相對位置是能夠利用尺規作圖實現的。最後也計算當△LMN存在時,三等圓半徑(r)的上界。此外,本研究將上述三角形的分割手法推廣至正n邊形和正四面體並探討內切圓與內切球的相關性質。另外也針對三角形內部的三圓半徑從原先的r改為r,gr,r,探討r的上界為何,最後也將研究內切圓延伸至外接圓,並觀察出三外接圓心與 L、M、N六點共橢圓。

神秘的數字圓舞曲 - 探討質數環排列的存在性

如果正整數1~n存在環狀排列,使得相鄰的數字和皆為質數,則將其定義為質數環。 本研究主要使用不同方法探討質數環的存在性。在本研究與文獻中,都沒有寫出質數環通式的方法,因此我藉由孿生質數、類孿生質數、一般質數(相差不固定的質數組)等方法,構造特定值的質數環,並使用程式驗證各定理在有限範圍能構造出質數環的整數個數、比例。 本研究的貢獻之一在於發展出類孿生質數構造質數環的方法,我突破質數對相差變大會比較難找出數字關係的框架,延伸孿生質數的方法至類孿生質數,還結合一對孿生質數與一對相差四的質數以構造質數環。 更進一步地,本研究提出使用不限定差的質數組構造質數環的方法,擺脫孿生質數猜想,使這個問題的解決方法更一般化。

塗色次數期望值之研究

n個圓圈以一維排列所構成圖形中,若指定當中一圓圈塗色時,其左右相鄰圓圈各有1/2機率被塗色,欲求出使得該圖形之指定塗色次數的期望值達最小之最優化塗色方法。本研究共探討了n個圓圈之「直線排列」、「環狀排列」與n個圓圈及m個圓圈之「環狀結合直線排列」等三種圖形。

Equation of Ellipse over Fp and Pairs of Quadratic Residues/Nonresidues Related to Catalan Numbers

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.

歐氏空間中固定圖形在整數格點的最大覆蓋

本作品針對固定格點中的最大覆蓋進行研究,探討三角形與平行六面體的最大覆蓋面積與體積,以及此時的作圖圖形。對於三角形,我們的研究對象為平面 9𝑛2 格點,我們觀察出每三圈格點為一個作圖單位,並藉由定義點集合範圍來證明最大面積三角形。為了證明所提出的猜想,我們以三個正方形與四個三角形之間的轉換關係為方向進行研究,並求出相同旋轉點三角形的大小關係,將坐標分門別類後加以探討。至於平行六面體的部分,我們則研究立體 8𝑛3 格點,在提出最大體積總和之猜想後,以底面積與高兩方面來推算出最大體積,最後將平行六面體依據平面法向量分成數類以證明猜想。

廣義佩爾方程式的一些探討

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

連續兩個未知數相加減再相乘的極值問題

本研究從2022年APMO第五題的代數題目出發,題目為a1,a2,a3,a4∈ℝ,(4∑k=1)ak2=1,試求出(a4-a1)(3∏k=1)(ak-ak+1)的最小值。我們希望將原問題的四個未知數,希望推廣到n個未知數的通解。我們首先用算幾不等式及其他幾何性質算出了n=2~4的解,其中包括了偏微分求切平面的方法。在研究n的未知數的通解時,我們利用實數的完備性說明最小值一定存在,接著我們利用舉例以及反證法,發現到n個未知數時其最小值會小於0,以及最小值成立時各項相加會等於0,我們運用這些特別的性質,並且使用了各種不等式得出n=2(mod4)的通解。最後我們用拉格朗日乘數可以求出n=k(mod2k)的局部最小值,還有部分相加與相減的關聯性,未來希望能求出絕對的最小值和最大值。

連通圖上行走路徑經過邊數期望值之研究

本研究延續自作者前一年的研究「連通圖上行走步數期望值之研究」,原題為在一個六面體中,有一隻螞蟻位於其中一個頂點並沿著邊行走,每當牠走到頂點時就會選擇一條邊繼續行走,且牠前往任何方向之機率皆相同,但不可走回頭路,求螞蟻回到出發點時經過邊數之期望值。本研究將題目延伸出了以下幾個問題,得出結論後並證明。結果如下:Kn (n - complete graph)、任意tree、Cm★Cn、Km★Kn中,螞蟻從其中一點vi出發,第一次走到另一點vj時經過邊數之期望值通式。除了研究不同的圖上點到點經過邊數期望值通式,針對圖論中經常用的距離 (點到點的最短路徑經過邊數) 與點到點的期望長度最大者進行比較,探討在圖上之性質。

平面及空間中直線循環的矩陣變換

此份研究主要探討:給定一組平面中或空間中的n條直線L1、L2、…、Ln,就這n條直線的相對位置、交點情形及n,判斷是否存在矩陣變換T使得Lk可經由矩陣A映射到Lk+1,其中k=1,2,…,n且Ln+1=L1,並討論矩陣的唯一性與求出矩陣的一般模樣。