# Definition:Commensurable in Square Only

## Definition

Let $a, b \in \R_{>0}$ be (strictly) positive real numbers.

Then $a$ and $b$ are commensurable in square only if and only if:

$\paren {\dfrac a b}^2$ is rational.

but:

$\dfrac a b$ is irrational.

That is, such that:

$a$ and $b$ are commensurable in square

but:

$a$ and $b$ are incommensurable in length.

In the words of Euclid:

Straight lines are commensurable in square when the squares on them are measured by the same area, and incommensurable in square when the squares on them cannot possibly have any area as a common measure.

and:

Those magnitudes are said to be commensurable which are measured by the same same measure, and those incommensurable which cannot have any common measure.

## Notation

There appears to be no universally acknowledged symbol to denote commensurability.

Thomas L. Heath in his edition of Euclid: The Thirteen Books of The Elements: Volume 3, 2nd ed. makes the following suggestions:

$(1): \quad$ To denote that $A$ is commensurable or commensurable in length with $B$:
$A \mathop{\frown} B$
$(2): \quad$ To denote that $A$ is commensurable in square with $B$:
$A \mathop{\frown\!\!-} B$
$(3): \quad$ To denote that $A$ is incommensurable or incommensurable in length with $B$:
$A \mathop{\smile} B$
$(4): \quad$ To denote that $A$ is incommensurable in square with $B$:
$A \mathop{\smile\!\!-} B$

This convention may be used on $\mathsf{Pr} \infty \mathsf{fWiki}$ if accompanied by a note which includes a link to this page.

## Also known as

When used in the context of linear measure, the term incommensurable in length only can also be used for this concept.
{"ft_lang_label":"__label__en","ft_lang_prob":0.8950787,"math_prob":0.9969569,"size":1797,"snap":"2021-43-2021-49","text_gpt3_token_len":519,"char_repetition_ratio":0.17847183,"word_repetition_ratio":0.12881356,"special_character_ratio":0.27267668,"punctuation_ratio":0.12684366,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.99519354,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2021-10-27T10:24:30Z\",\"WARC-Record-ID\":\"<urn:uuid:c17cffcf-469a-49c0-a70c-04a47dbc6be5>\",\"Content-Length\":\"40433\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:e24a006d-9ec9-4083-955e-78c269dcad25>\",\"WARC-Concurrent-To\":\"<urn:uuid:d8366f00-2a48-4d3e-b736-0dd6f56f2645>\",\"WARC-IP-Address\":\"172.67.198.93\",\"WARC-Target-URI\":\"https://proofwiki.org/wiki/Definition:Commensurable_in_Square_Only\",\"WARC-Payload-Digest\":\"sha1:VL7CSTIDHZUS32SB6TGGHUMMA2TUDIP6\",\"WARC-Block-Digest\":\"sha1:73TSAGPNUAXL5YLJEPUJBARAP3IS6Y4W\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2021/CC-MAIN-2021-43/CC-MAIN-2021-43_segments_1634323588113.25_warc_CC-MAIN-20211027084718-20211027114718-00667.warc.gz\"}"}