本作品主要研究一種作圖工具「cyclos」，其規則如下：在平面上，可以以兩點距離為直徑作過此兩點的圓、以不共線三點作圓或在圓上標點。我們盡量避免了使用解析的方法。我們使用了這個工具證明了原題，並進一步作出兩點之中點、三點作三角形之五心以及其他的相關結構的作法。且利用精準繪出長度的方式，導出a¯AB，aϵ{α0+∑∞i=1αi√(i+1) |α0、αiϵQ,αi≠0 for finitely many}
並給出詳細證明。
「為配合國家發展委員會「推動ODF-CNS15251為政府為文件標準格式實施計畫」，以及
提供使用者有文書軟體選擇的權利，本館檔案下載部分文件將公布ODF開放文件格式，
免費開源軟體可至LibreOffice下載安裝使用，或依貴慣用的軟體開啟文件。」