# Proof: By Euclid

• Let the solid angle at $E$, contained by $DEG$, $GEF$, and $FED$, be set out.
• And let $DE$, $GE$, and $EF$ each be made equal to $B$.
• And let the parallelepipedal solid $EK$ have been completed.
• And (let) $LM$ (be made) equal to $A$.
• And let the solid angle contained by $NLO$, $OLM$, and $MLN$ have been constructed on the straight line $LM$, and at the point $L$ on it, (so as to be) equal to the solid angle $E$ [Prop. 11.23].
• And let $LO$ be made equal to $B$, and $LN$ equal to $C$.
• And since as $A$ (is) to $B$, so $B$ (is) to $C$, and $A$ (is) equal to $LM$, and $B$ to each of $LO$ and $ED$, and $C$ to $LN$, thus as $LM$ (is) to $EF$, so $DE$ (is) to $LN$.
• And (so) the sides around the equal angles $NLM$ and $DEF$ are reciprocally proportional.
• Thus, parallelogram $MN$ is equal to parallelogram $DF$ [Prop. 6.14].
• And since the two plane rectilinear angles $DEF$ and $NLM$ are equal, and the raised straight lines stood on them (at their apexes), $LO$ and $EG$, are equal to one another, and contain equal angles respectively with the original straight lines (forming the angles), the perpendiculars drawn from points $G$ and $O$ to the planes through $NLM$ and $DEF$ (respectively) are thus equal to one another [Prop. 11.35 corr.] .
• Thus, the solids $LH$ and $EK$ (have) the same height.
• And parallelepiped solids on equal bases, and with the same height, are equal to one another [Prop. 11.31].
• Thus, solid $HL$ is equal to solid $EK$.
• And $LH$ is the solid (formed) from $A$, $B$, and $C$, and $EK$ the solid on $B$.
• Thus, the parallelepipedal solid (formed) from $A$, $B$, and $C$ is equal to the equilateral solid on $B$ (which is) equiangular with the aforementioned (solid).
• (Which is) the very thing it was required to show.

Thank you to the contributors under CC BY-SA 4.0!

Github:

non-Github:
@Fitzpatrick
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "url": "https://bookofproofs.github.io/branches/geometry/euclidean-geometry/elements-euclid/book-11-elementary-stereometry/parallelepiped-formed-from-three-proportional-lines-equal-to-equilateral-parallelepiped-with-equal-angles-to-it-proof.html", "fetch_time": 1696376354000000000, "content_mime_type": "text/html", "warc_filename": "crawl-data/CC-MAIN-2023-40/segments/1695233511284.37/warc/CC-MAIN-20231003224357-20231004014357-00561.warc.gz", "warc_record_offset": 156719169, "warc_record_length": 4603, "token_count": 602, "char_count": 1883, "score": 3.625, "int_score": 4, "crawl": "CC-MAIN-2023-40", "snapshot_type": "latest", "language": "en", "language_score": 0.8733879327774048, "file_path": "/sailhome/yjruan/project/latent-lm/data/processed/finemath-4plus/finemath-4plus/train-00034-of-00064.parquet"}