 | Acta Crystallographica Section A Acta Crystallographica Section A FOUNDATIONS AND ADVANCES |
journal menu
![[Figure 9]](ae5032fig9mag.jpg)
|
|
Figure 9
We are given a triangle T of minimum size larger than 2k. From one of its vertices (we have taken it as the top one here) we fit in the largest sub-triangle possible (at the very least, there is always a triangle of level 0 that can be fitted in). Its lower side is indicated in green. It must turn inwards at the sides of T and complete to the opposite green triangle. By the induction assumption its other two sides also complete to opposite pairs, and this leads to the new black triangle with the green triangle nested in it. Since we started from a maximal-sized sub-triangle, this larger black triangle must in fact be the entirety of our original triangle T. This shows that T has edge length 2k+1. The visible nesting and the induction hypotheses show that the new triangle is nested within. |
![[Figure 9]](ae5032fig9.jpg)
| FOUNDATIONS ADVANCES |
ISSN: 2053-2733
access
