而這些結論，全是利用數字金字塔得來的。
陳舟放下筆，看了眼時間，已經下午3點。
“沒想到，看著簡單，思路也很順暢的兩個特性的證明，居然花了我這麼多時間……”
喃喃自語了一聲，陳舟不再多想，收斂思緒，把先前的草稿紙整理了一下，拿在手中捋了一遍。
這是陳舟為了把思路理得更清楚一些。
因為由數字金字塔引發的證明思路，是在軍訓時發生的，這其中可能有一些細節的地方，陳舟沒有考慮到。
所以，理一理思路，是很有必要的。
而且，面對世界級的難題，陳舟覺得再小心謹慎一些，也不為過。
這也是他為什麼會被人誇計算極其嚴謹的原因。
放下草稿紙，再拿出一張新的草稿紙。
陳舟再次進入對冰雹猜想的證明世界之中。
首先，陳舟需要進行公式化的轉換。
也就是對冰雹猜想的證明，轉換為一個更符合他現在證明方式的敘述形式。
敘述形式的轉換，也就轉換了冰雹猜想的證明形式。
當然，這個證明形式，是往陳舟先前的這些準備上，去靠的。
也因此，陳舟需要先證明“數字金字塔中第n級的所有奇數，都是可透過有限次的冰雹猜想運算後，成為一個比它自身小的奇數”，這一結論。
把結論進行公式化，是證明的必經過程。
【設奇數a經過次的冰雹猜想運算後，其形式為a=3^/2^a+3^/2^+3^/2^+……+3/2^+/2^b】
【當上式中首項係數3^/2^中分母的冪指數第一次出現b+b2+b3+……+b≥2時……】
【……因此，可以確定，奇數a是能夠透過若干次冰雹猜想運算，而成為一個小於它自身的奇數，簡稱a，符合條件“a＞a”。】
公式化完成後，便是對結論的證明了。
這一步倒是沒那麼費腦細胞。
有了前期的鋪墊，陳舟在求證“第n級中‘符合條件a＞a’奇數的計算方法”時，不管是思路上，還是計算上，都輕鬆了許多。
尤其是陳舟對特性和特性2的運用，可以說是撐起了整個求證的過程。
再結合數字金字塔的內容，陳舟又整理出來一張關於“第n級中奇數連續進行冰雹猜想運算時，每次得到的‘符合條件a＞a’的奇數個數”的表格。
詳細羅列了第一次運算，第二次運算，直到第次運算的首項係數經運算後的奇數個數。
在第次冰雹猜想運算一欄，其中的規律是利用運算路線類似而得到的。
把這部分內容的證明完成，外面的天色已經暗了下來。
等到陳舟再次放下筆，準備伸懶腰時，他才發現不知不覺已經晚上七點了。
看了一眼身旁的楊依依，正埋頭看著教材。
楊依依心有所感，扭頭看向陳舟。
她衝陳舟微微一笑，輕聲說道：“走吧，吃完飯，再回來？”
陳舟點點頭：“是不是等了我很久？怎麼不喊我？”
楊依依笑著說道：“看你那麼專注的做事，我怎麼忍心打斷你呢？”