程晉州預計，在知道行星運行三定律的情況下，要逆推已知條件，也需要一整天時間。而且紅臉膛未曾明確的說明，要從什么級別開始作為已知條件。
這使得程晉州在羅列已知的時候，盡可能的將較早時代的公理列在前面。
此等做法，自然讓姜璜異常的奇怪，同時也頗為佩服。
同樣是為了推出一個定理，用“三角形內(nèi)角和為180度”的已知條件，可比“三角形有三個角”的已知條件簡單多了——后者...
程晉州預計，在知道行星運行三定律的情況下，要逆推已知條件，也需要一整天時間。而且紅臉膛未曾明確的說明，要從什么級別開始作為已知條件。
這使得程晉州在羅列已知的時候，盡可能的將較早時代的公理列在前面。
此等做法，自然讓姜璜異常的奇怪，同時也頗為佩服。
同樣是為了推出一個定理，用“三角形內(nèi)角和為180度”的已知條件，可比“三角形有三個角”的已知條件簡單多了——后者...