# Swannies Theorems, Art in Maths and a follow-up to Pythagoras, De Tinseau and De Gua De Malves.

Go to content

## VI to X

Theorem VI: A theorem for the areas of similar triangles on the faces of a trirectangular tetrahedron. The base and three smaller triangles similar to it as in all three above illustrations. The one in the centre shows the triangles in their proper positions.
From an edge between the base and a rectangular face of a trirectangular tetrahedron draw lines to represent the heights of the two triangles (they join to form one straight line). Around the line on the rectangular face mark out a triangle similar to the base, using angles taken from the base. Likewise draw similar triangles on the other faces. See the diagram of an ''opened up" tetrahedron above on the left.  (
Please note in my photographs vertical dimensions sometimes show up shortened, rendering angles and  lenghts inaccurate. The drawing on the right is an example where the total figure is a square and also serves as a proof for this case )
Definition:  Regarding a trirectangular tetrahedron;  let its base in turn be mirrored, in shape and orientation, across each base line as an inscribed triangle of a rectangular face.  The sum of the areas of the three similar triangles thus found ads up to that of the similarly shaped base.)

Theorem VII A theorem for projections of the rectangular faces of a trirectangular tetrahedron onto the base.
The base and three smaller triangles.
It is obvious that the projections of
the rectangular faces of a trirectangular tetrahedron onto the base equal the base in area.
Definition:  (Trivial) The projections of the rectangular faces of a trirectangular tetrahedron onto the base of the tetrahedron equals the base in area.

Theorem VIII: A general theorem for a shape on the base of a trirectangular tetrahedron and via its projections similar shapes on the other faces.
It covers some of the above theorems.
Mark out any shape on the base of a trirectangular triangle. Determine the projections of this shape onto the rectangular faces.    From a selected point on an edge of the base draw a vertical line through the corresponding  sections of  the shapes on the adjoining  faces. Use the section through the projection as a base line around which to draw a similar shape to that on the base. Likewise draw similar shapes on the other faces.
Definition: The sum of the areas of shapes on the rectangular faces of a trirectangular tetrahedron that are similar to one on the base equals the area of the one on the base provided a most shortened corresponding dimension between the shape on the base and a projection is used for drawing the similar shape on the rectangular face in each case.

On the left is a trirectangular tetrahedron with an equilateral base. On the rectangular faces are shown, in darker shades, triangles also of equilateral shape, in accordance with the definintion of Theorem VI.
On the right: An ad infinitum/infinitesimal proof for a special case of Theorem VI?
The tetrahedron is of the same shape as the one on the left  but with its rectangular faces flattened out. Positioning the red tringles inside the black triangle as shown gives overlaps shown as green triangles and leaves an open triangle at the centre. Flipping the green overlaps onto the open triangle in turn gives overlaps shown as blue traingles and again leaves an open triangle at the centre. If accurately done the blue triangles can in turn be flipped over onto the open triangle to see what turns up. Better perhaps to to enlarge the blue triangles and the open triangle back to the size of the green triangles and the triangle between them and repeat this doing, again and again.

On the left a proof for Theorem VI. As above ABCD is a flattened out trirectangular tetrahedron with an equilateral base . The red, blue and green triangles are found as per definition of the Theorem. To be proven that they fit, area wise, into the black triangle.
Flipped over they overlap in triangle EFG with open areas left between A and E,  B and F, and G and C. The similar little triangles appropiatly marked with coloured dots shows how the fit can be achieved.
On the right: Shows a triangular tetrahedron with faces flattened forming a square. Easy to see how the three smaller similar triangles found in accordance with the specification, area wise, fit into the base.
See the Add-On, October 2012 on the Art Page :
Theorem VIII provides defined areas on which objects can be raised. Subject to some more conditions sensible models can be built. However perhaps some of what is mentioned/suggested  in the Art page Add-On for the First Theorem can also be used for "Theorem VIII-Extension"  model building?

