[過去ログ] 分からない問題はここに書いてね457 (1002レス)
上下前次1-新
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
382(1): 2020/01/14(火)08:55 ID:ITApl1nr(1/2) AAS
>>379
import Data.Ratio
isSquareI n = (==n) $ (truncate $ sqrt $ fromInteger n)^2
maxDenom = 12
candidates = [[b%a,d%c]|
a<-[2..maxDenom],
b<-[1..a-1],
省9
389(1): 2020/01/14(火)18:41 ID:ITApl1nr(2/2) AAS
>>387
AB⊥BC、BC⊥CD、AB⊥CD、BC=1、AB,CD∈QとするとAB=2x/(1-x^2), CD=2y/(1-y^2)とおける。
このときAD以外の全部の辺長は有理数確定。
面は全て直角三角形、CD⊥ABCなので残るADが有理数なら条件は全て満たされる。
プログラムはAD=√(1+AB^2+CD^2)が有理数となるものを探索するもの。
-例-
(x,y)=(1/4,3/11)のとき
省1
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.036s