Theorem IX (a quasi type!): (May 2013) A theorem on the volumes of inscribed Semispheres on the faces of a trirectangular tetrahedron.
Draw the inscribed circles of the faces of the tetrahedron. Use the radii of these circles to build four semispheres to fit onto onto the tetrahedron.
Definition: The sum of the volumes of the inscribed semispheres on the rectangular faces of a trirectangular tetrahedron near equals the volume of the inscribed semisphere on its base.
(2/3)pi{(ra)3 + (rb)3 + (rc)3} ≈ (2/3)pi{(rd)3}
The volumes my well give a few % volume error. However using the error and the volume obtained with rd and now reculculating  new 'true' ra, rb and rc's, call them rat, rbt and rct, to turn ≈ above into = the latter radii are found to differ from the originals by the likes of 0,3mm that should be hardly noticeable in models with dimensions of say ≤40 cm.

For more irregular models/examples the following may be required to caculate  a radius: (i) Heron's (or Hero's?) formula: Area of triangle = √{s(s - a)(s -b)(s - c)} where a, b and c are the sides of a triangle and s = ½(a + b + c) and (ii) Swannie's (if not yet claimed!) formula:  Radius of inscribed circle of triangle = Area of triangle ÷ ½Perimeter of triangle  (i.e.  r = Area ÷ s)   the combination  of these two: (iii) r =√{(s-a)(s - b)(s-c) ÷ s}.    The only 'proof' Swannie can present for above definition are a few calculated examples.
Perhaps there is a best and/or a worst nearness example for the theorem?   "Why so near" begs an answer? Could this theorem be  adaptable to  all/some similar shapes that fit nicely into the semispheres (or their full spheres if you make them sit proud on on the faces)?
Theorem X: (i) A theorem (also of a quasi kind) on the volumes of Cylinders on a  trirectangular tetrahedron.
In essence this is a variation of Theorem IX  with 'half cylinders' of hight equal to the radius of a  base, replacing the semispheres.The volume of a semisphere being ½ (4/3 x pi x r3) and that of half of a cylinder with base pi x r2 and height 2r being ½ (pi x r2 x 2r)  or ½ (2 x pi x r3) the formula for such a model  is simply:       pi{(ra)3 + (rb)3 + (rc)3} = pi{(rd)3}
Definition: Given the height of a cylinder equals the radius of its base, the sum of the volumes of inscribed cylinders on the rectangular faces of a trirectangular tetrahedron near equals the volume of the inscribed cylinder on the base.
(ii) Another variarion of Theorem IX with Cones of height as above and formula as above, bar 1/3 preceding the pi's. Definition similar to that above. Note: A simple cylindrical model in blue should look better if crowned with matching semicircles or cones in gold!
(iii) Others?  - going inside the circle: The volume of a Pyramid with equilateral triangular base that fits into a circle of Theorem X and with height the same as the radius r of the circle is  (√3/4) x r3.  Formula: (√3/4){(ra)3+ (rb)3 + (rc)3} = √3/4{(rd)3}?
(iv) As (iii) but with a Prism a volume equals {(3 x √3)/4 x r3.   More examples?

The Lament below was generated before I realized IX and X were only of a 'quasi' nature,  but is left here to show mood swings!
Lament: If this real simple Theorem IX and its derivatives had realized first it would have been what I was looking for and I would never have bothered about Theorem I and the others. At least one mathematician I can think of  is now more likely to lable them all as trivial. (Snob?) Theorem IX  has now somehow dimmed the 'shine' I liked to believe the theorems had and so also gloomed my enthusiasm for this site. As to my models presented as Art, some artist are sure to scorn the use of a ruler and a pair of compasses! (Snobs?)  So, to the vain all in vain - I shall have to settle for being at least an alternative artist of sorts this being the only art or  maths I've ever generated, if so be called. Any consolation from anyone who has had a similar experience?
Later added: Not so much lamenting anymore after 'near/quasi' was added to IX and X!

To check if you are an artist: Draw an ellips to represent your face. Position/draw your eyes in there. Now take a ruler,  go to a mirror and  look yourself in the eye. Flatten your hair (with a book on top) and close your mouth (eldely with teeth!). Measure from the top of head to the level of the eyes and from the eyes to the bottom of your chin/face. Still happy with your drawing?